Safety Criteria Flashcards

1
Q

Define requirements:

A

Requirements is a description of what a system should do, written from the perspective of a user

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Define specification:

A

Specification is a precise description of what a system or component of a system should do, written from the perspective of a developer of it

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

How are requirements written?

A

Requirements are written from the perspective of an outside user.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

How are specification written?

A

Specifications are written in a way that one can verify (using testing or formal verification) whether the system fulfils it or not.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

What is requirements specification?

A

It’s a specification of a system derived from requirements. It makes the requirement precise enough so that one can verify whether the system fulfils it.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

What are the requirements of a system?

A

The descriptions of the services a system should carry out and of the constraints

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

What are user requirements?

A

Statements written by the future user of a software product, typically written in natural language or diagrams, of expectations of the system and the constraints it must operate under

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

What are system requirements?

A

Precise statements which sets out the system services and constraints in detail.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What is a requirement document?

A

A document which attempts to describe the requirements of a system in an unambiguous manner.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

What typeof requirements might be included in a requirements document?

A
  • Function requirements
  • Non-functional requirements
  • Domain requirements
  • Safety requirements
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

What do functional requirements describe?

A
  • the functions a system should provide
  • how the system should react to particular inputs
  • how the system should behave in particular situations
  • what the system should not do
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

What are some function requirements that may be needed for an autopilot system?

A
  • the need to measure acceleration
  • the need to compute relative positions
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

What are non-functional requirements?

A

Constraints on the services or functions offered by the system e.g.:
- ease of maintenance
- size
- cost

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

What are domain requirements (Context of Operation)?

A

These describe the situation in which the system will be used e.g. temperature, education standard of operators

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What are safety requirements?

A

Requirements which ensure adequate safety of a system

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What does the safety requirements document set out?

A

Sets out the safety requirements of a system.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

What are the different types of safety requirements?

A
  • functional safety requirements
  • non-functional safety requirements
  • context of operation
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

What are functional safety requirements?

A

Services to be carried out by the system in order to guarantee safety. E.g. turning off a system when temperature exceeds limit

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

What a non-functional safety requirements?

A

Other requirements such as reliability and availability

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

What is context of operation for safety requirements?

A

Describes the context under which a system is supposed to operate, e.g. the location of a unit, admin who can control the system

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

What can most accidents in which software is involved be traced to?

A

Incomplete requirements

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
22
Q

What does coding errors effect?

A

They have more of an effect on reliability and other qualities rather than on safety

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
23
Q

Define verification:

A

The process of verifying that a software product meets its specification

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
24
Q

Define validation:

A

The process of confirming that the specification guarantees the customer requirements AND
The process of confirming that the software product fulfils the customer requirements

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
Q

What is the validation problem?

A

The gap between specification and requirements, where we cannot obtain the same level of guarantee as in verification

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
26
Q

What is the goal of a specification?

A

To define in a clear manner, the precise operation of a system

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
27
Q

What does a specification include?

A
  • The functionality and performance of a system
  • its interaction with other systems
  • safety invariants of the system
  • constraints of safety invariants on the design
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
28
Q

What should an ideal specification be?

A
  • correct
  • complete
  • consistent
  • unambiguous
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
29
Q

What are the three problems with natural language specifications?

A

1) Natural language is often ambiguous
2) Natural language specifications are much longer than mathematical formulations, making it easy to overlook something
3) You cannot apply automatic checks to specifications written in natural language

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
30
Q

What is the solution to natural language specifications?

A

Formal specification languages

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
31
Q

What are the two approaches for Formal Specification Languages?

A

1) Model-based specification languages
2) Algebraic specification languages

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
32
Q

What is model-based specification languages?

A
  • Based on a general model for representing programs
  • System is constructed in the model using mathematical constructs
  • System operations are defined by how they modify the system state
33
Q

What is algebraic specification languages?

A

Systems are described in terms of operations and their relationships

34
Q

What is a fault?

A

Defect within a system

35
Q

What is an error?

A

A deviation from the required operation of the system or subsystem.

36
Q

What is a system failure?

A

Occurs when the system fails to perform its required function.

37
Q

Do faults lead to errors?

A

A fault may or may not result in an error

38
Q

What are some examples of faults?

A
  • failure of a hardware component
  • coding error
  • mistake in the design of a system
39
Q

Will errors always lead to system failures?

A

Errors may or may not lead to a system failure depending on whether the system has been built in order to function even in the presence of errors

40
Q

What is a hazard?

A

Situation in which there is actual or potential danger to people or to the environment

41
Q

What is an accident?

A

Unintended event or sequence of events that cause death, injury, environmental or material damage.

42
Q

What is an incident or near-miss?

A

Unintended event or sequence of events that does not result in loss but under different circumstances has the potential to do so.

43
Q

What is dependability?

A

Property of a system that justifies placing one’s reliance on it

44
Q

What is a dependable system?

A

System that has a high degree of dependability

45
Q

What are the four main dimensions of dependability?

A
  1. Reliability
  2. Availability
  3. Safety
  4. Security
46
Q

What are the related dimensions to the four main dimensions of dependability?

A
  • Maintainability
  • System integrity
  • System recovery
  • Failsafe operation
  • Data integrity
47
Q

What is reliability (dimension of dependability)?

A

The probability of a component or system to function correctly continuously over a given period of time under a given set of operation conditions.

48
Q

What are the three forms of reliability?

A
  • Hardware reliability
  • Software reliability
  • Operator reliability
49
Q

What is availability (dimensions of dependability)?

A

Probability that a system is functioning correctly at any given time. Measured by the proportion of time the device is functioning correctly.

50
Q

How do we calculate unavailability of a system?

A

1 - availability

51
Q

What type of systems are high availability important for?

A

Systems which are activated in emergency cases only.

52
Q

What is safety (dimensions of dependability)?

A

Property of a system that it will not endanger human life or the environment

53
Q

What is a safety-related system?

A

System by which the safety of equipment or a plant is guaranteed.

54
Q

What is security (dimension of dependability)?

A

Property of a system to protect itself from external attacks that may be intentional or unintentional

55
Q

What may a lack of security compromise?

A

Safety, availability and reliability of a system.

56
Q

Define exposure:

A

Possible loss or harm in a computing system

57
Q

Define vulnerability:

A

Weakness of a computer-based system that may be exploited to cause loss or harm

58
Q

Define attack:

A

Exploitation of a system vulnerability

59
Q

Define threat:

A

Circumstance that have potential to cause loss or harm

60
Q

Define control:

A

Protective measure that reduces system vulnerability

61
Q

Define survivability:

A

Ability of a system to continue to deliver service while it is under attack.

62
Q

What is maintenance (dimensions of dependability)?

A

Action taken to retain a system in or return it to its designed operating condition

63
Q

What is maintainability?

A

The ability of a system to be maintained

64
Q

What are the metrics relating to maintainability and availability?

A
  • Mean time to repair
  • Mean time to failure
  • Mean time between failures
65
Q

What is preventive maintaenance?

A

Trying to keep a system in good order and remove the effects of wear and ageing before they result in a system failure

66
Q

What is corrective maintenance?

A

Aims to restore the system to its designed state following some form of failure

67
Q

What is integrity of a system?

A

Ability of a system to detect faults in its own operation and to inform a human operator.

68
Q

What is system recovery?

A

The ability of a system to restart itself quick after a failure was detected.

69
Q

Define recoverability:

A

The average time to recover from failure

70
Q

What is failsafe state?

A

Output state of a critical system, which is absolutely safe and the safety of which is maintained by minimal requirements of the system.

71
Q

What is data integrity?

A

Ability of a system to prevent damage to its own database and to detect and possibly correct errors that occur.

72
Q

What are the classification of Hazards?

A
  • Severity
  • Risk
  • Nature (can it be controlled)
73
Q

What are some methods of risk reduction?

A
  • “Design out” the hazard (design systems to avoid hazard)
  • Safety devices
  • warning signs
  • management techniques
74
Q

What are interlocks?

A

Mechanisms which ensure that hazardous actions are only performed at when they are safe

75
Q

What might interlocks control to ensure hazardous actions are only performed at safe time?

A
  • Control equipment directly
  • control guards
76
Q

What are gaurds?

A

Mechanisms which keep people away from dangerous parts of a system until it is safe

77
Q

What is a safety case?

A

A document that sets out the safety justification of a system.

78
Q

What are safety case also know as?

A

Safety argument, safety justification or safety assessment report.

79
Q

Why are standards important?

A

For case certification is it vital standards have been followed. Also for legal protection in case of an accident