Skip to main content
SpringerLink
Log in

Safety Interfaces for Component-Based Systems

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2005)

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

Included in the following conference series:

Abstract

This paper addresses the problems appearing in component-based development of safety-critical systems. We aim at efficient reasoning about safety at system level while adding or replacing components. For safety-related reasoning it does not suffice to consider functioning components in their ”intended” environments but also the behaviour of components in presence of single or multiple faults.

Our contribution is a formal component model that includes the notion of a safety interface. It describes how the component behaves with respect to violation of a given system-level property in presence of faults in its environment. We also present an algorithm for deriving safety interfaces given a particular safety property and fault modes for the component. Moreover, we present compositional proof rules that can be applied to reason about the fault tolerance of the composed system by analyzing the safety interfaces of the components. Finally, we evaluate the above technique in a real aerospace application.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems 15(1), 73–132 (1993)

    Article  Google Scholar 

  2. Åkerlund, O., Nadjm-Tehrani, S., Stålmarck, G.: Integration of formal methods into system safety and reliability analysis. In: Proceedings of 17th International Systems Safety Conference, pp. 326–336 (1999)

    Google Scholar 

  3. Alur, R., Henzinger, T.A.: Reactive modules. In: Proc. 11th Symposium on Logic in Computer Science, pp. 207–218. IEEE Computer Society, Los Alamitos (1996)

    Chapter  Google Scholar 

  4. Aßman, U.: Invasive Software Composition. Springer, Heidelberg (2003)

    Google Scholar 

  5. Berry, G.: The Esterel v5 Language Primer. CMA. Sophia Antipolis (2000)

    Google Scholar 

  6. Bondavalli, A., Simoncini, L.: Failures classification with respect to detection. In: Proc. of 2nd IEEE Workshop on Future Trends in Distributed Computing Systems, pp. 47–53. IEEE Computer Society, Los Alamitos (1990)

    Chapter  Google Scholar 

  7. Bozzano, M., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: ESREL 2003, Balkema, June 2003, pp. 237–245 (2003)

    Google Scholar 

  8. Burns, A., Wellings, A.J.: HRT-HOOD: a structured design method for hard real-time systems. Real-Time Systems 6(1), 73–114 (1994)

    Article  Google Scholar 

  9. Crnkovic, I., Stafford, J., Schmidt, H., Wallnau, K. (eds.): CBSE 2004. LNCS, vol. 3054. Springer, Heidelberg (2004)

    Google Scholar 

  10. de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.): FMCO 2004. LNCS, vol. 3657. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  11. Elmqvist, J., Nadjm-Tehrani, S.: Intents and upgrades in component-based high-assurance systems. In: Model-driven Software Development. Springer, Heidelberg (2005)

    Google Scholar 

  12. Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. SIGAPP Applied Computing Review 2(1), 21–32 (1994)

    Article  Google Scholar 

  13. Grunske, L., Kaiser, B., Ruessner, R.H.: Specification and evaluation of safety properties in a component-based software engineering process. In: Embedded system development with components. Springer, Heidelberg (2005), (to appear)

    Google Scholar 

  14. Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: Proc. AMAST 1993, pp. 83–96. Springer, Heidelberg (1994)

    Google Scholar 

  15. Hammarberg, J., Nadjm-Tehrani, S.: Formal verification of fault tolerance in safety-critical configurable modules. International Journal of Software Tools for Technology Transfer, Online First Issue (December 14, 2004)

    Google Scholar 

  16. Henley, E., Kumamoto, H.: Reliability Engineering and Risk Assessment. Prentice Hall, Englewood Cliffs (1981)

    Google Scholar 

  17. Henzinger, T.A., Qadeer, S., Rajamani, S.K., Taşiran, S.: An assume-guarantee rule for checking simulation. In: Proc. 2nd Int. Conf. FMCAD, pp. 421–432 (1998)

    Google Scholar 

  18. Jones, C.B.: Development Methods for Computer Programs Including a Notion of Interference. PhD thesis, Oxford University (1981)

    Google Scholar 

  19. Jürjens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 360–372. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  20. Lala, J.H., Harper, R.E.: Architectural principles for safety-critical real-time applications. Proc. of the IEEE 82(1), 25–40 (1994)

    Article  Google Scholar 

  21. Li, H.C., Krishnamurthi, S., Fisler, K.: Interfaces for modular feature verification. In: Proc. of the 17th IEEE Int. Conf. on Automated Software Engineering, pp. 195–204. IEEE Computer Society, Los Alamitos (2002)

    Chapter  Google Scholar 

  22. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: Specification. Springer, Heidelberg (1992)

    Google Scholar 

  23. Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Transactions on Software Engineering 7(4), 417–426 (1981)

    Article  MathSciNet  Google Scholar 

  24. Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety 71(3), 229–247 (2001)

    Article  Google Scholar 

  25. Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses. PhD thesis, Department of Computer Science, University of York (2000)

    Google Scholar 

  26. Rauzy, A.: Mode automata and their compilation into fault trees. Reliability Engineering and System Safety 78, 1–12 (2002)

    Article  Google Scholar 

  27. Stankovic, J.A.: Vest - a toolset for constructing and analyzing component based embedded systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 390–402. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  28. Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engineering 23(12), 759–776 (1997)

    Article  Google Scholar 

  29. Strunk, E.A., Knight, J.C.: Assured reconfiguration of embedded real-time software. In: Proc. International Conference on Dependable Systems and Networks, pp. 367–376. IEEE Computer Society, Los Alamitos (2004)

    Chapter  Google Scholar 

  30. Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)

    Google Scholar 

  31. Tesanovic, A., Nadjm-Tehrani, S., Hansson, J.: Modular verification of reconfigurable components. In: Embedded System Development with Components. Springer, Heidelberg (2005), (to appear)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Linköping University,  

    Jonas Elmqvist & Simin Nadjm-Tehrani

  2. “Politehnica” University of Timişoara and Institute e-Austria Timişoara,  

    Marius Minea

Authors
  1. Jonas Elmqvist
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simin Nadjm-Tehrani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marius Minea
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Computer Sciences, Østfold University College, Os Allé, 11, 1757, Halden, Norway

    Rune Winther

  2. Insitute for Energy Technology, Software Engineering Laboratory, 1761, Halden, Norway

    Bjørn Axel Gran

  3. Software Engineering Laboratory, Institute for Engergy Technology, 1751, Halden, Norway

    Gustav Dahll

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Elmqvist, J., Nadjm-Tehrani, S., Minea, M. (2005). Safety Interfaces for Component-Based Systems. In: Winther, R., Gran, B.A., Dahll, G. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2005. Lecture Notes in Computer Science, vol 3688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563228_19

Download citation

  • DOI: https://doi.org/10.1007/11563228_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29200-5

  • Online ISBN: 978-3-540-32000-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation