1105 search results - page 132 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
137
click to vote
SOFSEM
2009
Springer
16 years 13 days ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
117
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
120
Voted
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
129
Voted
JACIII
2008
15 years 3 months ago
2008
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
144
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...