Rapid prototyping via automatic software code generation from formal specifications: a case study

Author

Rahmani, S. ; Stone, A.G. ; Luk, W.S. ; Sweet, S.M.

Author_Institution

Rockwell Int. Corp., Downey, CA, USA

fYear

1992

fDate

2-7 Feb. 1992

Firstpage

95

Lastpage

105

Abstract

A modeling and prototyping approach for defining system and software requirements and validating them through rapid prototyping is described, and the results of a case study for generating prototype software (representing the total system hardware and software) directly and automatically from the requirements are presented. System/software definitions, which include the requirements and design (architecture), are addressed. The case study applied this approach to selected systems of Boeing 747-400 aircraft. A formal model of system specification was generated. The rapid prototyping task automatically generated thousands of lines of Ada source code from the specification model. The software was executed successfully the first time. The functions and behavior of the system were demonstrated and validated by its users. This study indicated that early execution and validation of system requirements, through the use of formal modeling and rapid prototyping with direct user involvement, can be accomplished.<>

Keywords

Ada; aerospace computing; automatic programming; formal specification; software prototyping; Ada source code; Boeing 747-400 aircraft; automatic software code generation; formal specifications; rapid prototyping; Aerospace electronics; Aircraft manufacture; Aircraft propulsion; Computer aided software engineering; Formal specifications; Hardware; Modeling; Prototypes; Software prototyping; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Aerospace Applications Conference, 1992. Digest., 1992 IEEE

Conference_Location

Snowmass, CO, USA

Print_ISBN

0-7803-0225-7

Type

conf

DOI

10.1109/AERO.1992.200379

Filename

200379