Safety of component-based systems: analysis and improvement using Fujaba4Eclipse

ABSTRACT

Todays embedded and safety-critical systems incorporate increasing amounts of software. Consequently, the software architecture and its connection to hardware elements have a big impact on the safety of those systems. We present in this paper an approach and its implementation in the Fujaba4Eclipse environment for the analysis and improvement of component-based systems w.r.t. their safety which specifically exploits the software and system structure.

REFERENCES

• 1: Sven Burmester , Holger Giese , Stefan Henkler , Martin Hirsch , Matthias Tichy , Alfonso Gambuzza , Eckehard Munch , Henner Vocking, Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View, Proceedings of the 29th international conference on Software Engineering, p.801-804, May 20-26, 2007 [doi>10.1109/ICSE.2007.88]
• 2: Thorsten Fischer , Jörg Niere , Lars Torunski , Albert Zündorf, Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java, Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, p.296-309, November 16-20, 1998
• 3: H. Giese and M. Tichy. Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. In Proc. of the 25th International Conference on Computer Safety, Security and Reliability, Gdansk, Poland, LNCS. Springer Verlag, September 2006.
• 4: Klaus Grimm, Software technology in an automotive company: major challenges, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 5: J. C. Laprie, editor. Dependability : basic concepts and terminology in English, French, German, Italian and Japanese {IFIP WG 10.4, Dependable Computing and Fault Tolerance}, volume 5 of Dependable computing and fault tolerant systems. Springer Verlag, Wien, 1992.
• 6: Matthias Meyer, Pattern-based Reengineering of Software Systems, Proceedings of the 13th Working Conference on Reverse Engineering, p.305-306, October 23-27, 2006 [doi>10.1109/WCRE.2006.42]
• 7: Neil R. Storey, Safety Critical Computer Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 8: M. Tichy. Pattern-based synthesis of fault-tolerant embedded systems. In Proc. of the Doctoral Symposium of the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), Portland, Oregon, USA, pages 13--18, Nov. 2006.

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.3 PROBABILITY AND STATISTICS
      Subjects: Reliability and life testing

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Languages (e.g., description, interconnection, definition); Patterns (e.g., client/server, pipeline, blackboard)

General Terms:
Design, Measurement

Keywords:
failure propagation, fault tolerance, fujaba, hazard analysis, safety, structual transformations