59 search results - page 2 / 12 » A formal software synthesis approach for embedded hard real-... |
ISOLA
2010
Springer
13 years 4 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
SEW
2007
IEEE
14 years 16 days ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
CSREAESA
2006
13 years 7 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
WORDS
2003
IEEE
13 years 11 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
DATE
1999
IEEE
13 years 10 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...