- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Safety verification conditions for software-intensive...
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
Safety verification conditions for software-intensive critical systems Wong, Ken
Abstract
This dissertation proposes an approach to generating "safety verification conditions" (SVCs) that improves upon the accuracy and thoroughness of approaches that rely primarily on engineering judgment. This approach, "Verification Tree Method" (VTM), is part of an overall system safety engineering process intended to eliminate or mitigate hazards in the development of a software-intensive critical system. VTM carried out to the level of a "black box" view of the system results in a set of system safety requirements. VTM can also be used to derive SVCs at the software component and the source code levels. The SVCs can then be used as input into the corresponding level of testing. VTM is based on Fault Tree Analysis (FTA). Like FTA, VTM involves tracing a given hazard is traced backwards through the system to cover all the ways in which a hazard can occur. VTM enhances FTA with a constrained syntax and "proof-by-contradiction" style reasoning to support the systematic derivation of SVCs. The SVCs include key safety-related temporal relationships. The result of the analysis is a rigorous safety argument that provides greater confidence that the SVCs, if satisfied, will be sufficient to mitigate the hazard. This informal argument can be validated with a formal verification technique. VTM is illustrated in this dissertation with a (hypothetical) chemical factory information system.
Item Metadata
Title |
Safety verification conditions for software-intensive critical systems
|
Creator | |
Publisher |
University of British Columbia
|
Date Issued |
1998
|
Description |
This dissertation proposes an approach to generating "safety verification conditions" (SVCs) that
improves upon the accuracy and thoroughness of approaches that rely primarily on engineering
judgment. This approach, "Verification Tree Method" (VTM), is part of an overall system safety
engineering process intended to eliminate or mitigate hazards in the development of a software-intensive
critical system. VTM carried out to the level of a "black box" view of the system results
in a set of system safety requirements. VTM can also be used to derive SVCs at the software
component and the source code levels. The SVCs can then be used as input into the corresponding
level of testing. VTM is based on Fault Tree Analysis (FTA). Like FTA, VTM involves tracing a
given hazard is traced backwards through the system to cover all the ways in which a hazard can
occur. VTM enhances FTA with a constrained syntax and "proof-by-contradiction" style reasoning
to support the systematic derivation of SVCs. The SVCs include key safety-related temporal
relationships. The result of the analysis is a rigorous safety argument that provides greater
confidence that the SVCs, if satisfied, will be sufficient to mitigate the hazard. This informal
argument can be validated with a formal verification technique. VTM is illustrated in this
dissertation with a (hypothetical) chemical factory information system.
|
Extent |
2821636 bytes
|
Genre | |
Type | |
File Format |
application/pdf
|
Language |
eng
|
Date Available |
2009-05-28
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
DOI |
10.14288/1.0051667
|
URI | |
Degree | |
Program | |
Affiliation | |
Degree Grantor |
University of British Columbia
|
Graduation Date |
1998-11
|
Campus | |
Scholarly Level |
Graduate
|
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.