660 search results - page 7 / 132 » Timed automata based analysis of embedded system architectur... |
RSP
2000
IEEE
13 years 11 months ago
2000
IEEE
WORDS
2002
IEEE
13 years 11 months ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
ISORC
2005
IEEE
14 years 8 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
DAC
2003
ACM
14 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
ATC
2008
Springer
13 years 8 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...