660 search results - page 29 / 132 » Timed automata based analysis of embedded system architectur... |
ECRTS
2008
IEEE
15 years 4 months 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...
ISORC
2006
IEEE
15 years 3 months 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...
LICS
2009
IEEE
15 years 4 months 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...
89
Voted
DSD
2008
IEEE
15 years 4 months 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...
RTCSA
1999
IEEE
15 years 2 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...