Hardware Reference
In-Depth Information
2. Risk Conformance - Involve process of determining (verification) and con-
firming (validation) the quality specification of either a phase or that the
complete system is fulfilled and is consistent with the quality requirements.
Typical QATs for safety include verification and validation techniques such
as Sneak Circuit Analysis, Control Flow Analysis and Boundary Value Anal-
ysis to ensure that the software product meet precise safety objectives.
4
Evaluation of QATF
This section provides an initial evaluation of the QATF in assessing its support
for the integration of QATs into software development process models. Various
types of QATs are available to identify, analyze, and control potential quality
problems during software development. In this evaluation, the QATF has been
used to capture information for some safety and performance techniques.
Table 1.
Organising Safety QATs into Different Software Development Phases
Development
Phase
Safety Activities
Safety Techniques
Preliminary Hazard Identification
(PHI)
ETBA, HAZOP, Checklist
Requirements
Preliminary
Hazard
Analysis
ETBA, HAZOP
(PHA)
Hazard Analysis (SSHA, SHA)
FMEA,FMECA,FTA,ETA
Architecture
Design Pattern
Homogeneous Redundancy Pat-
tern, Diverse Redundancy Pattern,
Monitor-Actuator Pattern
Hazard Analysis (SSHA, SHA)
FMEA,FMECA,FTA,ETA
Design
Hazard Analysis (O&SHA)
PET, Procedural audits
Safety Design
Design for controllability, Barri-
ers(Lockouts,Lockins,Interlocks),
fail-safe design
Safety Design Review
Walkthroughs, Checklists, Fagan
inspection, State transition dia-
grams, Time Petri nets
Safety Code Design
Error prevention (e.g. interlock);
Error deduction (e.g. stepladder);
Error recovery (e.g. warning)
Coding
Safety Code Review
Emulation Analysis, Symbolic ex-
ecution
Design Patterns
Homogeneous
Redundancy,
Diverse
Redundancy,
Monitor-
Actuator
Safety Testing
Sneak circuit analysis, Software
common work analysis
Testing
Hazard Analysis
FMEA,FMECA,FTA,ETA
Independent Safety Audit
Safety Management Organisation
Review Technique (SMORT)
