Pěnička, Martin Formal approach to railway applications. (English) Zbl 1151.68488 Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 504-520 (2007). Summary: This paper names railway applications, where the basis of stable, underlying railway formal domain models can be successfully used. It is done with big care of a uniform treatment of two diverse issues of railway system: Allocation & Scheduling and Monitoring & Control applications. This uniform treatment allows us later on better, easier and deeper integrations of these applications.For the entire collection see [Zbl 1130.68009]. MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 90B06 Transportation, logistics and supply chain management 90B20 Traffic problems in operations research 90B35 Deterministic scheduling theory in operations research 93C83 Control/observation systems involving computers (process control, etc.) Keywords:railways; planning; timetabling; rostering; control; interlocking; signalling; technique integration PDFBibTeX XMLCite \textit{M. Pěnička}, Lect. Notes Comput. Sci. 4700, 504--520 (2007; Zbl 1151.68488) Full Text: DOI