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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    System Architecture Driven Software Design Analysis Methodology and Toolset


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Oglesby, David (Autor:in) / Bhatt, Devesh (Autor:in) / Madl, Gabor (Autor:in)

    Kongress:

    SAE 2012 Aerospace Electronics and Avionics Systems Conference ; 2012



    Erscheinungsdatum :

    22.10.2012




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    System Architecture Driven Software Design Analysis Methodology and Toolset

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


    SpecTRM: A Toolset to Support the Safeware Methodology

    Leveson, N. G. / Reese, J. D. | British Library Conference Proceedings | 1998




    Rapid space architecture development and analysis using an integrated toolset

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