• 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