Automated Software Verification & Validation: An Emerging Approach for Ground Operations
Software is an increasingly critical component in aerospace systems, and automated software testing technologies that use formal methods are emerging as a new type of ground data system for verifying and validating software changes. With each change made to software for use in operational settings,...
Saved in:
Published in | 2008 IEEE Aerospace Conference pp. 1 - 8 |
---|---|
Main Authors | , |
Format | Conference Proceeding Journal Article |
Language | English |
Published |
IEEE
2008
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Software is an increasingly critical component in aerospace systems, and automated software testing technologies that use formal methods are emerging as a new type of ground data system for verifying and validating software changes. With each change made to software for use in operational settings, there is the opportunity for new bugs to be introduced that can cause potentially catastrophic results. This research has evolved two formal method approaches for automated software verification and validation model checking and static analysis, with extensions of the approaches for multiple languages including Java, C and C++. The research is removing the barriers to routine use of formal methods to gain high assurance for human-rated space missions. These methods have been used on control software for a variety of mission critical systems including guidance, navigation and control (GN&C) subsystems, and for various projects such as the NASA Crew Exploration Vehicle (CEV). |
---|---|
Bibliography: | SourceType-Scholarly Journals-2 ObjectType-Feature-2 ObjectType-Conference Paper-1 content type line 23 SourceType-Conference Papers & Proceedings-1 ObjectType-Article-3 |
ISBN: | 1424414873 9781424414871 |
ISSN: | 1095-323X 2996-2358 |
DOI: | 10.1109/AERO.2008.4526648 |