Automating System Assembly of Aerospace SystemsOne of the major challenges in modern aerospace designs is the integration and assembly of independently developed components. We have formalized this as the system assembly problem: from a sea of available components, which should be selected and how should they be connected, integrated, and assembled so that the overall system requirements are satisfied in a certifiable way? We present a powerful framework for automatically solving the system assembly problem directly from system requirements by using formal verification technology. We also present a case study where we applied our work to large-scale industrial examples from the Boeing Dreamliner.
Document ID
20080022214
Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Manolios, Panagiotis (Northeastern Univ. Boston, MA, United States)
Date Acquired
August 24, 2013
Publication Date
April 30, 2008
Publication Information
Publication: Proceedings of the Sixth NASA Langley Formal Methods Workshop
Subject Category
Mathematical And Computer Sciences (General)
Distribution Limits
Public
Copyright
Other
Available Downloads
There are no available downloads for this record.
Related Records
IDRelationTitle20080022203Collected WorksProceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop