A Multi-mode Real-Time Calculus

12 years 2 months ago
A Multi-mode Real-Time Calculus
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of other papers is geared towards the analysis of real-time systems that process various types of streaming data. The main strength of RTC is a count-based ion, where arrival patterns of event streams are specified as constraints on the number of events that may arrive over any specified time interval. In this framework, algebraic techniques can be used to compute system properties in a compositional way. However, the main drawback of RTC is that it cannot model state information in a natural way. For example, when a scheduling policy depends on the fill-level of a certain buffer or there is a shift from one type of data stream into another. In this paper, we extend RTC in a manner that enables state information to be easily captured while limiting the state-space explosion caused by fine grained state-based...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where RTSS
Authors Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan
Comments (0)