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 条
  • [21] Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - Application to a Railway System -
    Idani, Akram
    Ledru, Yves
    Wakrime, Abderrahim Ait
    Ben Ayed, Rahma
    Collart-Dutilleul, Simon
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2019, 2019, 11687 : 93 - 109
  • [22] Tracheostomy transfers: A case study in the application of formal methods to intra-hospital patient transfers
    Manataki, Areti
    Fleuriot, Jacques
    Papapanagiotou, Petros
    2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), 2014, : 257 - 262
  • [23] RAILWAY INTERLOCKING PROCESS - BUILDING A BASE FOR FORMAL METHODS
    Mocki, Jacek
    Vlacic, Ljubo
    2013 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2013, : 147 - 154
  • [24] Formal Methods for Distributed Computing in Future Railway Systems
    Fantechi, Alessandro
    Gnesi, Stefania
    Haxthausen, Anne
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024, 2025, 15223 : 109 - 111
  • [25] Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems
    Fantechi, Alessandro
    CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 231 - 245
  • [26] Application of assurance technology to railway signalling for smooth migration
    Kawano, Takashi (takashi-kawano@jreast.co.jp), 2017, Institute of Electrical Engineers of Japan (137)
  • [27] THE APPLICATION OF ELECTRICITY TO SIGNALLING FOR RAILWAY TRANSPORT - A REVIEW OF PROGRESS
    WOOD, W
    PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1949, 96 (97): : 34 - 36
  • [28] Pragmatic formal design: A case study in integrating formal methods into the HCI development cycle
    Sage, M
    Johnson, C
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 134 - 154
  • [29] OnTrack: Reflecting on domain specific formal methods for railway designs
    James, Phillip
    Moller, Faron
    Pantekis, Filippos
    SCIENCE OF COMPUTER PROGRAMMING, 2024, 233
  • [30] A story about formal methods adoption by a railway signaling manufacturer
    Bacherini, Stefano
    Fantechi, Alessandro
    Tempestini, Matteo
    Zingoni, Niccolo
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 179 - 189
12345