Development and validation of a safe communication protocol compliant to railway standards

被引：1
|
作者：
Bertieri, Duccio [1 ]
Ceccarelli, Andrea [1 ]
Zoppi, Tommaso [1 ]
Mungiello, Innocenzo [2 ]
Barbareschi, Mario [2 ]
Bondavalli, Andrea [1 ]
机构：
[1] Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, Florence,50134, Italy
[2] Research and Development, Rete Ferroviaria Italiana, Via Curzio Malaparte 8, Florence,50145, Italy
来源：
Journal of the Brazilian Computer Society | 2021年 / 27卷 / 01期
关键词：
Software testing;
D O I：
10.1186/s13173-021-00106-w
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Open communication standards for safe and secure railway control
    Renz, HW
    [J]. ALCATEL TELECOMMUNICATIONS REVIEW, 2004, (02): : 208 - 214
  • [2] Practical Experience Report Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain
    Bertieri, Duccio
    Zoppi, Tommaso
    Mungiello, Innocenzo
    Ceccarelli, Andrea
    Barbareschi, Mario
    Bondavalli, Andrea
    [J]. 2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 2019, : 79 - 84
  • [3] Development of verification and conformance testing tools for a railway signaling communication protocol
    Lee, Jae-Ho
    Hwang, Jong-Gyu
    Shin, Ducko
    Lee, Kang-Mi
    Kim, Sung-Un
    [J]. COMPUTER STANDARDS & INTERFACES, 2009, 31 (02) : 362 - 371
  • [4] Hardware virtual components compliant with communication system standards
    Abdelli, N
    Bomel, P
    Casseau, E
    Fouilliart, AM
    Jego, C
    Kajfasz, P
    Le Gal, B
    Le Heno, N
    [J]. DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings, 2005, : 88 - 95
  • [5] Model checker for railway signalling communication protocol
    Hwang, J. -G.
    Jo, H. -J.
    Lee, J. H.
    [J]. COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 675 - +
  • [6] Safe Railway Crossing System based on Zigbee Communication
    Iqbal, Razi
    Saeed, Dawer
    [J]. 2017 COMPUTING CONFERENCE, 2017, : 1243 - 1246
  • [7] DESIGN OF AN ASIP LDPC DECODER COMPLIANT WITH DIGITAL COMMUNICATION STANDARDS
    Le Gal, Bertrand
    Jego, Christophe
    [J]. 2012 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), 2012, : 19 - 24
  • [8] COMMUNICATION PROTOCOL STANDARDS FOR SPACE DATA SYSTEMS
    HOOKE, A
    DESJARDINS, R
    [J]. PROCEEDINGS OF THE IEEE, 1990, 78 (07) : 1295 - 1303
  • [9] Trends and Suggestions to the Development of International Railway Standards
    Jing, Guoqing
    Zhang, Hongping
    Wang, Haoyu
    Wang, Chuang
    [J]. Journal of Railway Engineering Society, 2023, 39 (11) : 100 - 105
  • [10] COMMUNICATION PROTOCOL VALIDATION BY PETRI NETS
    BANDMAN, OL
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 82 - 91
12345