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.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Núñez, M., Rodríguez, I. (2005). SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS. In: Rettberg, A., Zanella, M.C., Rammig, F.J. (eds) From Specification to Embedded Systems Application. IFIP On-Line Library in Computer Science, vol 184. Springer, Boston, MA. https://doi.org/10.1007/11523277_12
Download citation
DOI: https://doi.org/10.1007/11523277_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-27557-4
Online ISBN: 978-0-387-27559-8
eBook Packages: Computer ScienceComputer Science (R0)