Home
GSN metamodel
Artifacts metamodel
ATL transformation
GPCA Assurance Model
Faults in GPCA assurance model

Faults in GPCA Assurance Model

 

We summarized the faults we detected from the GPCA assurance case model here.
The output assurance model for GPCA is stored in .xmi format. download

Table 1 Hazard is not mitigated by safety requirement(s)

GSN element ID

Hazard ID

Hazard Description

S2.5

1.11

Deflation issue

S2.6

1.12

Filling problem

S2.10

1.22

Failure to alarm

S2.11

1.26

False alarm

S2.16

2.2

Contamination

S2.17

1.28

Incorrect therapy

S2.23

3.3

Charge error

S2.26

3.6

A-to-D conversion Failure

S2.27

3.7

Electric shock

S2.28

3.10

Circuit failure

S2.29

3.11

Electromagnetic compatibility issue

S2.35

4.10

False alarm

S2.36

4.11

Incorrect test results

S2.38

4.13

Failure to alarm

S2.41

5.4

Failure to alarm

S2.42

5.5

Pump could not be silenced

S2.44

5.7

Channel error

S2.47

5.10

Pump failed to shut down

S2.49

5.12

Incorrect test results

S2.53

6.4

Physical Damage to pump

S2.54

6.5

Injury to medic/patient

S2.56

6.7

Physical Damage to pump

S2.57

7.1

Biological/Chemical Hazard

S2.59

8.1

Overfill

S2.60

8.2

Short fill

S2.61

8.3

Knowledge-based failure

S2.64

8.9

Patient incapacitated

S2.66

8.11

Memory failure

S2.68

8.13

Inadequate training

S2.69

8.14

Incorrect dose mode

 

Table 2 Safety requirement is not translated to Uppaal query

Table 3 Safety requirement is not related to any hazard

GSN element ID

Safety ID

S4.1

1.2.1

S4.4

1.8.1

S4.5

1.10.3

S4.6

1.10.4

S4.10

2.2.3

S4.12

2.2.5

S4.13

2.2.6

S4.14

2.2.7.1

S4.15

2.2.7.2

S4.16

5.1.8

S4.17

1.1.1

S4.18

1.1.2

S4.19

1.1.3

S4.20

1.1.4

S4.21

1.1.5

S4.22

1.1.6

S4.23

1.1.7

S4.24

1.1.8

S4.25

1.3.1

S4.26

1.3.2

S4.27

1.3.3

S4.28

1.3.4

S4.29

1.3.5

S4.30

1.3.6

S4.32

1.4.2

S4.33

1.4.3

S4.34

1.4.4

S4.37

1.4.7

S4.38

1.4.8

S4.42

1.4.12

S4.43

1.5.1

S4.44

1.5.2

S4.45

1.5.3

S4.46

1.5.4

S4.49

1.6.1

S4.50

1.6.2

S4.51

1.7.1

S4.52

1.9.1

S4.53

1.9.2

S4.54

1.10.1

S4.55

1.10.2

S4.56

1.10.6

S4.57

1.10.7

S4.58

2.1.1

S4.59

2.1.2

S4.60

2.1.3

S4.61

2.1.4

S4.62

2.1.5

S4.63

2.3.1

S4.64

2.3.2

S4.65

3.1.1

S4.66

3.1.2

S4.67

3.1.3

S4.68

3.2.1

S4.69

3.2.2

S4.70

3.2.3

S4.71

3.2.4

S4.72

3.3.1

S4.73

3.3.2

S4.74

3.3.3

S4.75

3.3.4

S4.77

3.4.2

S4.78

3.4.4

S4.82

3.5.1

S4.83

3.5.2

S4.84

3.5.3

S4.85

3.5.4

S4.86

3.5.5

S4.87

4.1.1

S4.88

4.1.2

S4.89

4.1.3

S4.90

4.1.4

S4.91

5.1.1

S4.92

5.1.2

S4.95

5.1.5

S4.96

5.1.6

S4.97

5.1.7

S4.98

5.2.1

S4.99

5.3.1

S4.100

5.3.2

S4.101

5.3.3

S4.102

5.3.4

S4.103

6.1.1

S4.104

6.1.2

S4.105

6.1.3

S4.106

6.1.4

S4.107

6.1.5

S4.108

6.1.6

S4.109

6.1.7

S4.110

6.2.1

S4.111

6.2.2

S4.112

6.3.1

S4.113

6.3.2

S4.114

6.3.3

S4.115

6.3.4

S4.116

6.3.5

S4.117

7.1.1

S4.118

7.1.2

S4.119

7.1.3

S4.120

7.1.4

S4.121

7.2.1

S4.122

7.3.1

GSN element ID

Safety ID

G3.25

1.3.1

G3.26

1.3.2

G3.27

1.3.3

G3.28

1.3.4

G3.29

1.3.5

G3.30

1.3.6

G3.31

1.4.1

G3.32

1.4.2

G3.33

1.4.3

G3.35

1.4.5

G3.36

1.4.6

G3.37

1.4.7

G3.38

1.4.8

G3.39

1.4.9

G3.40

1.4.10

G3.42

1.4.12

G3.49

1.6.1

G3.50

1.6.2

G3.66

3.1.2

G3.67

3.1.3

G3.68

3.2.1

G3.69

3.2.2

G3.71

3.2.4

G3.99

5.3.1

G3.100

5.3.2

G3.101

5.3.3

G3.102

5.3.4

G3.110

6.2.1

G3.111

6.2.2

G3.112

6.3.1

G3.113

6.3.2

G3.114

6.3.3

G3.115

6.3.4

G3.116

6.3.5

G3.121

7.3.1