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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    System Architecture Driven Software Design Analysis Methodology and Toolset


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE 2012 Aerospace Electronics and Avionics Systems Conference ; 2012



    Publication date :

    2012-10-22




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    System Architecture Driven Software Design Analysis Methodology and Toolset

    Bhatt, D. / Madl, G. / Oglesby, D. | British Library Conference Proceedings | 2012


    Rapid space architecture development and analysis using an integrated toolset

    Min, I. / Mahr, E. / Vaughan, R. et al. | IEEE | 2004



    AADL-Based Toolset for IMA System Design and Integration

    Petrenko, Alexander / Ugnenko, Alexander / Khoroshilov, Alexey et al. | SAE Technical Papers | 2012


    A Methodology and Toolset for the Large-Scale Automation of the Electrical Design Process

    Wilson, J. P. / Society of Automotive Engineers | British Library Conference Proceedings | 2002