660 search results - page 29 / 132 » Timed automata based analysis of embedded system architectur... |
180
click to vote
ECRTS
2008
IEEE
16 years 13 days ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
160
click to vote
ISORC
2006
IEEE
16 years 2 hour ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
149
click to vote
LICS
2009
IEEE
16 years 19 days ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
174
click to vote
DSD
2008
IEEE
16 years 13 days ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
184
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...