Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security (SAFECOMP 2014)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9338))

Included in the following conference series:

Abstract

The society is nowadays increasingly controlled through embedded systems. The certification process of such systems is often supported by tree based approaches like fault trees. Nevertheless, these methodologies have some crucial drawbacks when it comes to dynamic systems. In the standard fault tree analysis it is not possible to model dependent events as well as timing behavior. To deal with these disadvantages state/event fault trees (SEFTs) were developed. However, this method is mainly restricted to academic problems due to its poor analysis procedures. To overcome this problem, this paper introduces a new qualitative analysis technique for SEFTs based on event sequences that can be identified out of their reachability graphs. To analyze these sequences an event sequence minimization schema similar to minimal cut sets of normal fault trees is proposed. Afterwards, a sequence algebra is used to further minimize these temporal expressions and transform them as far as possible into static ones.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bozzano, M., Villafiorita, A.: Integrating fault tree analysis with event ordering information. In: Proceedings of the European Safety and Reliability Conference (ESREL) (2003)

    Google Scholar 

  2. Buchacker, K.: Combining Fault Trees And Petri Nets To Model Safety-Critical Systems, pp. 439–44. Society for Computer Simulation, International (1999)

    Google Scholar 

  3. Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. Trans. Reliab. 41, 363–377 (1992)

    Article  MATH  Google Scholar 

  4. Bechta-Dugan, J., Sullivan, K., Coppit, D.: Developing a low-cost high-quality software tool for dynamic fault tree analysis. Trans. Reliab. 49, 49 (1999)

    Article  Google Scholar 

  5. ESSaRel: Embedded systems safety and reliability analyser. http://www.essarel.de

  6. Fussell, J.B., Aber, E.F., Rahl, R.G.: On the quantitive analysis of priority AND failure logic. IEEE Trans. Reliab. 25(5), 324–326 (1796)

    MATH  Google Scholar 

  7. Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Proccedings of the Annual Reliability and Maintainability Symposium, Philadelphia, USA, pp. 57–63 (1997)

    Google Scholar 

  8. Kaiser, B., Gramlich, C.: State-event-fault-trees – a safety analysis model for software controlled systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 195–209. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  9. Liu, D., Xing, W., Zhang, C., Li, R., Li, H.: Cut sequence set generation for fault tree analysis. In: Lee, Y.-H., Kim, H.-N., Kim, J., Park, Y.W., Yang, L.T., Kim, S.W. (eds.) ICESS 2007. LNCS, vol. 4523, pp. 592–603. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Long, W., Sato, Y., Horigome, M.: Quantification of sequential failure logic for fault tree analysis. Reliab. Eng. Syst. Saf. 67, 269–274 (1999)

    Article  Google Scholar 

  11. Palshikar, G.K.: Temporal fault trees. Inf. Softw. Technol. 44, 137–150 (2002)

    Article  Google Scholar 

  12. Roth, M., Liggesmeyer, P.: Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems. In: Proceedings of the International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 353–358, Pasadena, CA (2013)

    Google Scholar 

  13. Tang, Z., Dugan, J.B.: Minimal cut set/sequence generation for dynamic fault trees. In: Proccedings of the Annual Reliability and Maintainability Symposium (RAMS), Charlottesville, USA, pp. 207–213 (2004)

    Google Scholar 

  14. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook (1981)

    Google Scholar 

  15. Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. PhD Thesis, University of Hall, UK (2009)

    Google Scholar 

  16. Watson, H.R.: Launch control safety study. Bell Labs (1961)

    Google Scholar 

  17. Yuge, T., Yanagi, S.: Quantitative analysis of a fault tree with priority AND gates. Reliab. Eng. Syst. Saf. 93, 1577–1583 (2008)

    Article  Google Scholar 

  18. Zimmermann, A., German, R., Freiheit, J., Hommel, G.: TimeNET 3.0 Tool Description. In: International Conference on Petri Nets and Performance Models (PNPM 1999), Zaragoza, Spain (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair of Software Engineering: Dependability, University of Kaiserslautern, Kaiserslautern, Germany

    Michael Roth & Peter Liggesmeyer

Authors
  1. Michael Roth
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Liggesmeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael Roth .

Editor information

Editors and Affiliations

  1. University of Technology, Delft, The Netherlands

    Floor Koornneef

  2. University of Huddersfield, Huddersfield, United Kingdom

    Coen van Gulijk

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Roth, M., Liggesmeyer, P. (2015). Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems. In: Koornneef, F., van Gulijk, C. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science(), vol 9338. Springer, Cham. https://doi.org/10.1007/978-3-319-24249-1_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-24249-1_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-24248-4

  • Online ISBN: 978-3-319-24249-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation