Abstract
We outline the formal modelling of a software system to support the scheduling and rescheduling of trains. The current (prototype) system supports only centralized rescheduling, but in practice rescheduling is done on an area basis, and a distributed system is required. Developing a distributed system involves the notions of delegability of functions to adjust schedules and distributability of functions to analyse them for conformance to regulations. We formalize these notions in terms of a more abstract, generic specification and then instantiate this to generate a specification of the distributed system.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Peter Michael Bruun et al: RAISE tools user guide. Technical report LACOS/-CRI/DOC/4, CRI A/S (1995)
Dong Yulin and Dines Bjørner: PRaCoSy: Document deliverables. Technical report dyl/deliv/1, UNU/IIST (1994)
Chris George: Distributed train rescheduling. Technical report 42, UNU/IIST (1995)
Chris George and Søren Prehn: The RAISE Justification Handbook. Technical report LACOS/CRI/DOC/7, CRI A/S (1995)
Hong Mei: Distributed concurrent architecture for rescheduling. Technical report hm/arch/1, UNU/IIST (1995)
Liu Xin: A simple running map display tool. Technical report 1x/tool/01, UNU/IIST (1994)
Søren Prehn: A formal model of the railway application domain system. Technical report sp/5, UNU/IIST (1994)
Søren Prehn: A railway running map design. Technical report sp/12, UNU/IIST (1994)
The RAISE Language Group: The RAISE Specification Language. Prentice Hall BCS Practitioners Series (1992)
The RAISE Method Group: The RAISE Development Method. Prentice Hall BCS Practitioners Series (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
George, C. (1996). A theory of distributing train rescheduling. In: Gaudel, MC., Woodcock, J. (eds) FME'96: Industrial Benefit and Advances in Formal Methods. FME 1996. Lecture Notes in Computer Science, vol 1051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60973-3_104
Download citation
DOI: https://doi.org/10.1007/3-540-60973-3_104
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60973-5
Online ISBN: 978-3-540-49749-3
eBook Packages: Springer Book Archive