Name
Abstract | ||
|---|---|---|
Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-32469-7_4 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Dynamic power management,Model checking,Computer science,Critical section,Markov chain,Theoretical computer science,Real-time computing,System call,Probabilistic model checking | Conference | 7437 |
ISSN | Citations | PageRank |
0302-9743 | 8 | 0.53 |
References | Authors | |
19 | 9 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Christel Baier | 1 | 3053 | 185.85 |
| Marcus Daum | 2 | 41 | 3.00 |
| Benjamin Engel | 3 | 25 | 2.13 |
| Hermann Härtig | 4 | 686 | 64.40 |
| Joachim Klein | 5 | 118 | 9.33 |
| Sascha Klüppelholz | 6 | 287 | 20.48 |
| Steffen Märcker | 7 | 69 | 4.89 |
| Hendrik Tews | 8 | 161 | 16.10 |
| Marcus Völp | 9 | 228 | 16.17 |