Abstract
Bodies of Knowledge (BoK) are available only in mature technical fields, in which professional practices and technical rules have been well established (i.e.: ‘settled’), and are compiled for any prospective or current practitioner to refer to. By their factual establishment they also become professionally normative to a considerable extent. As a precursor to establishing a BoK it is important to determine whether or not a target domain already contains sufficient ‘settled’ knowledge, and, if yes, how such knowledge can be identified for its reproduction. In the undisputed safety-critical railway domain, formal methods have been applied for several decades in the solution of various modelling and verification problems. The application of many of those formal methods in the railway domain has also reached sufficient levels of maturity or ‘stability’ — yet no BoK for this domain has ever been compiled so far. Thus the time is ripe now to start such a project. In this paper, with regard to the necessary identification of settled knowledge, we apply the lattice-theoretical methods of Formal Concept Analysis (FCA) in order to structure and organise large amounts of relevant bibliometric data from the railway domain’s corpus of literature. In other words, we construct a formal concept lattice, the semantics of which is suitable for revealing the ‘settled’ parts of this domain. As a result of our formalised domain analysis, we provide a clear and theoretically well-grounded indication of the ‘settled’ themes and topics which any future BoK on Formal Methods in the Railway Domain ought to contain.
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
Notes
- 1.
- 2.
\(\mapsto \) defines a relation pair, and \(:=\) precedes a definition statement.
References
Arageorgis, A., Baltas, A.: Demarcating technology from science: problems and problem solving in technology. Zeitschrift für allgemeine Wissenschaftstheorie 20(2), 212–229 (1989)
Bjørner, D.: Formal software techniques in railway systems. In: Proceedings 9th IFAC Symposium on Control in Transportation Systems, pp. 1–12. VDI/VDE (2000)
Bjørner, D.: TRain: the railway domain. http://euler.fd.cvut.cz/railwaydomain/
Bunge, M.: Philosophy of Science: From Explanation to Justification, vol. 2, Revised edn. Transaction Publ., Piscataway (1998)
Buzmakov, A., Kuznetsov, S., Napoli, A.: Is concept stability a measure for pattern selection? Procedia Comput. Sci. 31, 918–927 (2014)
Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167–183. Springer, Heidelberg (2014)
Ganter, B., Wille, R.: Formale Begriffsanalyse: Mathematische Grundlagen. Springer, Berlin (1996)
Gruner, S., Haxthausen, A., Maibaum, T., Roggenbach, M.: FM-RAIL-BOK organizers’ message. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368. Springer, Heidelberg (2014)
Gruner, S., Haxthausen, A., Maibaum, T., Roggenbach, M.: Homepage of the workshop on a formal methods body of knowledge for railway control and safety systems (2013). https://ssfmgroup.wordpress.com/rel/
Jackson, M.: Formal methods and traditional engineering. J. Syst. Softw. 40, 191–194 (1998)
Kumar, A.: A preparatory study towards a body of knowledge in the field of formal methods for the railway domain. Master-of-Applied Science Dissertation, McMaster University, Canada (2015). http://hdl.handle.net/11375/18416
Kuznetsov, S.: On stability of a formal concept. Ann. Math. Artif. Intell. 49(1–4), 101–115 (2007)
Kuznetsov, S., Ignatov, D.: Concept stability for constructing taxonomies of web-site users. Computing Research Repository (CoRR) abs/0905.1424 (2009)
Maibaum, T.: What is a BoK? large: extended abstract. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 184–188. Springer, Heidelberg (2014)
Poser, H.: On structural differences between science and engineering. Digital Library and Archives of the Virginia Tech University Libraries (1998)
Priss, U.: Formal concept analysis homepage. http://www.fcahome.org.uk/
Roth, C., Obiedkov, S., Kourie, D.G.: Towards concise representation for taxonomies of epistemic communities. In: Yahia, S.B., Nguifo, E.M., Belohlavek, R. (eds.) CLA 2006. LNCS (LNAI), vol. 4923, pp. 240–255. Springer, Heidelberg (2008)
Shaw, M.: The Coming-of-age of software architecture research. In: Proceedings 23rd ICSE, pp. 656–663. IEEE Computer Society (2001)
Vincenti, W.: What Engineers Know and How They Know It: Analytical Studies From Aeronautical History. John Hopkins University Press, Baltimore (1990)
Yevtushenko, S., ConExp,: Concept Explorer. http://conexp.sourceforge.net/
Acknowledgments
Many thanks to a number of experts, who have been helpful and supportive during the course of our project, especially: Sergei Obiedkov, Markus Roggenbach, Anne Haxthausen, Hannes Gräbe, Jackie van der Westhuizen, René Hosse, Jan Welte, Francesco Flammini, Hans True, Jérôme Lalouette, and Stefan Östlund. Many thanks also to the anonymous reviewers of FTSCS’15 for their constructive remarks. Last but not least many thanks to the workshop participants, particularly José Meseguer, for some interesting questions and comments during our meeting in Paris.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Gruner, S., Kumar, A., Maibaum, T. (2016). Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. In: Artho, C., Ölveczky, P. (eds) Formal Techniques for Safety-Critical Systems. FTSCS 2015. Communications in Computer and Information Science, vol 596. Springer, Cham. https://doi.org/10.1007/978-3-319-29510-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-29510-7_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29509-1
Online ISBN: 978-3-319-29510-7
eBook Packages: Computer ScienceComputer Science (R0)