Critical System Specification in Software Engineering SE17

Critical Systems Specification

Functional and non-functional requirements ,[object Object],[object Object]

System reliability specification ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

System reliability engineering ,[object Object],[object Object],[object Object]

Failure probabilities ,[object Object],[object Object],[object Object],[object Object],[object Object]

Functional reliability requirements ,[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],Non-functional reliability specification

[object Object],[object Object],[object Object],Reliability metrics

Availability ,[object Object],[object Object],[object Object],[object Object],[object Object]

Probability of failure on demand ,[object Object],[object Object],[object Object],[object Object]

Rate of fault occurrence (ROCOF) ,[object Object],[object Object],[object Object],[object Object]

Mean time to failure ,[object Object],[object Object],[object Object],[object Object]

Failure consequences ,[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Steps to a reliability specification

Bank auto-teller system ,[object Object],[object Object],[object Object],[object Object],[object Object]

Examples of a reliability spec.

Specification validation ,[object Object],[object Object],[object Object],[object Object]

Key points ,[object Object],[object Object],[object Object],[object Object]

Safety specification ,[object Object],[object Object],[object Object]

The safety life-cycle ©Ian Sommerville 2000 Dependable systems specification Slide

Safety processes ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],Hazard and risk analysis

Hazard analysis stages ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],Fault-tree analysis

Fault- tree analysis ,[object Object],[object Object],[object Object],[object Object]

Fault tree Data deleted H/W failure S/W failure External attack Operator failure Operating system failure Backup system failure Incorrect configuration Incorrect operator input Execution failure Timing fault Algorithm fault Data fault UI design fault Training fault Human error or or or or or or or or or or or or or or or

Risk assessment ,[object Object],[object Object],[object Object],[object Object],[object Object]

Risk acceptability ,[object Object],[object Object],[object Object],[object Object],[object Object]

Risk reduction ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Specifying forbidden behaviour ,[object Object],[object Object],[object Object]

Security specification ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

The security specification process

Stages in security specification ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Stages in security specification ,[object Object],[object Object],[object Object],[object Object]

Critical System Specification in Software Engineering SE17

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Andere mochten auch

Andere mochten auch (20)

Ähnlich wie Critical System Specification in Software Engineering SE17

Ähnlich wie Critical System Specification in Software Engineering SE17 (20)

Mehr von koolkampus

Mehr von koolkampus (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Critical System Specification in Software Engineering SE17