Abstract Complex embedded systems may integrate heterogeneous components. Each component can be defined by using a different specification formalism, or in terms of other components. In order to test the conformance of an implementation with respect to a specification we can use a different testing methodology for each of the (different group of) components. Still, this approach might overlook details regarding the relation among the units of the system under test. In our framework, a unit is a set of functionalities of interaction of the system with the environment. These functionalities can be possibly defined in terms of the ones appearing in lower units. Essentially, in order to test the functionalities corresponding to a unit, tests may use capabilities described in lower units. These capabilities will be provided by the system under test once they have been previously tested by using some lower-level tests. In order to illustrate our framework we present a running example where the Interactive Driving System developed by ADAM Opel A.G. [Opel, 2005] is described.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM


    Beteiligte:


    Erscheinungsdatum :

    2005-01-01


    Format / Umfang :

    12 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    A Methodology for Formal Requirements Validation and Automatic Test Generation and Application to Aerospace Systems

    Ferrante, Orlando / Scholte, Eelco / Rollini, Simone et al. | British Library Conference Proceedings | 2018


    A Methodology for Formal Requirements Validation and Automatic Test Generation and Application to Aerospace Systems

    Scholte, Eelco / Manica, Luca / Ferrante, Orlando et al. | SAE Technical Papers | 2018


    Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems

    Wongpiromsarn, Tichakorn / Topcu, Ufuk / Murray, Richard | AIAA | 2011


    Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems

    Wongpiromsarn, T. / Topcu, U. / Murray, R. et al. | British Library Conference Proceedings | 2011


    Interactive autonomous driving system

    LEE BYOUNG JOON / RYU SEONG SOOK / KIM SAM YONG | Europäisches Patentamt | 2021

    Freier Zugriff