A concurrent approach to systems development and requirements specifications: a case study

At Israel Aircraft Industries (IAI), a variety of system development processes have been used to address the various phases of computer-based system (CBS) system development. These include methodologies and techniques for generation of the system specification, design and development of application code, and automatic generation of control code. A case study of the integration of these methodologies and techniques within a spiral development process is presented. The individual techniques and methodologies are described, and lessons learned from their application to an unmanned air vehicle system are documented