This paper describes a methodology for the generation of software requirements for large, real-time unmanned weapons systems. It describes what needs to be done, how to evaluate the intermediate products, and how to use automated aids to improve the quality of the product. An example is provided to illustrate the methodology steps and their products and the benefits. The results of some experimental applications are summarized.

A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract).

: The main goal of this research was to design and evaluate decentralized operating system concepts that will support real-time BMD(Ballistics Missiles Defense) applications executing on distributed hardware with local and shared memories. The objective was to develop real-time operating system functions that would perform efficient integration of distributed resources, and support execution of BMD application software with high levels of performance, reliability, and continuous operation. Results of current research efforts in the field of distributed hardware architecture, operating systems design, and distributed programming languages, are studied in order to identify major issues and evaluate proposed solutions. This investigation resulted in a proposed configuration of the distributed system, the set of new operating system functions that together with an existing Kernel (Cohe81) make the Basic Real-Time Operating System, and the set of new EPL language primitives that provide BMD application processes with efficient mechanisms for communication, synchronization, and effective utilization of distributed system resources.

Branimir Gajic

Papers

A Distributed Operating System for BMD Applications.