Loading...
Please wait, while we are loading the content...
Similar Documents
Proving the correctness of the flight director program eadifd, volume 1
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Maurer, W. D. Lee, F. J. |
| Copyright Year | 1977 |
| Description | EADIFD is written in symbolic assembly language for execution on the C4000 airborne computer. It is a subprogram of an aircraft navigation and guidance program and is used to generate pitch and roll command signals for use in terminal airspace. The proof of EADIFD was carried out by an inductive assertion method consisting of two parts, a verification condition generator and a source language independent proof checker. With the specifications provided by NASA, EADIFD was proved correct. The termination of the program is guaranteed and the program contains no instructions that can modify it under any conditions. |
| File Size | 29472857 |
| Page Count | 117 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19770022882 |
| Archival Resource Key | ark:/13960/t6h17t80m |
| Language | English |
| Publisher Date | 1977-07-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Assembly Language Proving Airborne/spaceborne Computers Automatic Flight Control Aircraft Guidance Computer Programs Symbolic Programming Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
