Go to  Advanced Search

Safety verification conditions for software-intensive critical systems

Show simple item record

dc.contributor.author Wong, Ken
dc.date.accessioned 2009-05-28T19:48:47Z
dc.date.available 2009-05-28T19:48:47Z
dc.date.copyright 1998 en
dc.date.issued 2009-05-28T19:48:47Z
dc.identifier.uri http://hdl.handle.net/2429/8371
dc.description.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. en
dc.format.extent 2821636 bytes
dc.format.mimetype application/pdf
dc.language.iso eng en
dc.relation.ispartofseries UBC Retrospective Theses Digitization Project [http://www.library.ubc.ca/archives/retro_theses/]
dc.title Safety verification conditions for software-intensive critical systems en
dc.type Electronic Thesis or Dissertation
dc.degree.name Master of Science - MSc en
dc.degree.discipline Computer Science en
dc.degree.grantor University of British Columbia
dc.date.graduation 1998-11 en
dc.degree.campus UBCV en

Files in this item

Files Size Format Description   View
ubc_1998-0665.pdf 2.821Mb Adobe Portable Document Format   View/Open

This item appears in the following Collection(s)

Show simple item record

All items in cIRcle are protected by copyright, with all rights reserved.

UBC Library
1961 East Mall
Vancouver, B.C.
Canada V6T 1Z1
Tel: 604-822-6375
Fax: 604-822-3893