Title :
Trust Your Model - Verifying Aerospace System Models with Java Pathfinder
Author :
Mehlitz, Peter C.
Author_Institution :
Ames Res. Center, NASA, Moffett Field, CA
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 :
Java; Unified Modeling Language; aerospace computing; Java pathfinder software model checker; UML; aerospace system models; complex aerospace systems; manual verification; model checking; model driven development; modeling languages; programming language; simple static analysis; specific translation scheme; state machines; Aerospace engineering; Biographies; Computer languages; Government; Java; NASA; Production systems; Scalability; Space vehicles; Unified modeling language;
Conference_Titel :
Aerospace Conference, 2008 IEEE
Conference_Location :
Big Sky, MT
Print_ISBN :
978-1-4244-1487-1
Electronic_ISBN :
1095-323X
DOI :
10.1109/AERO.2008.4526573
