printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

Publication Details for Inproceedings "Computing a Language-Based Guarantee for Timing Properties of Cyber-Physical Systems"

 

 Back

 New Search

 

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]

 

 Back

 New Search

top
© 2019 Laboratory TIK, ETH Zurich | Imprint | Last updated on Wed, 16 May, 2018 17:35 | t=0.0037s | Valid HTML 4.01