skip to main content
10.1145/2024436.2024444acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
research-article

Component-based timed hazard analysis of self-healing systems

Published: 04 September 2011 Publication History

Abstract

Today, self-healing is increasingly used in embedded real-time systems, that are applied in safety-critical environments, to reduce hazards. These systems implement self-healing by reconfiguration, i.e., the exchange of system components during run-time that aims at stopping or removing failures. This reaction is subject to hard real-time constraints because reacting too late does not yield the intended effects. Consequently, it is necessary to analyze the propagation of failures over time and also take into account how the propagation of failures is changed by the reconfiguration. Current approaches do not analyze the propagation times of failures and the changes of structural reconfiguration on the failure propagation.
We enhance our hazard analysis approach by extending our failure propagation models by propagation times and taking the system's real-time reconfiguration behavior into account. This allows to analyze how a reconfiguration with certain duration changes the failure propagation of a real-time system and thus whether it is able to prevent a hazard. We show the feasibility of our approach by an example case study from the RailCab project.

References

[1]
S. Abdelwahed, G. Karsai, M. Nagabhushan, and S. C. Ofsthun. Practical implementation of diagnosis systems using timed failure propagation graph models. IEEE Transactions on instrumentation and measurement, 58(2):240--247, 2009.
[2]
A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput., 1(1):11--33, 2004.
[3]
F. Cassez and O.-H. Roux. Structural translation from time petri nets to timed automata. Electron. Notes Theor. Comput. Sci., 128:145--160, May 2005.
[4]
B. H. C. Cheng et al. Software engineering for self-adaptive systems: A research roadmap. In B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, editors, Software Engineering for Self-Adaptive Systems, volume 5525 of Lecture Notes in Computer Science, pages 1--26. Springer, 2009.
[5]
R. Colvin, L. Grunske, and K. Winter. Timed behavior trees for failure mode and effects analysis of time-critical systems. J. Syst. Softw., 81:2163--2182, December 2008.
[6]
T. Eckardt, C. Heinzemann, S. Henkler, M. Hirsch, C. Priesterjahn, and W. Schäfer. Modeling and verifying dynamic communication structures based on graph transformations. In Computer Science -- Research and Development. Springer, 2011. accepted.
[7]
P. Fenelon, J. A. McDermid, M. Nicolson, and D. J. Pumfrey. Towards integrated safety analysis and design. ACM SIGAPP Applied Computing Review, 2(1):21--32, 1994.
[8]
H. Giese, S. Henkler, M. Hirsch, V. Roubin, and M. Tichy. Modeling techniques for software-intensive systems. In D. P. F. Tiako, editor, Designing Software-Intensive Systems: Methods and Principles, pages 21--58. Langston University, OK, 2008.
[9]
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, 2006.
[10]
O. M. Group. Uml 2.2 superstructure specification, 2009. Document -- formal/09-02-02.
[11]
L. Grunske, B. Kaiser, and Y. Papadopoulos. Model-driven safety evaluation with state-event-based component failure annotations. In G. T. Heineman, I. Crnkovic, H. W. Schmidt, J. A. Stafford, C. Szyperski, and K. Wallnau, editors, Component-Based Software Engineering, volume 3489 of Lecture Notes in Computer Science, pages 33--48. Springer Berlin / Heidelberg, 2005.
[12]
International Electrotechnical Commission, Geneva, Switzerland. International Standard IEC 61025. Fault Tree Analysis (FTA), 1990.
[13]
B. Kaiser, C. Gramlich, and M. Förster. State/event fault trees--A safety analysis model for software-controlled systems. Reliability Engineering & System Safety, 92(11):1521--1537, 2007.
[14]
N. G. Leveson. Safeware: System Safety and Computers. ACM, New York, NY, USA, 1995.
[15]
J. Magott and P. Skrobanek. A method of analysis of fault trees with time dependencies. In Proceedings of the 19th International Conference on Computer Safety, Reliability and Security, SAFECOMP '00, pages 176--186, London, UK, 2000. Springer-Verlag.
[16]
F. Ortmeier, W. Reif, and G. Schellhorn. Deductive cause-consequence analysis. In Proceedings of the 16th IFAC World Congress, 2006.
[17]
G. K. Palshikar. Temporal fault trees. Information and Software Technology, 44(3):137--150, 2002".
[18]
C. Reutenauer. The mathematics of Petri nets. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1990.
[19]
G. Rozenberg. HANDBOOK of GRAPH GRAMMARS and COMPUTING by GRAPH TRANSFORMATION, Volume 1: Foundations. World Scientific, 1997.
[20]
S. Simani, C. Fantuzzi, and R. J. Patton. Model-based Fault Diagnosis in Dynamic Systems Using Identification Techniques. Springer Berlin / Heidelberg, 2002.
[21]
M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür. Component story diagrams: A transformation language for component structures in mechatronic systems. In Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany. HNI Verlagsschriftenreihe, 2008.
[22]
M. Walker, L. Bottaci, and Y. Papadopoulos. Compositional temporal fault tree analysis. In F. Saglietti and N. Oster, editors, SAFECOMP, volume 4680 of Lecture Notes in Computer Science, pages 106--119. Springer, 2007.

Cited By

View all
  • (2023)Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00028(145-156)Online publication date: May-2023
  • (2019)A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management StrategiesSensors10.3390/s1905103319:5(1033)Online publication date: 28-Feb-2019
  • (2014)Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis2014 IEEE International Systems Conference Proceedings10.1109/SysCon.2014.6819284(378-382)Online publication date: Mar-2014
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ASAS '11: Proceedings of the 8th workshop on Assurances for self-adaptive systems
September 2011
50 pages
ISBN:9781450308533
DOI:10.1145/2024436
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 September 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. hazard analysis
  2. real-time
  3. reconfiguration
  4. system safety

Qualifiers

  • Research-article

Conference

ESEC/FSE'11
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)1
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00028(145-156)Online publication date: May-2023
  • (2019)A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management StrategiesSensors10.3390/s1905103319:5(1033)Online publication date: 28-Feb-2019
  • (2014)Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis2014 IEEE International Systems Conference Proceedings10.1109/SysCon.2014.6819284(378-382)Online publication date: Mar-2014
  • (2014)Methods of Improving the Dependability of Self-optimizing SystemsDependability of Self-Optimizing Mechatronic Systems10.1007/978-3-642-53742-4_3(37-171)Online publication date: 2014
  • (2013)From timed automata to timed failure propagation graphs16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)10.1109/ISORC.2013.6913236(1-8)Online publication date: Jun-2013

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media