3387 search results - page 32 / 678 » Model-Checking for Real-Time Systems |
CSREAESA
2006
13 years 9 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
RTAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
USENIX
2008
13 years 10 months ago
2008
We propose a real real-time memory management system called Compact-fit that offers both time and space predictability. Compact-fit is a compacting memory management system for al...
RTCSA
2009
IEEE
14 years 2 months ago
2009
IEEE
Distributed real-time embedded systems have stringent requirements for key performance properties, such as endto-end timeliness and reliability, in order to operate properly. In r...