Abstract
Traditional, informal techniques in software engineering reach their limits when complex systems are to be developed efficiently. The Institute for Formal Methods in Computer Science of the Universität Stuttgart states: Tools like IDEs, automatic code generation from graphical descriptions, visualization techniques like UML diagrams, and others are certainly necessary. However, they often lack the ability to support detailed and provably sound reasoning about complex systems. Formal methods in software engineering provide approaches to close that gap.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Brookes, T. M.; Fitzgerald, J. S.; Larsen, P. G.: Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. In: 3rd International Symposium of Formal Methods Europe, Industrial Benefit and Advances in Formal Methods (1996), Springer Verlag, Lecture Notes in Computer Science, vol. 1051, pp. 214–227
Sobel, A. E. K.; Clarkson, M. R.: Formal Methods Application: An Empirical Tale of Software Development: IEEE Transactions on Software Engineering (2002), vol. 28, nr. 3, pp. 308–320
Spivey, J. M.: An introduction to Z and formal specifications: IEE /BCS Software Engineering Journal (1989), vol. 4, nr. 1, pp. 40–50
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996
Jackson, D.: Software Abstractions: Resources and Additional Materials. MIT Press, 2006
Reisig, W: Petrinetze — Eine Einführung. Springer Verlag, 1990
Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall International, 1985
[8]-Milner, R: A Calculus of Communicating Systems. Springer Verlag, 1980
Clarke, E. M.; Grumberg, O.; Peled, D. A.: Model Checking. MIT Press, 1999
Lindahl, M.; Pettersson, P.; Yi, W.: Formal Design and Analysis of a Gear Controller. In: International Journal on Software Tools for Technology Transfer (2001), vol. 3, nr. 3, pp. 353–368
Hansson, H.; Åkerholm, M.; Crnkovic, I.; Törngren, M.: SaveCCM — A Component Model for Safety- Critical Real-Time Systems. In: Euromicro Conference, Special Session Component Models for Dependable Systems, Rennes, Frankreich (2004), IEEE
Tindell, K.; Burns, A.: Guaranteed Message Latencies for Distributed Safety-Critical Hard Real-Time Control Networks. University of York, YCS 229, 1994
Van Osch, M.; Smolka, S. A.:Finite-State Analysis of the CAN Bus Protocol. In: The 6th IEEE International Symposium on High-Assurance Systems Engineering (2001), IEEE, pp. 42–54
Krákora, J.; Hanzálek, Z.: Timed Automata Approach to Real Time Distributed System Verification. In: 5th IEEE International Workshop on Factory Communication Systems (2004), IEEE
Montag, P.; Nowotka, D.; Levi, P.: Verification in the Design Process of Large Real-Time Systems: A Case Study. In: Automotive — Safety & Security 2006 — Sicherheit und Zuverlässigkeit für automobile Informationstechnik, Stuttgart (2006), Shaker Verlag
UPP AAL: http://www.uppaal.com
Alur, R.; Dill, D.: A Theory of Timed Automata: Theoretical Computer Science (1994), vol. 126, nr. 2, pp. 183–235
Alur, R.; Courcoubetis, C.; Dill, D.: Model-Checking in Dense Real-Time: Information and Computation (1993), vol. 104, nr. 1, pp. 2–34
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nowotka, D. Formal add to traditional methods in software engineering. ATZ Elektron Worldw 3, 14–17 (2008). https://doi.org/10.1007/BF03242180
Issue Date:
DOI: https://doi.org/10.1007/BF03242180