Confidence: Its role in dependability cases for risk assessment

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2007, Pages 338-346

  Bloomfield, Robin E ^a   Littlewood, Bev ^a   Wright, David ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

QUANTITATIVE ASSESSMENT; STRENGTH OF EVIDENCE; SUBSYSTEM CLAIMS;

FAULT TOLERANCE; MULTI AGENT SYSTEMS; PROBABILITY; RISK ASSESSMENT; SOFTWARE ARCHITECTURE;

INFORMATION RETRIEVAL SYSTEMS;

EID: 36048991565     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2007.29     Document Type: Conference Paper

References (13)

1. D. M. Hunns and N. Wainwright, "Software-based protection for Sizewell B: the regulator's perspective", Nuclear Engineering International, September, pp.38-40, 1991.
2. RTCA, "Software considerations in airborne systems and equipment certification, Requirements and Technical Concepts for Aeronautics", DO-178B, July 1992.
3. G Apostolakis, "The concept of probability in safety assessments of technological systems", Science, vol 250, no. 4986, pp. 1359 - 1364, Dec 1990.
4. IEC 61508, "Functional safety of electrical/electronic/programmable electronic safetyrelated systems", Parts 1-7, 1998
5. Cemsis Public Domain Example, www.cemsis.org
6. Bank of International Settlements, www.basel-ii-risk.com
7. P G Bishop and R E Bloomfield , "A methodology for safety case development", Safety-Critical Systems Symposium, 1998, Birmingham, UK.
8. Ministry of Defence, Interim Defence Standard 0056 "Safety Management Requirements for Defence Systems, Part 2 Guidance on Establishing a Means of Complying with Part 1", Issue December 2004.
9. "Requirements for Safety Related Software in Defence Equipment", Ministry of Defence, 1997.
10. "Regulatory Objective for Software Safety Assurance in Air Traffic Service Equipment", Civil Aviation Authority, 2001.
11. "The Use of Computers in Safety-Critical Applications", HSE Books, 1998.
12. B Littlewood and D R Wright, "The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-based Systems", IEEE Trans. Software Eng., 2007 (to appear).
13. P G Bishop and R E Bloomfield. "A Conservative Theory for Long-Term Reliability Growth Prediction," IEEE Trans. Reliability, vol. 45, no. 4, pp 550-560, 1996.