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 条
  • [31] Model-Based Development and Formal Methods in the Railway Industry
    Ferrari, Alessio
    Fantechi, Alessandro
    Gnesi, Stefania
    Magnani, Gianluca
    IEEE SOFTWARE, 2013, 30 (03) : 28 - 34
  • [32] On the Industrial Uptake of Formal Methods in the Railway Domain A Survey with Stakeholders
    Basile, Davide
    ter Beek, Maurice H.
    Fantechi, Alessandro
    Gnesi, Stefania
    Mazzanti, Franco
    Piattino, Andrea
    Trentini, Daniele
    Ferrari, Alessio
    INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 20 - 29
  • [33] THE CASE FOR FORMAL METHODS IN STANDARDS
    BLYTH, D
    BOLDYREFF, C
    RUGGLES, C
    TETTEHLARTEY, N
    IEEE SOFTWARE, 1990, 7 (05) : 65 - 67
  • [34] Evaluation methods for railway signalling systems from the viewpoint of availability
    Iwata, Koji
    Hiraguri, Shigeto
    Watanabe, Ikuo
    Quarterly Report of RTRI (Railway Technical Research Institute) (Japan), 2009, 50 (03): : 152 - 157
  • [35] Formal methods for verification and validation of partial specifications: A case study
    Easterbrook, S
    Callahan, J
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 40 (03) : 199 - 210
  • [36] Formal theory and case-study methods in EU studies
    Pahre, R
    EUROPEAN UNION POLITICS, 2005, 6 (01) : 113 - 145
  • [37] Use Case Analysis Based on Formal Methods: An Empirical Study
    Oliveira, Marcos, Jr.
    Ribeiro, Leila
    Cota, Erika
    Duarte, Lucio Mauro
    Nunes, Ingrid
    Reis, Filipe
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (WADT 2014), 2015, 9463 : 110 - 130
  • [38] Early validation of requirements - A case study using formal methods
    Miller, SP
    Heimdahl, MPE
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 521 - 526
  • [39] Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
    Basile, Davide
    Di Giandomenico, Felicita
    Gnesi, Stefania
    MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 679 - 686
  • [40] A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems
    Ait-Ameur, Yamine
    Bogomolov, Sergiy
    Dupont, Guillaume
    Iliasov, Alexei
    Romanovsky, Alexander
    Stankaitis, Paulius
    FORMAL ASPECTS OF COMPUTING, 2023, 35 (01)
12345