Formal Methods for Distributed Computing in Future Railway Systems

被引：0
|
作者：
Fantechi, Alessandro [1 ,2 ]
Gnesi, Stefania [2 ]
Haxthausen, Anne [3 ]
机构：
[1] Univ Firenze, DINFO, Via S Marta 3, Florence, Italy
[2] CNR, Ist Sci & Tecnol Informaz A Faedo, Via Moruzzi 1, Pisa, Italy
[3] Tech Univ Denmark, DTU Compute, Lyngby, Denmark
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024 | 2025年 / 15223卷
关键词：
D O I：
10.1007/978-3-031-75390-9_7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：109 / 111
页数：3
相关论文
共 50 条
  • [31] Formal development and verification of a distributed railway control system
    Haxthausen, AE
    Peleska, J
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1546 - 1563
  • [32] Formal Distributed Protocol Development for Reservation of Railway Sections
    Stankaitis, Paulius
    Iliasov, Alexei
    Kobayashi, Tsutomu
    Ait-Ameur, Yamine
    Ishikawa, Fuyuki
    Romanovsky, Alexander
    RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 203 - 219
  • [33] General reduction methods for the reliability analysis of distributed computing systems
    Lin, Min-Sheng
    Chen, Deng-Jyi
    1600, (36):
  • [34] Formal development and verification of a distributed railway control system
    Haxthausen, AE
    Peleska, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (08) : 687 - 701
  • [35] Formal Methods and Tools Applied in the Railway Domain
    ter Beek, Maurice H.
    RIGOROUS STATE-BASED METHODS, ABZ 2024, 2024, 14759 : 3 - 21
  • [36] Using Formal Methods for Verification and Validation in Railway
    Reichl, Klaus
    Fischer, Tomas
    Tummeltshammer, Peter
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 3 - 13
  • [37] TOWARDS FORMAL SPECIFICATION OF A DISTRIBUTED COMPUTING SYSTEM
    AGRAWAL, VK
    PATNAIK, LM
    GOEL, PS
    INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1985, 14 (05): : 277 - 306
  • [38] Formal models and methods on volunteer computing
    College of Computer and Information Engineering, Hohai University, Nanjing 210098, China
    Ruan Jian Xue Bao, 2008, 5 (1125-1133): : 1125 - 1133
  • [39] Blockchains and the Future of Distributed Computing
    Herlihy, Maurice
    PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 155 - 155
  • [40] Advancing Quantum Computing with Formal Methods
    Quist, Arend-Jan
    Mei, Jingyi
    Coopmans, Tim
    Laarman, Alfons
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 420 - 446
12345