Integration of component fault trees into the UML

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

Volumn 6627 LNCS, Issue , 2011, Pages 312-327

  Adler, Rasmus ^a   Domis, Dominik ^b   Höfig, Kai ^b   Kemmann, Sören ^a   Kuhn, Thomas ^a   Schwinn, Jean Pascal ^c   Trapp, Mario ^a  

^a Fraunhofer IESE ^*  (Germany)

^b University of Koblenz Landau   (Germany)

^c SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SOFTWARE; COMPONENT FAULT TREES; DEVELOPMENT MODEL; LANGUAGE DEVELOPMENT; MODEL DRIVEN DEVELOPMENT; MODEL TRANSFORMATION; SAFETY ANALYSIS; SAFETY MODELS; UML PROFILES;

EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; PLANT EXTRACTS; SAFETY ENGINEERING; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

MODELS;

EID: 79957635330     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21210-9_30     Document Type: Conference Paper

References (19)

1. Bernat, G., Burns, A., Newby, M.: Probabilistic timing analysis: An approach using copulas. J. Embedded Comput. 1, 179-194 (2005)
2. Bernat, G., Colin, A., Petters, S.: pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems. Technical report (2003)
3. Bozzano, M.: ESACS: An integrated methodology for design and safety analysis of complex systems. In: Proc. of European Safety and Reliability Conf. ESREL, pp. 237-245 (2003)
4. Cuenot, P., Chen, D., Gérard, S., Lönn, H., Reiser, M.-O., Servat, D., Kolagari, R.T., Törngren, M., Weber, M.: Towards improving dependability of automotive systems by using the east-adl architecture description language, pp. 39-65 (2007)
5. Damm,W., Votintseva, A., Metzner, A., Josko, B., Peikenkamp, T., Bde, E.: Boosting Re-use of Embedded Automotive Applications Through Rich Components. In: Proceedings, FIT 2005 - Foundations of Interface Technologies (2005)
6. de Miguel, M.A., Briones, J.F., Silva, J.P., Alonso, A.: Integration of safety analysis in model-driven software development. Software, IET 2(3), 260-280 (2008)
7. Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Software and Systems Modeling 7(4), 443-467 (2008)
8. Essarel homepage, http://www.essarel.de/index.html (last accessed on 2010/08/02)
9. Ganesh, P., Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML SystemModels. In: 13th International Symposium on Software Reliability Engineering (ISSRE) (2002)
10. Grunske, L.: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. In: Proc. Conf.Quality of Software Architectures QoSA, vol. 4214 (2006)
11. Isograph homepage, http://www.isograph-software.com/ftpover.htm (last accessed on 2010/08/02)
12. Joshi, A., Heimdahl, M., Steven, M., Whalen, M.: Model-Based Safety Analysis (2006) NASA
13. Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS 2003), Adelaide, pp. 37-46 (2003)
14. Kaiser, B., Zocher, A.: Bdd complexity reduction by component fault trees. In: Proceedings of the European Safety and Reliability Conference (ESREL 2005), Adelaide, pp. 1011-1019. Balkema Publishers, Rotterdam (2005)
15. Kuhn, T., Kemmann, S., Trapp, M., Schaefer, C.: Multi-language development of embedded systems. In: 9th OOPSLA DSM Workshop, Orlando, USA (2009)
16. Liggesmeyer, P., Rothfelder, M.: Improving system reliability with automatic fault tree generation. In: Twenty-Eighth Annual International Symposium on Fault- Tolerant Computing. Digest of Papers, pp. 90-99, 23-25 (1998)
17. Magicdraw homepage, http://www.nomagic.com/ (last accessed on 2010/08/02)
18. Papadopoulos, Y., Maruhn, M.: Model-Based Automated Synthesis of Fault Trees from Matlab.Simulink Models. In: International Conference on Dependable Systems and Networks (2001)
19. Rugina, A.: System Dependability Evaluation using AADL (Architecture Analysis and Design Language) (2005) LAAS-CNRS