Sefty concept trees

Proceedings - Annual Reliability and Maintainability Symposium

Volumn , Issue , 2009, Pages 212-217

  Domis, Dominik ^a   Förster, Marc ^a   Kemmann, Sören ^a   Trapp, Mario ^a  

^a FRAUNHOFER IESE   (Germany)

Author keywords

Fault trees; Safety case; Safety concept

Indexed keywords

COMPLEX SYSTEMS; COMPONENT-ORIENTED; CONCEPT TREES; DEVELOPMENT METHOD; DEVELOPMENT PROCESS; FAULT TREES; SAFETY CASE; SAFETY CONCEPT; SAFETY CONCEPTS; SAFETY CRITICAL SYSTEMS; SAFETY GOALS; SAFETY INFORMATION; SAFETY STANDARD; SYSTEM DESIGN;

MAINTAINABILITY; RANDOM ACCESS STORAGE; SECURITY SYSTEMS; STANDARDIZATION; SYSTEMS ANALYSIS;

SAFETY ENGINEERING;

EID: 70349083381     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAMS.2009.4914677     Document Type: Conference Paper

References (11)

1. B. Kaiser, P. Liggesmeyer, O. Mäckel (2003). A new component concept for fault trees. Conf. in Research and Practice in Inf. Tech., 33: 37-46, Canberra.
2. Pumfrey, D.J. (1999): The principled design of computer system safety analyses. Dissertation, University of York.
3. Denger, C., M. Trapp, P. Liggesmeyer (2008). SafeSpection - A systematic customization approach for software hazard identification. 27th Int. Conference on Computer Safety, Reliability and Security. M.D. Harrison, M.-A. Sujan (eds.), LNCS 5219, Springer.
4. Papadopoulos, Y, J.A. McDermid (1999). Hierarchically performed hazard origin and propagation studies. 18th Int. Conf. on Comp. Safety, Reliability and Security. M. Felici, K. Kanoun, A. Pasquini (eds.), LNCS 1608, Springer.
5. Domis, D., Trapp, M. (2008). Integrating Safety Analysis and Component-based Design. 27th Int. Conference on Computer Safety, Reliability and Security. M.D. Harrison, M.-A. Sujan (eds.), LNCS 5219, Springer.
6. Rauzy, A. (2001). Mathematical Foundation of Minimal Cutsets. IEEE Transact. on Reliability, 50(4): 389-396.
7. Czerny, B.J., J.G. D'Ambosio, B.T. Murray, P. Sundaram (2005). Effective application of software safety techniques for automotive embedded systems. SAE Int.
8. Lutz, R.R., R.M. Woodhouse (1999). Bi-directional analysis for certification of Safety-critical software. Int. Software Assurance Certification Conference.
9. MISRA (2007). Guidelines for safety analysis of vehicle based programmable systems. MIRA Ltd., Warwickshire.
10. Wu, W., T. Kelly (2007): Towards Evidence-Based Architectural Design for Safety-Critical Software Applications. Architecting Dependable Systems IV. R. Lemos et al. (eds.), LNCS 4615, Springer.
11. Graydon, P.J., J.C Knight, E. Strunk (2007): Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. Archit. Dependable Systems IV. R. Lemos et al. (eds.), LNCS 4615, Springer.