Verification of flight software written in C using ACSL

Conference · Fri Jan 01 04:00:00 EST 1988

OSTI ID:5113345

Edmunds, R C

This paper documents a technique that has been used to interface the ACSL simulation package to C modules on a VAX computer. Using the technique documented in this memo, it should be possible to verify major portions of flight software (e.g. guidance and control algorithms) in a dynamic simulation environment. This verification can be accomplished fairly early in the development cycle, and if the flight software algorithms are written in C to begin with, then the time and effort required to convert them from FORTRAN (or ACSL code) to C can be avoided entirely. Also, when the C code is moved to the target flight computer, the debug time should be greatly reduced.

• Research Organization: Sandia National Labs., Albuquerque, NM (USA)
• DOE Contract Number: AC04-76DP00789
• OSTI ID: 5113345
• Report Number(s): SAND-87-2565C; CONF-880733-1; ON: DE88006100
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990220* -- Computers
Computerized Models
& Computer Programs-- (1987-1989)
ALGORITHMS
COMPUTERS
CONTROL SYSTEMS
DEC COMPUTERS
EQUIPMENT INTERFACES
MATHEMATICAL LOGIC