High-Integrity Java Targets Safety-Critical Systems

High-integrity software plays critical roles in telecommunications, transportation, defense systems, industrial automation, and power management. Because human lives may be lost and tremendous economic costs may result if the software fails, the development of high-integrity software adopts practices that impose greater rigor on the software development processes. This rigor includes documentation of system requirements, architecture, design, test plan, and source code; development accountability audit trails; independent peer review of all development artifacts; full traceability analysis; and extensive test coverage. The goal of this increased rigor is to assure correct operation and reliability of the software.