660 search results - page 28 / 132 » Timed automata based analysis of embedded system architectur... |
108
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
78
Voted
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
Microkernel based systems tend to depend heavily on IPC. This paper adresses the problem of a system response spanning more than one task in an embedded real-time system. The appr...
102
click to vote
DATE
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
106
click to vote
ENTCS
2010
14 years 12 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
LCTRTS
1999
Springer
15 years 4 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...