DocumentCode
3515948
Title
Trust Your Model - Verifying Aerospace System Models with Java Pathfinder
Author
Mehlitz, Peter C.
Author_Institution
Ames Res. Center, NASA, Moffett Field, CA
fYear
2008
fDate
1-8 March 2008
Firstpage
1
Lastpage
11
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Aerospace Conference, 2008 IEEE
Conference_Location
Big Sky, MT
ISSN
1095-323X
Print_ISBN
978-1-4244-1487-1
Electronic_ISBN
1095-323X
Type
conf
DOI
10.1109/AERO.2008.4526573
Filename
4526573
Link To Document