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

Author

Winokur, M. ; Engel, A. ; Gallant, R.

Author_Institution

Israel Aircraft Ind., Ben Gurion Airport, Israel

fYear

1991

fDate

28-29 May 1991

Firstpage

13

Lastpage

19

Abstract

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

Keywords

aerospace computing; automatic programming; formal specification; software prototyping; systems analysis; IAI; Israel Aircraft Industries; application code; automatic generation; case study; computer-based system; concurrent approach; control code; requirements specifications; spiral development process; system development processes; system specification; unmanned air vehicle system; Aerospace industry; Aircraft; Application software; Automatic generation control; Computer aided software engineering; Concurrent computing; Embedded computing; Iterative methods; Software prototyping; Unmanned aerial vehicles;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on

Conference_Location

Herzlia

Print_ISBN

0-8186-2065-X

Type

conf

DOI

10.1109/ICCSSE.1991.151168

Filename

151168