Trust Your Model - Verifying Aerospace System Models with Java Pathfinder
- 1 March 2008
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Model Driven Development (MDD) is rapidly becoming a mainstream practice for the development of complex aerospace systems. UML has emerged as the de facto standard for modeling languages, supporting a wide range of modeling aspects and refinement levels. As a consequence, models can easily become too complex for manual verification and simple static analysis.Keywords
This publication has 3 references indexed in Scilit:
- Model Checking ProgramsAutomated Software Engineering, 2003
- Systems and Software VerificationPublished by Springer Nature ,2001
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987