Verification of a radio-based signaling system using the STATEMATE verification environment

被引：31
|
作者：
Damm, W
Klose, J
机构：
[1] OFFIS, Oldenburg, Germany
[2] Univ Oldenburg, Dept Comp Sci CvO, D-2900 Oldenburg, Germany
来源：
FORMAL METHODS IN SYSTEM DESIGN | 2001年 / 19卷 / 02期
关键词：
STATEMATE; model-based design; radio-based signaling systems; formal verification; live sequence charts;
D O I：
10.1023/A:1011279932612
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
With the trend to partially move safety-related features from courtyards into on-board control software, new challenges arise in supporting such designs by formal verification capabilities, essentially entailing the need for a model-based design process. This paper reports on the usage of the STATEMATE Verification Environment to model and verify a radio-based signaling system, a trial case study offered by the German train system company DB. It shows, that industrially sized applications can be modeled and verified with a verification tool to be offered as a commercial product by I-Logix, Inc.
引用
收藏
页码：121 / 141
页数：21
相关论文
共 50 条
  • [31] Verification of Communication based SoC using Advanced Verification Methodology
    Renuka, G.
    Ushashree, V.
    Reddy, P. Chandrasekhar
    2016 INTERNATIONAL CONFERENCE ON COMMUNICATION AND SIGNAL PROCESSING (ICCSP), VOL. 1, 2016, : 10 - 13
  • [32] Multiple Reset Domains Verification Using Assertion Based Verification
    Ahmed, Islam
    Nouh, Khaled
    Abbas, Amr
    2017 IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2017, : 82 - 87
  • [33] Dynamic Partial Reconfiguration Verification Using Assertion Based Verification
    Ahmed, Islam
    Mostafa, Hassan
    Mohieldin, Ahmed Nader
    2018 13TH INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS 2018), 2018,
  • [34] Experimental Verification of Frequency-Correlation in Radio Propagation Characteristics for Radio Environment Recognition
    Onose, Keita
    Sato, Koya
    Inage, Kei
    Fujii, Takeo
    33RD INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN 2019), 2019, : 274 - 278
  • [35] Handwritten Signature Verification: Online Verification Using a Fuzzy Inference System
    Faruki, Md. Jahid
    Lun, Ng Zhi
    Ahmed, Syed Khaleel
    2015 IEEE INTERNATIONAL CONFERENCE ON SIGNAL AND IMAGE PROCESSING APPLICATIONS (ICSIPA), 2015, : 232 - 237
  • [36] A functional verification based fault injection environment
    Benso, A.
    Bosio, A.
    Di Carlo, S.
    Mariani, R.
    DFT 2007: 22ND IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT-TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2007, : 114 - 122
  • [37] Simulation environment based on the Universal Verification Methodology
    Fiergolski, A.
    JOURNAL OF INSTRUMENTATION, 2017, 12
  • [38] AN ENVIRONMENT FOR FORMAL VERIFICATION BASED ON SYMBOLIC COMPUTATIONS
    HOJATI, R
    BRAYTON, RK
    FORMAL METHODS IN SYSTEM DESIGN, 1995, 6 (02) : 191 - 216
  • [39] An automata based verification environment for mobile processes
    Ferrari, G
    Ferro, G
    Gnesi, S
    Montanari, U
    Pistore, M
    Ristori, G
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 275 - 289
  • [40] Verification and Analysis of Electromagnetic Environment Based on Simulink
    Shen, Fei
    Li, Lu
    Xu, Xiong
    Wu, Ruowu
    Liu, Chao
    Zhou, Hongping
    Guo, Zhongyi
    TENCON 2017 - 2017 IEEE REGION 10 CONFERENCE, 2017, : 1054 - 1057
12345