891 search results - page 54 / 179 » Automatic Generation of a Real-Time Operating System for Emb... |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
PRDC
2007
IEEE
14 years 2 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...