A domain-oriented, model-based approach for construction and verification of railway control systems

被引：0
|
作者：
Haxthausen, Anne E. [1 ]
Peleska, Jan [2 ]
机构：
[1] Tech Univ Denmark, Informat & Math Modelling, DK-2800 Lyngby, Denmark
[2] Univ Bremen, TZI, Bremen, Germany
来源：
FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS | 2007年 / 4700卷
关键词：
domain engineering; domain-specific languages; code generation; formal methods; verification; railway control systems;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific language. This description is automatically transformed into an executable control system model expressed in SystemC. This model is then compiled into object code. Verification is performed using four main methods applied to different levels: (0) The domain-specific description is validated wrt. internal consistency by static analysis. (1) The crucial safety properties are verified for the SystemC model by means of bounded model checking. (2) The object code is verified to be I/O behavioural equivalent to the SystemC model from which it was compiled. (3) The correctness of the hardware /software integration is checked by automated testing.
引用
收藏
页码：320 / +
页数：5
相关论文
共 50 条
  • [1] Domain-Oriented Verification Management
    Leilde, Vincent
    Ribaud, Vincent
    Teodorov, Ciprian
    Dhaussy, Philippe
    [J]. MODEL AND DATA ENGINEERING, MEDI 2018, 2018, 11163 : 354 - 370
  • [2] A formal approach for the construction and verification of railway control systems
    Haxthausen, Anne E.
    Peleska, Jan
    Kinder, Sebastian
    [J]. FORMAL ASPECTS OF COMPUTING, 2011, 23 (02) : 191 - 219
  • [3] A Domain-Oriented Approach for Access Control in Pervasive Environments
    Li, Jun
    Christianson, Bruce
    [J]. EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 2, WORKSHOPS, 2008, : 278 - +
  • [4] Study on Security Domain-Oriented Military Information Systems Access Control Model
    Jin, Yan
    Liu, Hao
    Sun, Lin
    Song, Jing
    [J]. PRACTICAL APPLICATIONS OF INTELLIGENT SYSTEMS, ISKE 2013, 2014, 279 : 849 - +
  • [5] A Model-based Approach for the Modeling and the Verification of Railway Signaling System
    Bougacha, Racem
    Wakrime, Abderrahim Ait
    Kallel, Slim
    Ben Ayed, Rahma
    Collart-Dutilleul, Simon
    [J]. PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 367 - 376
  • [6] A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems
    Haxthausen, Anne E.
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2009, 5775 : 1 - 3
  • [7] Research and development of domain-oriented components based on the service model
    Chen, Tianhuang
    [J]. Wuhan Jiaotong Keji Daxue Xuebao/Journal of Wuhan Transportation University, 2000, 24 (02): : 166 - 168
  • [8] A systematic approach to domain-oriented software development
    Shimizu, Y
    Fujimaki, N
    Hirayama, M
    [J]. PROCEEDINGS OF THE 1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1998, : 499 - 502
  • [9] Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach
    Basile, Davide
    Di Giandomenico, Felicita
    Gnesi, Stefania
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 315 - 330
  • [10] Domain-Oriented Retrieval Model Research Based on Meta-search
    Liu, Yiliang
    Deng, Guishi
    [J]. IEEE/SOLI'2008: PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS, VOLS 1 AND 2, 2008, : 153 - 158
12345