This paper describes an approach to integrating functional and non-functional design verification for embedded control software. The method uses functional models, which are the basis of functional verification processes, to drive non-functional verification also. This is achieved by defining strategies for extracting non-functional models, which contain structural and quantitative information about non-functional characteristics such as performance and modifiability, from functional ones. Non-functional verification tools may then be used on the resulting models to check that desired non-functional properties, such as ease of modification, are catered for in the design. An extended example involving the analysis of a model for modifiability is presented, as is tool support for extracting non-functional models from functional ones.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Integrating Functional and Non-Functional Design Verification for Embedded Software Systems


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Ray, Arnab (Autor:in) / Shelton, Charles (Autor:in) / Martin, Chris (Autor:in) / Ackermann, Christopher (Autor:in) / Cleaveland, Rance (Autor:in)

    Kongress:

    SAE World Congress & Exhibition ; 2009



    Erscheinungsdatum :

    2009-04-20




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Integrating functional and non-functional design verification for embedded software systems

    Ackermann,C. / Ray,A. / Cleaveland,R. et al. | Kraftfahrwesen | 2009


    FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS

    Kardos, Martin / Fristacky, Norbert | Springer Verlag | 2005

    Freier Zugriff


    Verification and Testing of Embedded Software with Model Based Design

    A, Jay / Urban, Paul / Canny, Pat | AIAA | 2019