1105 search results - page 39 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
164
Voted
GAMEON
2003
15 years 4 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
125
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
117
Voted
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...
174
click to vote
ECRTS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
126
click to vote
MAM
2008
15 years 2 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...