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.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Kardos, M., Fristacky, N. (2005). FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS. In: Rettberg, A., Zanella, M.C., Rammig, F.J. (eds) From Specification to Embedded Systems Application. IFIP On-Line Library in Computer Science, vol 184. Springer, Boston, MA. https://doi.org/10.1007/11523277_11
Download citation
DOI: https://doi.org/10.1007/11523277_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-27557-4
Online ISBN: 978-0-387-27559-8
eBook Packages: Computer ScienceComputer Science (R0)