1163 search results - page 36 / 233 » Case Studies of Model Checking for Embedded System Designs |
124
click to vote
SEUS
2010
IEEE
15 years 9 days ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
122
click to vote
ICSM
2003
IEEE
15 years 7 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
122
click to vote
COREGRID
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a case study in the generic design of Grid component models. It defines a framework allowing two component systems, one running in a CCA environment, and anoth...
133
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
106
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...