A Methodology for Model-based Development and Safety Analysis of Transport Systems

被引：2
|
作者：
Hordvik, Simon [1 ]
Oseth, Kristoffer [1 ]
Blech, Jan Olaf [2 ]
Herrmann, Peter [1 ]
机构：
[1] Norwegian Univ Sci & Technol, Trondheim, Norway
[2] RMIT Univ, Melbourne, Vic, Australia
来源：
ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING | 2016年
关键词：
Software Engineering; Spatial Modeling; Cyber-physical Systems; UML ACTIVITIES;
D O I：
10.5220/0005828800910101
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a method to engineer the control software of transport systems and analyze their safety using the Reactive Blocks framework. The development benefits from the model-based approach and makes the analysis of the systems at design time possible. The software is analyzed for freedom of collisions and other spatiotemporal properties by combining test runs of already existing devices to find out their physical constraints with the analysis of simulation runs using the verification tool BeSpaceD. This allows us to discover potential safety hazards already during the development of the control software. In particular, we introduce a methodology for the engineering and safety analysis of transportation systems and elaborate its practical usability by means of a demonstrator based on Lego Mindstorms.
引用
收藏
页码：91 / 101
页数：11
相关论文
共 50 条
  • [1] New Methodology for Model-Based Safety Analysis
    Abdellatif, Akram Amin
    Holzapfel, Florian
    [J]. 2019 IEEE AEROSPACE CONFERENCE, 2019,
  • [2] A model-based design methodology for the development of mechatronic systems
    Barbieri, Giacomo
    Fantuzzi, Cesare
    Borsari, Roberto
    [J]. MECHATRONICS, 2014, 24 (07) : 833 - 843
  • [3] Model-Based Analysis of Safety Critical Systems
    Kushal, K. S.
    Paul, John J.
    Nanda, Manju
    Jayanthi, J.
    [J]. 2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,
  • [4] A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems
    Baumgart, Andreas
    Reinkemeier, Philipp
    Rettberg, Achim
    Stierand, Ingo
    Thaden, Eike
    Weber, Raphael
    [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 59 - +
  • [5] MODEL-BASED SYSTEMS ANALYSIS - METHODOLOGY AND CASE STUDY
    ROCKART, JF
    [J]. SLOAN MANAGEMENT REVIEW, 1970, 11 (02): : 1 - 14
  • [6] Integrating Safety Analysis into Model-Based Systems Engineering for Aircraft Systems: A Literature Review and Methodology Proposal
    Lai, Kimberly
    Robert, Thomas
    Shindman, David
    Olechowski, Alison
    [J]. INCOSE International Symposium, 2021, 31 (01) : 988 - 1003
  • [7] Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems
    Biehl, Matthias
    Chen DeJiu
    Torngren, Martin
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (04) : 125 - 131
  • [8] Development of safety-critical systems and model-based risk analysis with UML
    Jürjens, J
    Houmb, SH
    [J]. DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
  • [9] Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems
    Biehl, Matthias
    Chen DeJiu
    Torngren, Martin
    [J]. LCTES 10-PROCEEDINGS OF THE ACM SIGPLAN/SIGBED 2010 CONFERENCE ON LANGUAGES, COMPILERS, & TOOLS FOR EMBEDDED SYSTEMS, 2010, : 125 - 131
  • [10] Towards a Model-Based Development Methodology for Evolvable Production Systems
    Rahatulain, Afifa
    Qureshi, Tahir Naseer
    Onori, Mauro
    [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT (AECIA 2015), 2016, 427 : 83 - 92
12345