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
|SpecTRM: A Toolset to Support the Safeware Methodology
British Library Conference Proceedings | 1998
|