Automatic fault tree derivation from little-JIL process definitions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3966 LNCS, Issue , 2006, Pages 150-158

  Chen, Bin ^a   Avrunin, George S ^a   Clarke, Lori A ^a   Osterweil, Leon J ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FAULT TREE ANALYSIS; FORMAL LANGUAGES; SAFETY FACTOR; SECURITY OF DATA; SET THEORY; SOCIAL ASPECTS;

FAULT TREE DERIVATION; GRANULARITY; SAFETY CRITICAL PROCESS; SAFETY DEFECTS;

TREES (MATHEMATICS);

EID: 33745922871     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754305_17     Document Type: Conference Paper

References (11)

1. Clarke, L.A., Chen, Y., Avrunin, G.S., Chen, B., Cobleigh R.L., Frederick K., Henneman, E.A., Osterweil, L.J.: Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. Proceedings of the Software Process Workshop (SPW2005), Beijing, China. (2005)
2. Leveson N.G.: Safeware: System Safety and Computers. Addison-Wesley. (1995)
3. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault-Tree Handbook, Reg. 0492. US Nuclear Regulatory Comm., Washington, D.C. (1981)
4. Vesely, W.E. et al.: Fault Tree Handbook with Aerospace Applications, NASA (2002)
5. Wise, A.: Little-JIL 1.0 Language Report, Technical report (UM-CS-1998-024), Department of Computer Science, University of Massachusetts, Amherst, MA (1998)
6. Cha, S.S., Leveson, N.G., Shimeall, T.J.: Safety Verification in Murphy Using Fault Tree Analysis, ICSE '88: Proceedings of the 10th International Conference on Software Engineering, Singapore (1988) 377-386
7. Ratan, V., Partridge, K., Reese, J., Leveson N.G.: Safety Analysis Tools for Requirements Specifications. http://www.safeware-eng.com/index.php/publications/SafAnTooReq
8. Pai, G.J., Dugan, J.B.: Automatic Synthesis of Dynamic Fault Trees from UML System Models. 13th International Symposium on Software Reliability Engineering (ISSRE'02) 243
9. McKelvin M.L.Jr., Eirea, G., Pinello, C., Kanajan, S., Sangiovanni-Vincentelli,A.: A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems. Procs. of the 5th ACM International Conference on Embedded Software (2005) 237-246
10. Liggesmeyer, P., Rothfelder, M.: Improving System Reliability with Automatic Fault Tree Generation. PICS '98: Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (1998) 90
11. Bozzano, M., Villafiorita, A.: Improving System Reliability via Model Checking: the FSAP / NuSMV-SA Safety Analysis Platform. In Proceedings of SAFECOMP 2003, LNCS 2788, Edimburgh, Scotland, United Kingdom (2003) 49-62