444 search results - page 23 / 89 » Model Based Synthesis of Embedded Software |
ERCIM
2008
13 years 7 months ago
2008
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
CODES
1999
IEEE
14 years 1 days ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
AC
2002
Springer
13 years 7 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
EUROMICRO
2000
IEEE
14 years 4 days ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
ISSS
2002
IEEE
14 years 19 days ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...