660 search results - page 5 / 132 » Timed automata based analysis of embedded system architectur... |
RTSS
2005
IEEE
14 years 8 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
ENTCS
2006
13 years 6 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
RSP
2007
IEEE
14 years 29 days ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
JSW
2007
13 years 6 months ago
2007
— The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of...