Application of formal methods to railway signalling. A case study

被引：0
|
作者：
Cullyer, John [1 ]
Wong, Wai [1 ]
机构：
[1] Univ of Warwick, United Kingdom
来源：
Computing and Control Engineering Journal | 1993年 / 4卷 / 01期
关键词：
13;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：15 / 22
相关论文
共 50 条
  • [1] FAIL-SAFE FDM CONTROL SYSTEM FOR RAILWAY SIGNALLING.
    Rose, John
    Railway Engineer International, 1980, 5 (01): : 41 - 42
  • [2] Formal analysis of railway signalling data
    Iliasov, Alexei
    Romanovsky, Alexander
    2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 70 - 77
  • [3] Models for formal methods and tools: the case of railway systems
    ter Beek, M. H.
    SOFTWARE AND SYSTEMS MODELING, 2025,
  • [4] FORMAL METHODS FOR RAILWAY SIGNALING
    CULLYER, WJ
    WISE, JW
    COMPUTERS AND SAFETY: A FIRST INTERNATIONAL CONFERENCE ON THE USE OF PROGRAMMABLE ELECTRONIC SYSTEMS IN SAFETY RELATED APPLICATIONS, 1989, 314 : 86 - 91
  • [5] Formal Methods for the Railway Sector
    ter Beek, Maurice
    Fantechi, Alessandro
    Ferrari, Alessio
    Gnesi, Stefania
    Scopigno, Riccardo
    ERCIM NEWS, 2018, (112): : 44 - 45
  • [6] Experimenting with Diversity in the Formal Development of Railway Signalling Systems
    Fantechi, Alessandro
    Gnesi, Stefania
    Lombardi, Giovanni
    ERCIM NEWS, 2008, (75): : 51 - 52
  • [7] A Formal Model of the Exploitation Process for Railway Signalling Devices
    Kornaszewski, Mieczyslaw
    Ciszewski, Tomasz
    Nowakowski, Waldemar
    Pniewski, Roman
    APPLIED SCIENCES-BASEL, 2024, 14 (23):
  • [8] Study on quantitative evaluation methods for safety of railway signalling systems
    Watanabe, Ikuo
    Hirao, Yuji
    Iwata, Koji
    Quarterly Report of RTRI (Railway Technical Research Institute) (Japan), 2002, 43 (04): : 163 - 168
  • [9] Formal methods for railway control systems
    Alessandro Fantechi
    Francesco Flammini
    Stefania Gnesi
    International Journal on Software Tools for Technology Transfer, 2014, 16 : 643 - 646
  • [10] Teaching Formal Methods in Application Domains A Case Study in Computer and Network Security
    Brucker, Achim D.
    Marmsoler, Diego
    FORMAL METHODS TEACHING, FMTEA 2024, 2024, 14939 : 124 - 140
12345