660 search results - page 30 / 132 » Timed automata based analysis of embedded system architectur... |
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
RTAS
2007
IEEE
15 years 4 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...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
110
click to vote
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
Many of the world’s most critical systems are distributed real-time embedded (DRE) systems, with missioncritical quality of service (QoS) requirements. However, because of their...
DAC
1995
ACM
15 years 1 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...