1163 search results - page 5 / 233 » Case Studies of Model Checking for Embedded System Designs |
DAC
1997
ACM
14 years 4 days ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
CASES
2007
ACM
14 years 16 days ago
2007
ACM
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
SAMOS
2004
Springer
14 years 1 months ago
2004
Springer
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...