Mission Software Verification

Mission Software Verification is a formal engineering process within the domain of mission avionics that systematically evaluates the correctness, reliability, and compliance of mission-critical software to ensure it meets specified requirements and operational constraints under intended flight environments.

Publications

1.2K

Citations

160

Authors

Institutions

Publications per year

2017–2026

Parents

Mission Avionics

Publications

NASA Study on Flight Software Complexity

Daniel Dvorak · AIAA Infotech@Aerospace Conference · 2009 · 140 citations

Computing, Aerospace Engineering, Design +17

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design · 2004 · 85 citations

Engineering, Aerospace Engineering, Autonomous Systems +16

Formal Analysis of the Remote Agent Before and After Flight

Klaus Havelund, Mike Lowry, Seungjoon Park et al. · 2000 · 74 citations

Computing, Computer Engineering, Computer Science +17

Using SPIN model checking for flight software verification

Peter Glück, Gerard J. Holzmann · Proceedings - IEEE Aerospace Conference · 2003 · 72 citations

Computing, Computer Engineering, Computer Science +16

The ACES mission: System development and test status

M.P. Heß, L. Stringhetti, B. Hummelsberger et al. · Acta Astronautica · 2011 · 57 citations

Engineering, Systems Engineering, Avionics +9

1–5 of 44

Authors

160

SJ
Shu Jiang
Georgia Institute of Technology, United States
4 publications · 65 citations
4
h-index
KH
Klaus Havelund
Ames Research Center, United States
4 publications · 189 citations
4
h-index
DM
Damian M. Lyons
Fordham University, United States
4 publications · 65 citations
4
h-index
RC
Ronald C. Arkin
Georgia Institute of Technology, United States
4 publications · 65 citations
4
h-index
DD
Daniel Dvorak
Jet Propulsion Laboratory, United States
3 publications · 195 citations
3
h-index

1–5 of 160

Institutions

1–8 of 51

Venues

51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition
2 publications · 39 citations
2
h-index
Journal of Aerospace Information Systems
JAIS · 1 publications · 42 citations
1
h-index
AIAA Infotech@Aerospace (I@A) Conference
Conference · 1 publications · 10 citations
1
h-index
AIAA Infotech@Aerospace Conference
Conference · 1 publications · 140 citations
1
h-index
Acta Astronautica
1 publications · 57 citations
1
h-index

1–5