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.
SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS
2005-01-01
10 pages
Article/Chapter (Book)
Electronic Resource
English
Model-Based Real-Time Testing of Embedded Automotive Systems
British Library Conference Proceedings | 2014
|Model-Based Real-Time Testing of Embedded Automotive Systems
SAE Technical Papers | 2014
|Specification and verification of embedded real-time systems in the automotive domain
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2011
|Specification and verification of embedded real-time systems in the automotive domain
Tema Archive | 2011
|