Modeling the effects of software on safety and reliability in complex embedded systems

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

Volumn 7613 LNCS, Issue , 2012, Pages 454-465

  Steiner, Max ^a   Keller, Patric ^a   Liggesmeyer, Peter ^a  

^a University of Koblenz Landau   (Germany)

Author keywords

reliability analysis; safety analysis; state event fault trees

Indexed keywords

AUTONOMOUS SYSTEMS; AUTONOMOUS VEHICLES; BEHAVIOR-BASED CONTROL; CONTROL MECHANISM; FAULT TREE MODEL; FAULT-TREES; POTENTIAL EFFECTS; RELIABILITY AND AVAILABILITY; SAFETY ANALYSIS; SOFTWARE-BASED;

BEHAVIORAL RESEARCH; RELIABILITY ANALYSIS; SOFTWARE RELIABILITY;

SECURITY OF DATA;

EID: 84868121030     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33675-1_43     Document Type: Conference Paper

References (15)

1. Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.: Early prediction of software component reliability. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 111-120. ACM, New York (2008)
2. Förster, M., Trapp, M.: Fault tree analysis of software-controlled component systems based on second-order probabilities. In: ISSRE 2009 Proceedings (2009)
3. Kaiser, B., Gramlich, C., Förster, M.: State-event-fault-trees - A safety analysis model for software controlled systems. Reliability Engineering & System Safety 92(11), 1521-1537 (2007);
4. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 195-209. Springer, Heidelberg (2004)
5. Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: 8th Australian Workshop on Safety Critical Systems and Software, Canberra (October 2003)
6. Lano, K., Clark, D., Androutsopoulos, K.: Safety and Security Analysis of Object-Oriented Models. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 82-93. Springer, Heidelberg (2002)
7. McDermid, J.: Software Hazard and Safety Analysis. In: Damm,W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 23-34. Springer, Heidelberg (2002)
8. Min, S.-Y., Jan, Y.-K., Cha, S.-D., Kwon, Y.-R., Bae, D.-H.: Safety Verification of Ada95 Programs Using Software Fault Trees. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 226-238. Springer, Heidelberg (1999)
9. Priese, L., Wimmel, H.: Petri-Netze. Springer (2008)
10. Proetzsch, M., Luksch, T., Berns, K.: Development of complex robotic systems using the behavior-based control architecture iB2C. Robotics and Autonomous Systems 58(1), 46-67 (2010)
11. Sacha, K.: Safety Verification of Software Using Structured Petri Nets. In: Ehrenberger, W. (ed.) SAFECOMP 1998. LNCS, vol. 1516, pp. 329-342. Springer, Heidelberg (1998)
12. Schäfer, B.H.: Robot Control Design Schemata and their Application in Off-road Robotics. Ph.D. thesis, TU Kaiserslautern (2011)
13. TU Berlin, Real-Time Systems and Robotics group: TimeNET 4.0 (2007), www.tu-ilmenau.de/TimeNET
14. TU Kaiserslautern, AG seda and Fraunhofer IESE: Embedded system safety and reliability analyzer (ESSaRel) (2009), http://www.essarel.de
15. Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook. U.S. Nuclear Regulatory Commission (1981)