660 search results - page 46 / 132 » Timed automata based analysis of embedded system architectur... |
114
click to vote
CL
2008
Springer
14 years 9 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
108
click to vote
RSP
2005
IEEE
15 years 3 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
ITSSA
2006
14 years 9 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
ECRTS
2010
IEEE
14 years 11 months ago
2010
IEEE
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, static timing analyses mu...
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...