3387 search results - page 54 / 678 » Model-Checking for Real-Time Systems |
195
click to vote
EUROMICRO
2011
IEEE
14 years 2 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
122
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
125
Voted
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Energy consumption is an important performance parameter for portable and wireless embedded systems. However, energy consumption must be carefully balanced with real-time responsi...
124
Voted
TASE
2009
IEEE
15 years 9 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...
112
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...