1163 search results - page 84 / 233 » Case Studies of Model Checking for Embedded System Designs |
138
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
147
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...
148
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
146
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
132
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...