6308 search results - page 45 / 1262 » Modeling Urgency in Timed Systems |
APSEC
1998
IEEE
15 years 2 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
FORTE
2007
14 years 11 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
FM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
JDCTA
2010
14 years 4 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
SIAMCO
2000
14 years 9 months ago
2000
It is well known that a crucial property for the effective identification of time-varying systems is that the data carry continual information on the parameters to be estimated. As...