Сhapter 12 Flashcards
What is Safety in the system?
property of a system that reflects the system’s ability to operate, normally or abnormally, without danger of causing human injury or death and without damage to the system’s environment
Reliable system threats
Dormant faults,
Specification errors,
Hardware failures,
Context-sensitive commands
What are the two levels of safety criticality:
Primary and Secondary
What do PRIMARY safety-critical systems involve?
embedded software systems (whose failure can cause the associated hardware to fail and directly threaten people).
What do SECONDARY safety-critical systems involve?
systems whose failure results in faults in other (socio-technical) systems, which can then have safety consequences.
Name 3 safety achievement strategies
Hazard avoidance,
Hazard detection and removal,
Damage limitation
What is the main goal of safety requirements engineering?
identify protection requirements that ensure that system failures do not cause injury or death or environmental damage
What are functional safety requirements?
checking and recovery features that should be included in a system, and features that provide protection against system failures and external attacks.
Name “Hazard-driven analysis” stages:
Hazard identification,
Hazard assessment,
Hazard analysis,
Risk reduction
Are agile methods applicable to safety-critical systems engineering?
NO
What is process assurance?
dependable process and ensuring that this process is followed during the system development
What are formal methods?
ultimate static verification technique that may be used at different stages in the development process(can be used when a mathematical specification of the system is produced)
Advantages of formal methods
Producing a mathematical specification requires a detailed analysis of the requirements and this is likely to uncover errors
Disadvantages of formal methods
Require specialized notations that cannot be understood by domain experts
Three levels of static analysis:
Characteristic error checking,
User-defined error checking,
Assertion checking
