×

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.)
PDFBibTeX XMLCite
Full Text: DOI