Premium
RAPID PROTOTYPING VIA AUTOMATIC SOFTWARE CODE GENERATION FROM FORMAL SPECIFICATIONS: A CASE STUDY
Author(s) -
Rahmani S.,
Stone A.G.,
Luk W.S.,
Sweet S.M.
Publication year - 1992
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1992.tb01530.x
Subject(s) - computer science , rapid prototyping , formal specification , software requirements specification , software prototyping , software engineering , software system , software , requirements analysis , verification and validation , software construction , software development , embedded system , programming language , engineering , mechanical engineering , operations management
This paper describes an approach for defining system and software requirements and validating them through rapid prototyping. It provides the results of a case study for generating prototype software (representing the total system hardware and software) directly and automatically from the requirements. The paper addresses system/software definitions, which include the requirements and design (architecture). The approach consists of modeling and prototyping. The case study described here 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 Ada source lines of code from the specification model. The tool used on the project was Statemate. 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.