Formal approach to railway applications

被引：0
作者：
Penicka, Martin [1 ]
机构：
[1] Czech Tech Univ, Dept Appl Math, U611,Florenci 25, CZ-11000 Prague, Czech Republic
来源：
FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS | 2007年 / 4700卷
关键词：
railways; planning; timetabling; rostering; control; interlocking; signalling; technique integration;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：504 / +
页数：10
相关论文
共 131 条
  • [1] ALLE P, 1981, LOGIST TRANSPORT REV, V17, P429
  • [2] AMENDOLA AM, 1997, P FTCS 27 JUN, P380, DOI DOI 10.1109/FTCS.1997.614112
  • [3] ANOT AJ, 2000, TRANSPORT ENG SERIES, V28, P39
  • [4] Anselmi A., 1995, SAFECOMP 95. 14th International Conference on Computer Safety, Reliability and Security, P474
  • [5] APREA G, 1996, SAFECOMP 96, P250
  • [6] Bailey C, 1995, EUROPEAN RAILWAY SIG
  • [7] SIMULATING AND ANALYZING RAILWAY INTERLOCKINGS IN EXSPECT
    BASTEN, T
    BOL, R
    VOORHOEVE, M
    [J]. IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1995, 3 (03): : 50 - 62
  • [8] BASTEN T, 1994, 9437 EINDH U DEP COM
  • [9] BECHINA A, 1996, 4 INT C PRACT APPL P, P19
  • [10] BERG A, 1999, FME RAIL WORKSH STOC
12345678910