demonstration

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

Authors:

Matthias Tichy,

Stefan Henkler,

Matthias Meyer,

Markus von DettenAuthors Info & Claims

ICSE Companion '08: Companion of the 30th international conference on Software engineering

Pages 973 - 974

https://doi.org/10.1145/1370175.1370214

Published: 10 May 2008 Publication History

Get Access

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]

S. Burmester, H. Giese, S. Henkler, M. Hirsch, M. Tichy, A. Gambuzza, E. M¨uch, and H. V¨ocking. Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view. In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pages 801--804, May 2007.

Digital Library

Google Scholar

[2]

T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story diagrams: A new graph rewrite language based on the unified modeling language. In Proc. of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany, LNCS 1764, pages 296--309. Springer Verlag, November 1998.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[4]

K. Grimm. Software technology in an automotive company: major challenges. In ICSE ?03: Proceedings of the 25th International Conference on Software Engineering, pages 498--503, Washington, DC, USA, 2003. IEEE Computer Society.

Digital Library

Google Scholar

[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.

Google Scholar

[6]

M. Meyer. Pattern-based Reengineering of Software Systems. In Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), Benevento, Italy, pages 305--306. IEEE Computer Society, October 2006.

Digital Library

Google Scholar

[7]

N. Storey. Safety-Critical Computer Systems. Addison-Wesley, 1996.

Digital Library

Google Scholar

[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.

Google Scholar

Cited By

View all

Priesterjahn CTichy MHenkler SHirsch MSchäfer W(2010)12 Fujaba4Eclipse Real-Time Tool SuiteModel-Based Engineering of Embedded Real-Time Systems10.1007/978-3-642-16277-0_12(309-315)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16277-0_12
Priesterjahn CTichy MHenkler SHirsch MSchäfer W(2007)Fujaba4eclipse real-time tool suiteProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927575(309-315)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927575

Index Terms

Safety of component-based systems: analysis and improvement using Fujaba4Eclipse
1. Mathematics of computing
  1. Probability and statistics
    1. Statistical paradigms
      1. Survival analysis
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Patterns
    2. System description languages
  2. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles
        Client-server architectures
      2. Software architectures

Recommendations

Certifiably safe software-dependent systems: challenges and directions
FOSE 2014: Future of Software Engineering Proceedings

The amount and impact of software-dependence in critical systems impinging on daily life is increasing rapidly. In many of these systems, inadequate software and systems engineering can lead to economic disaster, injuries or death. Society generally ...
Hazard analysis of interoperability conformance profiles: an industrial case study in healthcare
CASCON '19: Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering

Initiatives to establish interoperability across heterogeneous systems often rely on published standards and conformance profiles. In many cases, participating systems need to be certified to conform to these standards before they are admitted. ...
Does Software Have to Be Ultra Reliable in Safety Critical Systems?
SAFECOMP 2013: Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security - Volume 8153

It is difficult to demonstrate that safety-critical software is completely free of dangerous faults. Prior testing can be used to demonstrate that the unsafe failure rate is below some bound, but in practice, the bound is not low enough to demonstrate ...

Comments

Information & Contributors

Information

Published In

ICSE Companion '08: Companion of the 30th international conference on Software engineering

May 2008

214 pages

ISBN:9781605580791

DOI:10.1145/1370175

General Chair:
Wilhelm Schäfer
University of Paderborn
,
Program Chairs:
Matthew B. Dwyer
University of Nebraska
,
Volker Gruhn
University of Leipzig

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 May 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Demonstration

Conference

ICSE '08

Sponsor:

ICSE '08: International Conference on Software Engineering

May 10 - 18, 2008

Leipzig, Germany

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
142
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Priesterjahn CTichy MHenkler SHirsch MSchäfer W(2010)12 Fujaba4Eclipse Real-Time Tool SuiteModel-Based Engineering of Embedded Real-Time Systems10.1007/978-3-642-16277-0_12(309-315)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16277-0_12
Priesterjahn CTichy MHenkler SHirsch MSchäfer W(2007)Fujaba4eclipse real-time tool suiteProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927575(309-315)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927575

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Certifiably safe software-dependent systems: challenges and directions

Hazard analysis of interoperability conformance profiles: an industrial case study in healthcare

Does Software Have to Be Ultra Reliable in Safety Critical Systems?

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations