An approach is described for the static analysis of component models in an integrated context driven by system and software architecture configuration. This satisfies an important verification objective for the certification of avionics systems and can significantly reduce certification costs by identifying design problems early in the development cycle. The methodology is implemented in a toolset that performs the model-based integrated analysis of computing signal range, error bounds, and identifying design defects. Classes of design defects are described that are detected using this toolset and usage examples are presented.
System Architecture Driven Software Design Analysis Methodology and Toolset
Sae Technical Papers
SAE 2012 Aerospace Electronics and Avionics Systems Conference ; 2012
2012-10-22
Conference paper
English
System Architecture Driven Software Design Analysis Methodology and Toolset
British Library Conference Proceedings | 2012
|13.0104 Rapid Space Architecture Development and Analysis Using an Integrated Toolset
British Library Conference Proceedings | 2004
|AADL-Based Toolset for IMA System Design and Integration
SAE Technical Papers | 2012
|A Methodology and Toolset for the Large-Scale Automation of the Electrical Design Process
British Library Conference Proceedings | 2002
|