The paper presents a set of techniques for building robust software using a case study of the development for a microprocessor of the SUPPORT programming environment as an example. It discusses some of the attributes built into the system to best handle the concerns of portability, functionality, and effectiveness that we had to deal with in order for the system to be reliable on a small machine, and it describes some of the choices made to obtain the best use of available hardware.
展开▼