Unified Train Driving Policy
This chapter presents a domain‐specific formal modeling language uniformly addressing fixed and moving block principles in both discrete and continuous contexts. An objective of this work is to help signaling engineers to reason about safety and performance within the scope of a single railway model...
Uložené v:
| Vydané v: | Formal Methods Applied to Complex Systems: Implementation of the B Method s. 447 - 474 |
|---|---|
| Hlavní autori: | , , |
| Médium: | Kapitola |
| Jazyk: | English |
| Vydavateľské údaje: |
Hoboken, NJ, USA
John Wiley & Sons, Inc
26.06.2014
|
| Predmet: | |
| ISBN: | 1848217099, 9781848217096 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Shrnutí: | This chapter presents a domain‐specific formal modeling language uniformly addressing fixed and moving block principles in both discrete and continuous contexts. An objective of this work is to help signaling engineers to reason about safety and performance within the scope of a single railway model and thus help them to design safe railway networks that achieve higher capacity. The chapter proposes a modeling notation called Unified Train Driving Policy (UTDP). It introduces the UTDP modeling notation based on the constraint concept and shows how to use it to indirectly define horizon, evolution and mutation of actors, in particular actors modeling train progress through a railway network. The chapter demonstrates invariants and hazards, we must also prove that a given UTDP specification satisfies the well‐formedness condition and behavioral constraints are satisfiable. |
|---|---|
| ISBN: | 1848217099 9781848217096 |
| DOI: | 10.1002/9781119002727.ch15 |