Analytic verification of flight software

To provide rigorous validation and verification of autonomous software, Lowry and Dvorak apply two analytic-verification approaches: design-time model checking and runtime behavior auditing.

Saved in:
Bibliographic Details
Published in:IEEE intelligent systems 1998-09, Vol.13 (5), p.45
Main Authors: Lowry, Michael, Dvorak, Daniel
Format: Article
Language:English
Subjects:
Software
Space exploration
Spacecraft
Systems analysis
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:To provide rigorous validation and verification of autonomous software, Lowry and Dvorak apply two analytic-verification approaches: design-time model checking and runtime behavior auditing.
ISSN:1541-1672
1941-1294