128 search results - page 4 / 26 » Transforming Structural Model to Runtime Model of Embedded S... |
FDL
2004
IEEE
13 years 9 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
RTAS
2007
IEEE
13 years 12 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
ISSS
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
ISORC
2008
IEEE
14 years 1 days ago
2008
IEEE
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. The design of this kind of database requires the introducti...
ECBS
2010
IEEE
14 years 16 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...