Software Certification Services: Encouraging Trust and Reasonable Expectations

摘要

This paper proposes a more general acceptance of software certification that comprises two steps: first, it should certify the environment in which the software will execute, second, it should certify the software in the context of that environment. With the proposed certification, more complex single systems can be replaced with multiple simpler systems with increased reliability. A simpler system with a single party responsible for repair is far more likely to be fixed or replaced in a manageable time frame