Projektowanie komputerowych systemów kierowania ruchem kolejowym

W pracach związanych z komputerowymi systemami kierowania i sterowania ruchem kolejowym znacznie więcej miejsca poświęca się sterowaniu niż kierowaniu. Efektem jest brak specjalizowanych metod projektowania komputerowych systemów kierowania ruchem kolejowym. Autor na bazie swoich doświadczeń formułuje założenia dla takiej metody, a następnie przedstawia autorską metodę projektowania komputerowych systemów kierowania ruchem kolejowym nazywaną metodą PKRK. Metoda składa się z trzech etapów: analizy, modelowania i weryfikacji modelu. Formalizmem wykorzystywanym przez Autora do modelowania jest podejście obiektowe natomiast językiem opisu jest Zunifikowany Język Modelowania UML.

---

While the works on computer operation management systems and computer control systems much more attention is bestowed on the controlling than on the management. As the result of such approach there is lack of any designing methods of systems of railway traffic operation management. The author, basing on his own experiences, presents the author’s designing method of systems of railway traffic operation management called the PKRK method. The method consists of three stages: analysis, modelling, verification of model. The formalism used by the author while modelling is an object oriented methodology whereas the language is the Unified Modelling Language UML.