Critical System Validation in Software Engineering SE21

Critical Systems Validation ,[object Object]

Validation perspectives ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Validation techniques ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Static validation techniques ,[object Object],[object Object],[object Object]

Static techniques for safety validation ,[object Object],[object Object]

Safety reviews ,[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Review guidance

Hazard-driven analysis ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

The system safety case ,[object Object],[object Object],[object Object]

Formal methods and critical systems ,[object Object],[object Object],[object Object]

Formal methods and validation ,[object Object],[object Object],[object Object],[object Object],[object Object]

Problems with formal validation ,[object Object],[object Object],[object Object],[object Object],[object Object]

Formal methods conclusion ,[object Object],[object Object],[object Object],[object Object]

Safety proofs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Construction of a safety proof ,[object Object],[object Object],[object Object],[object Object]

Gas warning system ,[object Object],[object Object],[object Object],[object Object],[object Object]

Gas sensor control ,[object Object],[object Object],[object Object],[object Object]

Graphical argument Gas_level > Warning and Alarm = off Unsafe state Gas_level > Warning and Gas_level < Danger Gas_level > Danger Alarm = Warning Alarm = Evacuate Alarm = off contradiction contradiction Path 1 Path 2 Path 3 or or or

Condition checking Code is incorrect. Gas_level = Danger does not cause the alarm to be on

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

Dynamic validation techniques ,[object Object],[object Object],[object Object]

Reliability validation ,[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],Statistical testing

Reliability validation process ,[object Object],[object Object],[object Object],[object Object]

Operational profiles ,[object Object],[object Object]

Operational profile generation ,[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Reliability modelling

Observed reliability growth ,[object Object],[object Object],[object Object],[object Object]

Random-step reliability growth

Growth model selection ,[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Reliability validation problems

Security validation ,[object Object],[object Object],[object Object],[object Object],[object Object]

Security validation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

The portable insulin pump ,[object Object]

Safety validation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Insulin system hazards

Fault tree for software hazards

Safety proofs ,[object Object],[object Object],[object Object],[object Object],[object Object]

Insulin delivery system ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],Arithmetic errors

[object Object],[object Object],[object Object],[object Object],Algorithmic errors

Insulin delivery code ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Informal safety proof See Portrait slide

System testing ,[object Object],[object Object],[object Object],[object Object]

Safety assertions ,[object Object],[object Object],[object Object]

Safety assertions ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Critical System Validation in Software Engineering SE21

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Andere mochten auch

Andere mochten auch (20)

Ähnlich wie Critical System Validation in Software Engineering SE21

Ähnlich wie Critical System Validation in Software Engineering SE21 (20)

Mehr von koolkampus

Mehr von koolkampus (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Critical System Validation in Software Engineering SE21