Testing Real-Time Systems With Runtime Enforcement

Testing Real-Time Systems With Runtime Enforcement

This paper enables the testing of real-time systems through runtime enforcement that can realize different test scenarios with specific internal timed behaviors. -Tulika Mitra, National University of Singapore -Jürgen Teich, University of Erlangen-Nürnberg -Lothar Thiele, Swiss Federal Institute of...

Full description

Saved in:
Bibliographic Details
Published in:IEEE design and test Vol. 35; no. 4; pp. 31 - 37
Main Authors: Bechennec, Jean-Luc, Faucou, Sebastien, Roux, Olivier H., Brun, Matthias, Givel, Louis-Marie
Format: Magazine Article
Language:English
Published: Piscataway IEEE Computer Society 01-08-2018
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
IEEE
Subjects:
Analytical models
Computational modeling
Computer Science
Delays
Embedded Systems
formal methods
model-based testing
parametric timed model
Real time
real-time operating system
Real-time systems
Run time (computers)
Runtime
runtime enforcement
Time factors
RTOS
runtime enforcement
real-time systems
parametric timed model
formal methods
real-time testing
model-based testing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper enables the testing of real-time systems through runtime enforcement that can realize different test scenarios with specific internal timed behaviors. -Tulika Mitra, National University of Singapore -Jürgen Teich, University of Erlangen-Nürnberg -Lothar Thiele, Swiss Federal Institute of Technology, Zurich
ISSN:2168-2356
2168-2364
DOI:10.1109/MDAT.2018.2791801