Abstract In this paper we present a formal framework to test real-time embedded systems where temporal requirements play a relevant role. First, we introduce our formal model to specify this kind of systems. It is a modification of the classical EFSM formalism where actions will be attached with a temporal constraint. This constraint expresses the maximal and/or minimal time this action should take during its execution in the current configuration. Then, we use this formalism to construct models that represent the set of temporal requirements in a system. In turn, they are automatically obtained from the temporal requirements defined for each component in the system. Tests for checking these requirements are defined and a formal mechanism to apply them to real systems is described.


    Access

    Download


    Export, share and cite



    Title :

    SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS


    Contributors:


    Publication date :

    2005-01-01


    Size :

    10 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Model-Based Real-Time Testing of Embedded Automotive Systems

    Skruch, P. / Buchala, G. / Society of Automotive Engineers | British Library Conference Proceedings | 2014


    Model-Based Real-Time Testing of Embedded Automotive Systems

    Buchala, Gabriel / Skruch, Pawel | SAE Technical Papers | 2014


    Specification and verification of embedded real-time systems in the automotive domain

    Siegl, Sebastian | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2011