| ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
|---|---|---|
| Prev | Next | |
ERC32 Ada is a cross-development system providing a production-quality implementation of a restricted Ada 95 language (ANSI/ISO/IEC-8652:1995). Significant features of ERC32 Ada are as follows:
Minimum program size 5500 bytes
Accurate delays with 75 microseconds[1] delay latency
Low overhead 5K byte tasking system with 70 microseconds[1] task switch
Full support for Ada interrupts attached to protected subprograms and fast interrupts with 15 microsecond latency
Comprehensive printed and on-line user manuals
Available off the shelf as a fully supported commercial product
Evaluation copies available for down-load
Compatible with GCC-ERC32, the C/C++ compilation system
Built-in restrictions for mission-critical applications (see Appendix B)
ERC32 Ada includes a high-performance run-time system that optionally supports Ada tasking, interrupt handling and real-time scheduling. For more information on the real-time performance, see Chapter 5.
| [1] | Simulated TSC695 at 20 MHz |