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期
关键词：
Regulatory compliance - Railroad transportation - Safety engineering - Software design - Railroads - Compliance control;
D O I：
10.1186/s13173-021-00106-w
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] AN EVOLUTIONARY APPROACH TO THE DEVELOPMENT OF COMPLEX PROTOCOL STANDARDS
    ANDRAE, C
    GOTZHEIN, R
    SEDILLOT, S
    [J]. PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 207 - 222
  • [22] Validation graphic protocol for assessing safe nursing care in hemodialysis
    Paiva, Renilly de Melo
    Chiavone, Flavia Barreto Tavares
    Bezerril, Manaces dos Santos
    Dantas, Marianny Nayara Paiva
    Azevedo, Isabelle Campos de
    Oliveira, Adriana Catarina de Souza
    Ferreira, Marcos Antonio
    Santos, Viviane Euzebia Pereira
    [J]. ACTA PAULISTA DE ENFERMAGEM, 2024, 37
  • [23] Augmented Reality Applications for Substation Management by Utilizing Standards-Compliant SCADA Communication
    Antonijevic, Miro
    Sucic, Stjepan
    Keserica, Hrvoje
    [J]. ENERGIES, 2018, 11 (03):
  • [24] Formal Distributed Protocol Development for Reservation of Railway Sections
    Stankaitis, Paulius
    Iliasov, Alexei
    Kobayashi, Tsutomu
    Ait-Ameur, Yamine
    Ishikawa, Fuyuki
    Romanovsky, Alexander
    [J]. RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 203 - 219
  • [25] Modified VHF Band Wireless Communication Protocol Model For Railway Systems
    Velioglu, Hakan
    Paker, Selcuk
    Yagci, Hasan Bulent
    [J]. 2016 24TH SIGNAL PROCESSING AND COMMUNICATION APPLICATION CONFERENCE (SIU), 2016, : 769 - 772
  • [26] Safety characteristics analysis of Korean standard communication protocol for railway signalling
    Hwang, J. -G.
    Jo, H. -J.
    [J]. URBAN TRANSPORT XIII: URBAN TRANSPORT AND THE ENVIRONMENT IN THE 21ST CENTURY, 2007, 96 : 603 - 613
  • [27] Verification and conformance test generation of communication protocol for railway signaling systems
    Lee, Jae-Dong
    Jung, Jae-Il
    Lee, Jae-Ho
    Hwang, Jong-Gyu
    Hwang, Jin-Ho
    Kim, Sung-Un
    [J]. COMPUTER STANDARDS & INTERFACES, 2007, 29 (02) : 143 - 151
  • [28] The Development And Validation Of The Test Of Astronomy STandards (TOAST)
    Slater, Stephanie J.
    [J]. JOURNAL OF ASTRONOMY AND EARTH SCIENCES EDUCATION, 2014, 1 (01): : 1 - 22
  • [29] THE DEVELOPMENT, VALIDATION, AND APPLICABILITY OF THE PERSONNEL EVALUATION STANDARDS
    LINN, RL
    BUCHMANN, M
    GOULD, B
    KELLAGHAN, T
    LAWRENCE, D
    ROBINSON, PC
    ZIRKEL, P
    [J]. JOURNAL OF PERSONNEL EVALUATION IN EDUCATION, 1989, 2 (03): : 199 - 214
  • [30] Development/Validation of Aerobic Fitness Standards in FITNESSGRAM®
    Welk, Gregory
    [J]. RESEARCH QUARTERLY FOR EXERCISE AND SPORT, 2011, 82 (01) : A1 - A2
12345