1163 search results - page 3 / 233 » Case Studies of Model Checking for Embedded System Designs |
GI
2007
Springer
14 years 13 days ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
HASE
2007
IEEE
14 years 13 days ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
ECMDAFA
2007
Springer
14 years 2 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
SEUS
2005
IEEE
14 years 2 months ago
2005
IEEE
Source code generators are often applied in embedded systems design to combine the flexibility necessary for reusability with the performance of highly specialized software. Howe...
CL
2006
Springer
13 years 8 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...