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 条
  • [21] Palmprint Based Verification System Using SURF Features
    Srinivas, Badrinath G.
    Gupta, Phalguni
    CONTEMPORARY COMPUTING, PROCEEDINGS, 2009, 40 : 250 - 262
  • [22] A Blockchain Based Credential Verification System using IPFS
    Ambast, Swatesh Kumar
    Sumesh, T. A.
    2022 IEEE 19TH INDIA COUNCIL INTERNATIONAL CONFERENCE, INDICON, 2022,
  • [23] Software Defined Radio-Based Wireless Sensing System
    Xu, Yihan
    Amineh, Reza K.
    Dong, Ziqian
    Li, Fang
    Kirton, Kayla
    Kohler, Michael
    SENSORS, 2022, 22 (17)
  • [24] Distance Based Verification Techniques for Online Signature Verification System
    Arora, Mohit
    Singh, Harjeevan
    Kaur, Arshdeep
    2015 2ND INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN ENGINEERING & COMPUTATIONAL SCIENCES (RAECS), 2015,
  • [25] ChainVeri: Blockchain-based Firmware Verification System for IoT environment
    Lim, Jea-Min
    Kim, Youngpil
    Yoo, Chuck
    IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 1050 - 1056
  • [26] Automaton: an autonomous coverage-based multiprocessor system verification environment
    Malik, N
    Roberts, S
    Pita, A
    Dobson, R
    8TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 1997, : 168 - 172
  • [27] System for DASH support verification in HbbTV environment
    Nikic, Nemanja
    Herceg, Marijan
    Pekovic, Vukota
    Soskic, Nenad
    2017 IEEE 7TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - BERLIN (ICCE-BERLIN), 2017, : 212 - 215
  • [28] An Integrated Development Environment for the Prototype Verification System
    Masci, Paolo
    Munoz, Cesar A.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (310): : 35 - 49
  • [29] Efficient Localization using Radio-Based Sensors and Odometry
    Kharboutli, Ahmad Amin
    Hiller, Markus
    Nowak, Thorsten
    Hartmann, Markus
    Particke, Florian
    Thielecke, Joern
    2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), 2019, : 240 - 245
  • [30] Radio-based Object Detection using Deep Learning
    Singh, Aditya
    Kumar, Pratyush
    Priyadarshi, Vedansh
    More, Yash
    Das, Aishwarya Praveen
    Kwibuka, Bertrand
    Gupta, Debayan
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN SIGNAL PROCESSING AND ARTIFICIAL INTELLIGENCE, ASPAI' 2020, 2020, : 230 - 233
12345