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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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
Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishing, Dordrecht (2000)
Kuhn, D.: Sources of the failure in the public switched telephone network. IEEE Computer 30, 31–36 (1997)
Inquiry Board Report: ARIANE 5—Flight 501 Failure (1996), Available online, http://ravel.esrin.esa.it/docs/esa-x-1819eng.pdf
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)
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
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6, 1–30 (1997)
Jackson, M.: Software requirements & specifications: A lexicon of practice, principles and prejudices. ACM Press/Addison-Wesley Publishing Co. (1995)
Zave, P.: Classification of research efforts in requirements engineering. ACM Comput. Surv. 29, 315–321 (1997)
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)
Jackson, M.: The meaning of requirements. Ann. Software Eng. 3, 5–21 (1997)
Swartout, W., Balzer, R.: On the inevitable intertwining of specification and implementation. Commun. ACM 25, 438–440 (1982)
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)
Stevens, R., Brook, P., Jackson, K., Arnold, S.: Systems Engineering: Coping with complexity. Prentice Hall, Englewood Cliffs (1998)
Meyer, B.: Applying design by contract. IEEE Computer 25, 40–51 (1992)
Abrial, J.: The B Book. Cambridge University Press, Cambridge (1996)
Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)
Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading (1987)
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)
Hermant, J.F., Le Lann, G.: Fast asynchronous uniform consensus in real-time distributed systems. IEEE Transactions on Computers 51, 931–944 (2002)
Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43, 225–267 (1996)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)