Browse Publications Technical Papers 2012-01-2132
2012-10-22

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.

SAE MOBILUS

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

Access SAE MOBILUS »

Preview Document Add to Cart
Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
JOURNAL ARTICLE

Efficient Certification of Highly Integrated and Complex Aircraft Systems, Such as Integrated Modular Avionics

2012-01-2143

View Details

TECHNICAL PAPER

A Service-Based Modelling Approach to Ease the Certification of Multi-Core COTS Processors

2019-01-1851

View Details

TECHNICAL PAPER

Towards Fail-Operational Systems on Controller Level Using Heterogeneous Multicore SoC Architectures and Hardware Support

2018-01-1072

View Details

X