Email RIS file
Bookmark
Report an Issue

Using formal specification in the Guidance and Control Software (GCS) experiment. Formal design and verification technology for life critical systems

Author
Weber, Doug
Published
Apr 5, 1994.
Physical Description
1 electronic document
Additional Creators
Jamsek, Damir
Online Version

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access
Summary
The goal of this task was to investigate how formal methods could be incorporated into a software engineering process for flight-control systems under DO-178B and to demonstrate that process by developing a formal specification for NASA's Guidance and Controls Software (GCS) Experiment. GCS is software to control the descent of a spacecraft onto a planet's surface. The GCS example is simplified from a real example spacecraft, but exhibits the characteristics of realistic spacecraft control software. The formal specification is written in Larch.
Other Subject(s)
Collection
NASA Technical Reports Server (NTRS) Collection.
Note
Document ID: 19940023764.
Accession ID: 94N28267.
TM-92-0046.
NAS 1.26:194884.
NASA-CR-194884.
Terms of Use and Reproduction
No Copyright.
View MARC record | catkey: 15659519