A Framework for Formal Verification and Validation of Railway Systems

被引：0
|
作者：
Benabbi, Yannis [1 ,2 ]
机构：
[1] IRIT INPT ENSEEIHT, 2 Rue Charles Camichel, F-31000 Toulouse, France
[2] RATP, 54 Rue Roger Salengro, F-94724 Fontenay Sous Bois, France
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2023 | 2023年 / 14010卷
关键词：
D O I：
10.1007/978-3-031-33163-3_28
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：371 / 374
页数：4
相关论文
共 50 条
  • [21] A formal framework for context-aware systems specification and verification
    Djoudi, Brahim
    Bouanaka, Chafia
    Zeghib, Nadia
    JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 122 : 445 - 462
  • [22] A Formal Security Framework for Mobile Agent Systems: Specification and Verification
    Loulou, Monia
    Kacem, Ahmed Hadj
    Mosbah, Mohamed
    Jmaiel, Mohamed
    CRISIS: 2008 THIRD INTERNATIONAL CONFERENCE ON RISKS AND SECURITY OF INTERNET AND SYSTEMS, PROCEEDINGS, 2008, : 69 - 76
  • [23] An Iterative Formal Model-Driven Approach to Railway Systems Validation
    Yar, Asfand
    Idani, Akram
    Ledru, Yves
    Collart-Dutilleul, Simon
    Mammar, Amel
    Vega, German
    ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2024, 2025, 14784 : 272 - 289
  • [24] A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems Represented Through Black Box Structures
    Sastry, J. K. R.
    Prakash, Chandra, V
    2010 IEEE 2ND INTERNATIONAL ADVANCE COMPUTING CONFERENCE, 2010, : 430 - 435
  • [25] A metaprogramming framework for formal verification
    Ebner G.
    Ullrich S.
    Roesch J.
    Avigad J.
    De Moura L.
    1600, Association for Computing Machinery (01):
  • [26] Supporting Railway Innovations with Formal Modelling and Verification
    Luttik, Bas
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), 2022, 13487 : 8 - 11
  • [27] Multidimensional Framework for Characterizing Verification and Validation of Automated Systems
    Agirre, Joseba A.
    Yazici, Ahmet
    Di Blasio, Katia
    Luis de la Vara, Jose
    Sangchoolie, Behrooz
    Yayan, Ugur
    Barbosa, Raul
    Etxeberria, Leire
    Nazaria, Massimo
    Karaca, Mustafa
    2022 18TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2022), 2022, : 41 - 48
  • [28] A framework for verification and validation of integrated and adaptive control systems
    James, J
    Barton, D
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 243 - 248
  • [29] Formal Verification and Validation of IoT-based Railway Gate Controlling System at Level Crossing
    1600, Institute of Electrical and Electronics Engineers Inc.
  • [30] A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems
    Bellini, Pierfrancesco
    Nesi, Paolo
    Zaza, Imad
    ERCIM NEWS, 2015, (103): : 36 - 37
12345