73 search results - page 6 / 15 » Model-based analysis of distributed real-time embedded syste... |
142
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
146
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
153
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
With the current trend in integration of more complex systems on chip there is a need for better communication infrastructure on chip that will increase the available bandwidth an...
151
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Many mission-critical distributed real-time applications must handle aperiodic tasks with end-to-end deadlines. However, existing middleware (e.g., RT-CORBA) lacks schedulability ...
144
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...