 |
|
|||
| Authors: | Neil Dhruva, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele |
| Group: | Computer Engineering |
| Type: | Inproceedings |
| Title: | Computing a Language-Based Guarantee for Timing Properties of Cyber-Physical Systems |
| Year: | 2014 |
| Month: | March |
| Pub-Key: | DKGT14 |
| Book Titel: | 2014 Design, Automation & Test in Europe Conference & Exhibition |
| Keywords: | ESD, Real-time, Verification |
| Publisher: | IEEE |
| Abstract: | Real-time systems are often guaranteed in terms of schedulability, which verifies whether or not all jobs meet their deadlines. However, such a guarantee can be insufficient in certain applications. In this paper, we propose a method to compute a language-based guarantee which provides a more detailed description of the deadline miss patterns of an observed task. The only requirement of our method is that the timing behavior of the real-time system be modelled by a network of timed automata. We compute the language-based guarantee by constructing an equivalent finite state automaton in an iterative manner, using a counter-example guided procedure. We illustrate the language-based guarantee for two applications: design of a networked control system and scheduling in a mixed criticality system. In both cases, we show that the language-based guarantee leads to a more efficient design than the schedulability guarantee. |
| Location: | Dresden, Germany |
| Resources: | [BibTeX] [Paper as PDF] |
