Browse Publications Technical Papers 2012-01-2132

System Architecture Driven Software Design Analysis Methodology and Toolset 2012-01-2132

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.


Subscribers can view annotate, and download all of SAE's content. Learn More »


Members save up to 40% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.