high-integrity-systems

Programming Language Choices for High Integrity Systems

What programming languages are a good choice for High Integrity Systems? An example of a bad choice is Java as there is a considerable amount of code that is inaccessible to the programmer. I am looking for examples of strongly typed, block structured languages where the programmer is responsible for 100% of the code, and there is as li...

High Integrity / Information Assurance in Software Development and Delivery Processes

Suppose you develop for a customer that requires the utmost assurances of the provenance and process-compliance of the software you deliver to them. What measures can a development organization take to provide high-integrity software? This was originally inspired by a couple questions about security practices for development systems ove...