Safety analysis of train control system based on model-driven design methodology

被引:14
|
作者
Baouya, Abdelhakim [1 ]
Mohamed, Otmane Ait [2 ]
Bennouar, Djamal [3 ]
Ouchani, Samir [4 ]
机构
[1] Univ BLIDA 1, CS Dept, Blida, Algeria
[2] Concordia Univ, ECE Dept, Montreal, PQ, Canada
[3] Univ Bouira, CS Dept, LIMPAF Lab, Bouira, Algeria
[4] Ecole Ingn CESI, Aix En Provence, France
关键词
Train control system; Safety; AADL; Availability; Model checking; SOFTWARE ARCHITECTURES; CHECKING; AADL;
D O I
10.1016/j.compind.2018.10.007
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Embedded system design is a complex process that demands an extensive system level modeling. Its implementation encompasses software and hardware components and its interconnections. In such systems, it is widely recognized that safety should be considered at the design stage itself, particularly at the architectural level to minimize the design effort. This paper presents a novel methodology based on model-driven specification and probabilistic model checking to automatically analyze safety based availability before synthesizing the embedded software product. Initially, the specification relies on the Architecture Analysis and Design Language (AADL) standard. Applying this standard, software components, communication links, and hardware platform are modeled. From the software components, a formal specification suitable for analysis and verification is extracted. When the verification is done and constraints satisfied, the software code is generated. We demonstrate how model specification and verification techniques can be successfully applied to safety and availability analysis of the train control system. (C) 2018 Elsevier B.V. All rights reserved.
引用
收藏
页码:1 / 16
页数:16
相关论文
共 50 条
  • [1] QUANTITATIVE SAFETY ANALYSIS OF TRAIN CONTROL SYSTEM BASED ON STATISTICAL MODEL CHECKING
    Junting L.I.N.
    Xiaoqin M.I.N.
    Archives of Transport, 2022, 61 (01) : 7 - 19
  • [2] Model-Driven design of Industrial Control Systems
    Marcos, M.
    Estevez, E.
    2008 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2008, : 33 - 38
  • [3] Towards model-driven methodology: A novel testing approach for collaborative embedded system design
    Jiao, Yi
    Zhu, Kun
    Yu, Qiang
    Wu, Baifeng
    2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 112 - 116
  • [4] Rotary Dial Model - A Model-Driven Methodology for Autonomic Network Design
    Prakash, Arun
    Schieferdecker, Ina
    Wagner, Michael
    Hein, Christian
    2012 IEEE GLOBECOM WORKSHOPS (GC WKSHPS), 2012, : 891 - 896
  • [5] Adoption of Model-Driven methodology to aggregations design in Smart Grid
    Kaitovic, Igor
    Lukovic, Slobodan
    2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
  • [6] Xflash - a web application design framework with model-driven methodology
    Cheung, Ronnie
    International Journal of u- and e- Service, Science and Technology, 2008, 1 (01) : 47 - 54
  • [7] Model-driven Methodology for Real-Time Software Design
    Hamouche, Redha
    Kocik, Remy
    WMSCI 2011: 15TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL III, 2011, : 136 - 142
  • [8] Model-Driven Embedded-System Design
    Basten, Twan
    Ernst, Rolf
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
  • [9] A Framework for Research Into Model-Driven System Design
    Software Productivity Consortium, SPC Building 2214 Rock Hill Road, Herndon
    VA
    20170-4227, United States
    INCOSE Int. Sym., 1 (220-227):
  • [10] Model-driven design and implementation of discrete event control for a machine tool control system
    Liu, Y.
    Li, W.
    Yamazaki, K.
    Fujishima, M.
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2007, 20 (06) : 548 - 556