Abstract Modeling and formal specification in combination with formal verification can substantially contribute to the correctness and quality of design of embedded systems and consequently help reduce the development costs. This paper tackles the problem of providing a fully automated formal verification for UML-based design of embedded systems. For verification it employs the model checking technique. Unlike other approaches, the paper focuses on supporting a consistent subset of UML diagrams that cover all main aspects of an embedded system, i.e. the structure, communication and behavior. The whole approach is evaluated on a case study of a Manufacturing Flow System with distributed control.
FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS
2005-01-01
12 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Integrating Functional and Non-Functional Design Verification for Embedded Software Systems
SAE Technical Papers | 2009
|Integrating functional and non-functional design verification for embedded software systems
Kraftfahrwesen | 2009
|Simulation-driven functional safety evaluation of embedded automotive systems
Kraftfahrwesen | 2008
|Simulation-driven functional safety evaluation of embedded automotive systems
Tema Archiv | 2008
|