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

Recomendados

Recomendados

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Destacado

Destacado (20)

Similar a Critical System Validation in Software Engineering SE21

Similar a Critical System Validation in Software Engineering SE21 (20)

Más de koolkampus

Más de koolkampus (20)

Último

Último (20)

Critical System Validation in Software Engineering SE21