Integrating safety analyses and component-based design

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

Volumn 5219 LNCS, Issue , 2008, Pages 58-71

  Domis, Dominik ^a   Trapp, Mario ^a  

^a FRAUNHOFER IESE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; INTEGRATION; RELIABILITY; SECURITY SYSTEMS; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

AND MODELS; BLACK BOXES; DEVELOPMENT PROCESSES; FUNCTIONAL PROPERTIES; MODEL-BASED; PRACTICAL USES; SAFETY ANALYSIS; TIME CONSUMING;

SAFETY ENGINEERING;

EID: 56449123857     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87698-4_8     Document Type: Conference Paper

References (17)

1. IEC 61508: Functional safety of electrical/electronic/programmable electronic safetyrelated systems, International Electrotechnical Commission (1999)
2. MISRA: Guidelines for safety analysis of vehicle based programmable systems, MIRA Limited, Warwickshire (2007)
3. Lisagor, O., McDermid, J.A., Pumfrey, D.J.: Towards a Practicable Process for Automated Safety Analysis. In: 24th International System Safety Conference, pp. 596-607 (2006)
4. Bozzano, M., Villafiorita, A.: ESACS: An Integrated Methodology for Design and Safety Analysis of Complex Systems. In: 14th European Safety and Reliability Conference, pp. 237-245. Balkema Publishers, Maastricht (2003)
5. Bretschneider, M., Holberg, H.-J., Peikenkamp, T., Böde, E., Brückner, I., Spenke, H.: Model-based Safety Analysis of a Flap Control System. In: Proceedings of the INCOSE 2004 - 14th Annual International Symposium, Toulouse (2004)
6. Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) 18th International Conference on Computer Safety, Reliability and Security. LNCS, vol. 1608, pp. 139-152. Springer, Heidelberg (1999)
7. Grunske, L., Kaiser, B.: Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. In: 5th IEEE International Conference on Quality Software, pp. 117-123. IEEE Computer Society Press, New York (2005)
8. Grunske, L.: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. In: Hofmeister, C., Crnković, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol. 4214, pp. 199-213. Springer, Heidelberg (2006)
9. Wallnau, K.C.: Volume III: A Technology for Predictable Assembly from Certifiable Components (PACC). Technical report CMU/SEI-2003-TR-009, Pittsburg, PA: Software Engineering Institute, Carnegie Mellon University (2003)
10. Damm, W., Votintseva, A., Metzner, A., Josko, B., Peikenkamp, T., Bode, E.: Boosting Re-use of Embedded Automotive Applications Through Rich Components. In: Proceedings of the Foundation of Interface Technology Workshop. Elsevier Science, Amsterdam (2005)
11. Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Peach, B., Wüst, J., Zettel, J.: Component-based Product Line Engineering with UML. Addison-Wesley, London (2001)
12. Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses, DPhil Thesis, University of York (1999)
13. Giese, H., Tichy, M., Schilling, D.: Compositional Hazard Analysis of UML Component and Deployment Models. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFE-COMP 2004. LNCS, vol. 3219, pp. 166-179. Springer, Heidelberg (2004)
14. Kaiser, B., Liggesmeyer, P., Mäckel, O.: A New Component Concept for Fault Trees. In: Lindsay, P., Cant, T. (eds.) Proceedings of the 8th Australian workshop on Safety critical systems and software, Canberra, vol. 33, pp. 37-46. Australian Computer Society (to be published, 2003); Conferences in Research and Practice in Information Technology Series
15. MathWorks, Simulink: Simulation and Model-Based Design, http://www.mathworks.com
16. Embedded Systems Safety and Reliability Analyser (ESSaRel), http://www.essarel.de
17. Isograph: Fault Tree Analysis Software - FaultTree, http://www.isograph. com