safety analysis - cvut.cz · 2020-01-08 · safety analysis michalsojka czech technical university...

15
Safety analysis Michal Sojka Czech Technical University in Prague, FEE and CIIRC January 8, 2020 SESAMO Security and Safety Modelling 1 / 15

Upload: others

Post on 15-Apr-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Safety analysis

Michal Sojka

Czech Technical University in Prague,FEE and CIIRC

January 8, 2020

SESAMOSecurity and Safety Modelling

1 / 15

Page 2: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Outline

1 HAZOP

2 Example

2 / 15

Page 3: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

HAZOP

Outline

1 HAZOP

2 Example

3 / 15

Page 4: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

HAZOP

HAZOP studyHazard and operability study

Methodical investigation of the hazards and operational problems to whichthe plant or system being studied could give rise.

Goals:1 Identify possible deviations from design intent (the intention of the

designer)2 Investigate deviation’s possible causes and consequences.

Deviations can occur in either a component of the system or aninteraction between components of the system.Always carried out by a team!

4 / 15

Page 5: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

HAZOP

Team structure

Roles involved in the study:Study leaderDesignerUser or intended userExpertRecorder

Optimal team size: 4 – 10 persons

5 / 15

Page 6: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

HAZOP

Study processInput: – Design representation with elements and their attributes.

– Interpretation of guide word for different attributes.Process:

Explain design intent;foreach entity e in design representation do

foreach attribute a of element e doforeach guide word w do

Investigate deviation of (e, a) suggested by w;if deviation is credible then

Investigate causes and consequences and document;end

endend

endSign-off the documentation

Output: – Identified hazards– Questions– Recommendations

6 / 15

Page 7: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

HAZOP

Guide wordsand their generic meaning

No no part of the intention is achievedMore a quantitative increaseLess a quantitative decrease

As well as all design intent but with additional resultsPart of only some of the intention is achievedReverse the logical opposite of the intention

Other than result other than original intention is achievedEarly relative to clock timeLate relative to clock time

Before related to order or sequenceAfter related to order or sequence

7 / 15

Page 8: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

HAZOP

Guide word interpretationGuide word Wire UDP message Code executionNo Missing or broken No message received Not executedMore Too high voltage Duplicate reception Executed more oftenLess Too low voltage Lost message Executed less oftenAs well as Noisy signal or EMI More data in the

messageSomething else runsin parallel (e.g. IRQ)

Part of N/A Partial message re-ceived

Only part of code isexecuted

Reverse Negative voltage N/A N/AOther than Other wire Unexpected mes-

sage receivedOther code is exe-cuted instead

Early N/A Message receivedearlier than expected

Executed too early

Late N/A Message receivedlater than expected

Executed too late

Before N/A Two messagesswapped

Before other code

After N/A Two messagesswapped

After other code

8 / 15

Page 9: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Example

Outline

1 HAZOP

2 Example

9 / 15

Page 10: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Example

Steer-by-wire for a teleoperated roboti.e. your semestral work

10 / 15

Page 11: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Example

Steer-by-wire for a teleoperated roboti.e. your semestral work

11 / 15

Page 12: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Example

Steer-by-wire for a teleoperated roboti.e. your semestral work

12 / 15

Page 13: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Example

System contextWith external interfaces

0*

Steer-by-wiresystem

Motor + IRC sensor

i2: PWM signal

WWW browser

i4: HTTP protocol

IRC sensor

i1: IRC signal

i3: IRC signal

Power supply

i5: Electric power

“*” means that this level can be expanded13 / 15

Page 14: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Example

Detailed designEntities: eX, attributes: […]

Board 1 Board 2

IRC sensor

e1:IRC decoder1[Execution,

priority]

Motor+

IRC sensor

e6:IRC decoder2[Execution,

priority]

WWW browser

e7:WWW server

[Priority,Resource needs]

e3:Position variable

[Value]

e2:Sending task

[Period,Destination

addr.]

e4:Receiving task

[Execution,Period]

e12:Ethernet

[Bandwidth,Message]

e8:Setpoint[Value]

e5:Controller

[Execution,Period,Priority]

e9:History storage

[Size/length]

e11:State

[Value]

e7:Actual position

[Value]

e10:Constants[Value]

14 / 15

Page 15: Safety analysis - cvut.cz · 2020-01-08 · Safety analysis MichalSojka Czech Technical University in Prague, FEE and CIIRC January8,2020 SESAMO Security and Safety Modelling 1/15

Example

References

F. Redmill, M. Chudleigh, J. Catmur; System Safety: HAZOP andSoftware HAZOP, Wiley, 1999.

15 / 15