Skip to main content

Proof-Based System Engineering Using a Virtual System Model

  • Conference paper
Service Availability (ISAS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3694))

Included in the following conference series:

Abstract

This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of particular relevance for safety critical applications and other systems where dependability properties are essential. This is particularly the case for applications in the aerospace domain targeted in the EC FP6 Integrated Project ASSERT. Applying PBSE both permits to eliminate most common design faults before embarking on the development of a system and maximizes reuse, which leads to significant savings in time and budgets. Particular emphasis is put on the requirements capture phase of PBSE, where a virtual system model is used as a novel means to structure the information to be captured.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Le Lann, G.: Proof-based system engineering and embedded systems. In: Rozenberg, G. (ed.) EEF School 1996. LNCS, vol. 1494, pp. 208–248. Springer, Heidelberg (1998)

    Google Scholar 

  2. Le Lann, G.: Models, proofs and the engineering of computer-based systems: A reality check. In: Proc. 9th Annual Intl. INCOSE Symposium on Systems Engineering: Sharing the Future, vol. 4, pp. 495–502 (1999), Best Paper Award

    Google Scholar 

  3. Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishing, Dordrecht (2000)

    MATH  Google Scholar 

  4. Kuhn, D.: Sources of the failure in the public switched telephone network. IEEE Computer 30, 31–36 (1997)

    Google Scholar 

  5. Inquiry Board Report: ARIANE 5—Flight 501 Failure (1996), Available online, http://ravel.esrin.esa.it/docs/esa-x-1819eng.pdf

  6. Le Lann, G.: An analysis of the ariane 5 flight 501 failure—a system engineering perspective. In: Proceedings of the IEEE International Conference and Workshop on Engineering of Computer-Based Systems, pp. 339–346 (1997)

    Google Scholar 

  7. Le Lann, G.: The failure of satellite launcher ariane 4.5. Safety Critical Mailing List at. Archived Contributions, Contribution on the Failure of Ariane 5 flight 501 (1999), http://www.cs.york.ac.uk/hise/text/sclist/lelannariane.html

  8. Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6, 1–30 (1997)

    Article  Google Scholar 

  9. Jackson, M.: Software requirements & specifications: A lexicon of practice, principles and prejudices. ACM Press/Addison-Wesley Publishing Co. (1995)

    Google Scholar 

  10. Zave, P.: Classification of research efforts in requirements engineering. ACM Comput. Surv. 29, 315–321 (1997)

    Article  Google Scholar 

  11. Nuseibeh, B., Easterbrook, S.: Requirements engineering: A roadmap. In: ICSE 2000: Proceedings of the Conference on The Future of Software Engineering, pp. 35–46. ACM Press, New York (2000)

    Chapter  Google Scholar 

  12. Jackson, M.: The meaning of requirements. Ann. Software Eng. 3, 5–21 (1997)

    Article  Google Scholar 

  13. Swartout, W., Balzer, R.: On the inevitable intertwining of specification and implementation. Commun. ACM 25, 438–440 (1982)

    Article  Google Scholar 

  14. Sabetzadeh, M., Easterbrook, S.: Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 12–21 (2003)

    Google Scholar 

  15. Stevens, R., Brook, P., Jackson, K., Arnold, S.: Systems Engineering: Coping with complexity. Prentice Hall, Englewood Cliffs (1998)

    Google Scholar 

  16. Meyer, B.: Applying design by contract. IEEE Computer 25, 40–51 (1992)

    Google Scholar 

  17. Abrial, J.: The B Book. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  18. Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)

    MATH  Google Scholar 

  19. Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)

    Google Scholar 

  20. Honvault, C., Le Roy, M., Gula, P., Fabre, J.C., Le Lann, G., Bornschlegl, E.: Novel generic middleware building blocks for dependable modular avionics systems. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 140–153. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  21. Hermant, J.F., Le Lann, G.: Fast asynchronous uniform consensus in real-time distributed systems. IEEE Transactions on Computers 51, 931–944 (2002)

    Article  Google Scholar 

  22. Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43, 225–267 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  23. Maibaum, T.: Mathematical foundations of software engineering: A roadmap. In: ICSE 2000: Proceedings of the Conference on The Future of Software Engineering, pp. 161–172. ACM Press, New York (2000)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Biely, M., Le Lann, G., Schmid, U. (2005). Proof-Based System Engineering Using a Virtual System Model. In: Malek, M., Nett, E., Suri, N. (eds) Service Availability. ISAS 2005. Lecture Notes in Computer Science, vol 3694. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11560333_14

Download citation

  • DOI: https://doi.org/10.1007/11560333_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29103-9

  • Online ISBN: 978-3-540-32018-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics