Stress testing of task deadlines: A constraint programming approach

Safety-critical Real Time Embedded Systems (RT-ESs) are usually subject to strict timing and performance requirements that must be satisfied for the system to be deemed safe. In this paper, we use effective search strategies whose goal is finding worst case scenarios with respect to deadline misses....

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings - International Symposium on Software Reliability Engineering S. 158 - 167
Hauptverfasser:	Di Alesio, Stefano, Nejati, Shiva, Briand, Lionel, Gotlieb, Arnaud
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.11.2013
Schlagworte:	Computational modeling Constraint Programming Genetic algorithms Programming Real-time systems Stress Stress Testing Testing Timing
ISSN:	1071-9458
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!