|GNU.Jif : Ada package for generating graphics interface format|
"Modeling for Reliability Analysis:
Markov Modeling for Reliability, Maintainability,
Safety, and Supportability", IEEE Press, 1998.
Download Windows 2000/XP/95 zipped setup package HERE.
Originally this used the Meridian Ada compiler. Note the dependence on the RC and CVTRES tools from MS SDK. The historical reference for this tool is "Automated Interface Code from Ada Specifications", Ada Letters, May 1993, p.74.
<< Mars Pathfinder Mission Status July 17, 1997 11 a.m. Pacific Daylight Time Mars Pathfinder engineers noted that they have found and are in the process of fixing a software bug that had caused the lander's computer to reset itself four times in recent days. "The resets on the lander computer were caused by a software task that was unable to complete the task in the allotted time," said Flight Director Brian Muirhead. "We found that the task was being cut short because it had not been given high enough priority to run through to completion. Basically, we just need to add one instruction to the computer software to raise the priority of that task." The problem was reproduced and isolated in testing at JPL. Further tests and verification will be completed today and tomorrow, with radio transmission of a software "patch" to change the lander's software scheduled for Saturday, Muirhead said. >>
A Field Guide to Cows, by JP