Software Verification Research Centre School Of Information Technology The...  Home/Search
Context Related
| uq.edu.au/techreports/tr9704.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uq.edu.au/techreports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: International Standards for safety-critical software typically use notions of Safety Integrity Levels (SILs) which in our experience are difficult to apply and which lack credible assessment criteria. This paper proposes risk modelling as a basis for allocation of SILs to software and illustrates its use. It also proposes software-directed evaluation criteria for SILs, to assess what level of integrity is actually achieved. We contend that the approach leads to more credible results, and more... (Update)
Context of citations to this paper: More
.... to safety, in the form of a Safety Integrity Level (SIL) that indicates how much the system relies on the software for safety [Lindsay97]. The standards typically recommend that certain activities (typically safety oriented V V activities, but also important...
.... 5 and in maintaining the safety case in the face of component upgrades, can outweigh the potential savings of off the shelf procurement [19]. A similar consideration applies to reuse of components or software platforms. At present, there are very few cost effective methods...
Cited by: More
Software Safety: Why is there no Consensus? - McDermid, Pumfrey (Correct)
Derivation of Safety Requirements for Simple Computer-Based.. - Atchison, Lindsay (1997) (Correct)
A Process for Derivation and Quantification of Safety.. - Peter Lindsay John (Correct)
Active bibliography (related documents):
0.3: A Formal Approach to Specification and Verification of Task.. - Lindsay (1997) (Correct)
0.3: Supporting Fine-grained Traceability in Software Development.. - Lindsay, al. (1995) (Correct)
Similar documents based on text: More All
0.4: Improved Acquisition Processes for Safety-Critical Systems - In The Australian (Correct)
0.3: Safety Assurance of Commercial-Off-The-Shelf Software - Lindsay, Smith (2000) (Correct)
0.3: Improving Safety Management in Defence Acquisition - Atchison, Cant (1999) (Correct)
Related documents from co-citation: More All
3: Software Considerations in Airborne Systems and Equipment Certification (context) - Technical, Aeronautics et al. - 1992
3: The procurement of computer-based safety critical systems (context) - of - 1998
3: Safeware: System Safety and Computers (context) - Leveson - 1995
BibTeX entry: (Update)
P.A. Lindsay and J.A. McDermid, A Systematic Approach To Software Safety Integrity Levels, in: Proceedings 16 th Internat Conf on Computer Safety, Reliability and Security (SAFECOMP'97), York 1997, Springer Verlag, 1997. http://svrc.it.uq.edu.au/Bibliography/svrc-tr.html?97-04 http://citeseer.ist.psu.edu/lindsay97systematic.html More
@inproceedings{ lindsay97systematic,
author = "{PA} Lindsay and {JA} McDermid",
title = "A Systematic Approach to Software Safety Integrity Levels",
booktitle = "SAFECOMP97: the 16th International Conference on Computer Safety, Reliability and Security York, {UK}, 7-10 September 1997",
publisher = "Springer",
editor = "Peter Daniel",
pages = "70--82",
year = "1997",
url = "citeseer.ist.psu.edu/lindsay97systematic.html" }
Citations (may not include all citations):3 Draft International Standard IEC (context) - safety, systems - 1995
1 Safety Management (context) - of
Documents on the same site (ftp://svrc.it.uq.edu.au/techreports/): More
An Empirical Study of Formal User-Interface Design - Hussey, al. (1997) (Correct)
The PRT User Manual - Version 1.03 - Carrington, Hayes, al. (1995) (Correct)
Software Visualisation in a Language Based Editor - Jones, Welsh (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC