A software product certification model for dependable systems
PM Petra Heck · 2006
An intuitive definition of a dependable system is a system that does not fail in unexpected or catastrophic ways. A software product without faults is the best guarantee for dependability. Our model indicates the checks that need to be done to retrieve as many faults as possible. We believe that provable quality of dependable systems is based on the application of justified analysis techniques, if possible on formal methods. The model can not only be used to certify products after their creation, but it also indicates which elements and relations should be present in a product that is being created. The model is easily converted into a checklist for both software developers and auditors.