DocumentCode :
2535589
Title :
Rapid prototyping enhanced IMA system design and verification
Author :
Jian-min Wu ; Jin-yan Wang
Author_Institution :
China Nat. Aeronaut. Radio Electron. Res. Inst., Shanghai, China
fYear :
2012
fDate :
14-18 Oct. 2012
Abstract :
Facing the growing complexity of the Integrated Modular Avionics (IMA) system design, an enhanced IMA system design and verification approach based on the rapid prototyping is presented in this paper. General approach to avionics development includes three phases: conceptual development, prototype development and engineering development. In the conceptual development phase, the system requirements are validated by means of system modeling and simulation. The functions of system are validated and tested iteratively by simulation based on models. In prototype development phase, the prototypes based on models and their execution platforms are designed to verify the dynamics of system and performance in real time. With these prototypes and platforms, it is possible for the developer to test and validate processing capabilities of system at early phase of the system development process. In engineering development phase, the system is designed in details according to modified requirements and refined prototype. The focus of the approach proposed in the paper is to validate the system requirements and verify the system design at early phase of the system development process in order to reduce large modification at the later stages in the development due to errors in early design phase. System modeling and prototype simulation are emphasized to find the designing errors due to the misunderstandings in requirement specification. System models are used to verify system design iteratively and reused in different system design. An example is described to demonstrate the effectiveness of the approach.
Keywords :
avionics; formal specification; formal verification; software prototyping; IMA system design; IMA system verification; conceptual development; engineering development; integrated modular avionics; prototype development; rapid prototyping; requirement specification; Aerospace electronics; Complexity theory; Hardware; Prototypes; Software; System analysis and design; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
Conference_Location :
Williamsburg, VA
ISSN :
2155-7195
Print_ISBN :
978-1-4673-1699-6
Type :
conf
DOI :
10.1109/DASC.2012.6382389
Filename :
6382389
Link To Document :
بازگشت