高级软件工程上课用ch12.pptx

Chapter 12 – Dependability and Security Specification;Topics covered;Dependability requirements;Risk-driven specification;Stages of risk-based analysis;Risk-driven specification ;Phased risk analysis;Safety specification;Hazard identification;Insulin pump risks;Hazard assessment;The risk triangle ;Social acceptability of risk;Hazard assessment;Risk classification for the insulin pump ;Hazard analysis;Fault-tree analysis;An example of a software fault tree ;Fault tree analysis;Risk reduction;Strategy use;Insulin pump - software risks;Examples of safety requirements ;Key points;Chapter 12 – Dependability and Security Specification;System reliability specification;Reliability specification process;Types of system failure ;Reliability metrics;Probability of failure on demand (POFOD);Rate of fault occurrence (ROCOF);Availability;Availability specification ;Failure consequences;Over-specification of reliability;Steps to a reliability specification;Insulin pump specification;Functional reliability requirements;Examples of functional reliability requirements for MHC-PMS ;Security specification;Types of security requirement;The preliminary risk assessment process for security requirements ;Security risk assessment;Security risk assessment;Asset analysis in a preliminary risk assessment report for the MHC-PMS;Threat and control analysis in a preliminary risk assessment report ;Security policy;Security requirements for the MHC-PMS;Formal specification;Use of formal methods;Specification in the software process;Formal specification in a plan-based software process ;Benefits of formal specification;Acceptance of formal methods;Key points