Name
Title | ||
|---|---|---|
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques |
Abstract | ||
|---|---|---|
Safety-critical real-time applications are typically subject to stringent timing constraints which are dictated by the surrounding physical environments. Specifically, tasks in these applications need to finish their execution before given deadlines, otherwise the system is deemed unsafe. It is therefore important to test real-time systems for deadline misses. In this paper, we present a strategy for testing real-time applications that aim sat finding test scenarios in which deadline misses become more likely. We identify such test scenarios by searching the possible ways that a set of real-time tasks can be executed according to the scheduling policy of the operating system on which they are running. We formulate this search problem using a constraint optimization model that includes (1) a set of constraints capturing how a given set of tasks with real-time constraints are executed according to a particular scheduling policy, and (2) a cost function that estimates how likely the given tasks are to miss their deadlines. We implement our constraint optimization model in ILOG SOLVER, apply our model to several examples, and report on the performance results. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1109/ICST.2012.171 | Software Testing, Verification and Validation |
Keywords | Field | DocType |
particular scheduling policy,real-time constraint,constraint optimization techniques,operating system,safety-critical real-time application,real-time application,scheduling policy,constraint optimization model,real-time systems,real-time task,real-time system,test scenario,testing deadline miss,real time systems,scheduling,software systems,stress testing,real time,cost function,constraint optimization,testing,stress | Scheduling (computing),Computer science,Real-time computing,Scenario testing,Search problem,Solver,Program testing,Distributed computing,Constrained optimization | Conference |
ISBN | Citations | PageRank |
978-1-4577-1906-6 | 8 | 0.75 |
References | Authors | |
4 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stefano Di Alesio | 1 | 87 | 7.57 |
| Arnaud Gotlieb | 2 | 833 | 63.83 |
| Shiva Nejati | 3 | 830 | 47.57 |
| Lionel C. Briand | 4 | 8795 | 481.98 |