1105 search results - page 38 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
134
Voted
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
132
Voted
APLAS
2010
ACM
15 years 19 days ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
121
Voted
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
111
Voted
AINA
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we comprehensively investigated the issue of reliability-driven real-time scheduling for periodic tasks in heterogeneous systems. First, we built a reliability model...
121
Voted
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...