Abstract
Teachers of formal methods courses often experience disinterest or even disgust towards the topic from software engineering students. As one of the significant reasons of this situation we see the fact that students are not in touch with domains where their use is desired and worth the effort. In this paper we deal with a toolset we developed to improve the situation. The toolset brings to students, in a virtual form, one of the most successful domains of formal methods application - railway systems. It consists of a modified version of a railway centralized traffic control simulator called Train Director and a tool that allows signals and switches in a railway scenario, simulated by Train Director, to be controlled by a separate formally developed control program. We briefly describe the toolset and its typical use within a formal methods course and discuss its usability with respect to various formal methods.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S.: Rigorous Software Development. An Introduction to Program Verification. Springer, London (2011)
Cerone, A., Roggenbach, M., Schlingloff, H., Schneider, G., Shaikh, S.: Teaching Formal Methods for Software Engineering Ten Principles. In: Fun With Formal Methods, Workshop Affiliated with the 25th Int. Conf. CAV 2013 (2013)
Cristi, M.: Teaching formal methods in a third world country: what, why and how. In: Proceedings of the 2006 Conference on Teaching Formal Methods: Practice and Experience (2006)
Reed, J.N., Sinclair, J.E.: Motivating study of Formal Methods in the classroom. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol. 3294, pp. 32–46. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Korečko, Š., Sorád, J., Dudláková, Z., Sobota, B. (2014). A Toolset for Support of Teaching Formal Software Development. In: Giannakopoulou, D., Salaün, G. (eds) Software Engineering and Formal Methods. SEFM 2014. Lecture Notes in Computer Science, vol 8702. Springer, Cham. https://doi.org/10.1007/978-3-319-10431-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-10431-7_21
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10430-0
Online ISBN: 978-3-319-10431-7
eBook Packages: Computer ScienceComputer Science (R0)