Twelve Principles for the Design of Safety-Critical Real-Time Systems
1.Regard the Safety Case as a Design Driver
2.Start with a Precise Specification of the Design Hypotheses
3.Ensure Error Containment
4.Establish a Consistent Notion of Time and State
5.Partition the System along well-specified LIFs
6.Make Certain that Components Fail Independently
7.Follow the Self-Confidence Principle
8.Hide the Fault-Tolerance Mechanisms
9.Design for Diagnosis
10.Create an Intuitive and Forgiving Man-Machine Interface
11.Record Every Single Anomaly
12.Provide a Never Give-Up Strategy
阅读(1043) | 评论(0) | 转发(0) |
