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 条
  • [21] A new safety-guided design methodology to complement model-based safety analysis for safety assurance
    Sun, Minghui
    Fleming, Cody H.
    [J]. IFAC PAPERSONLINE, 2022, 55 (41): : 101 - 106
  • [22] Model-based integration of safety analysis and reliable software development
    de Miguel, MA
    Pauly, B
    Person, T
    Fernandez, J
    [J]. WORDS 2005: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable, Proceedings, 2005, : 312 - 319
  • [23] Supporting model-based safety analysis for safety-critical IoT systems
    Ihirwe, Felicien
    Di Ruscio, Davide
    Di Blasio, Katia
    Gianfranceschi, Simone
    Pierantonio, Alfonso
    [J]. JOURNAL OF COMPUTER LANGUAGES, 2024, 78
  • [24] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems
    Chen, Yung-Yuan
    Peng, Jing-Xiang
    [J]. PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
  • [25] New model-based systems engineering methodology based on transdisciplinary quality system development lifecycle model
    Abdelrazik, Mohamed Asaad
    Elsheikh, Amir Taher
    Zayan, Mohamed A.
    Elhady, Abo-Bakr M.
    [J]. Journal Europeen des Systemes Automatises, 2019, 52 (05): : 465 - 476
  • [26] Probabilistic Model-Based Safety Analysis
    Guedemann, Matthias
    Ortmeier, Frank
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (28): : 114 - 128
  • [27] Model-based semiautomatic safety analysis of programmable systems in automotive applications
    Papadopoulos, Y
    McDermid, J
    Mavrides, A
    Scheidler, C
    Maruhn, M
    [J]. ADAS: INTERNATIONAL CONFERENCE ON ADVANCED DRIVER ASSISTANCE SYSTEMS, 2001, (483): : 53 - 57
  • [28] Model-based concurrent systems design for safety
    Park, JY
    Park, YW
    [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2004, 12 (04): : 287 - 294
  • [29] Model-based Development and Performance Analysis for Evolving Manufacturing Systems
    Kowal, Matthias
    Prehofer, Christian
    Schaefer, Ina
    Tribastone, Mirco
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (11) : 794 - 802
  • [30] Incorporating resource safety verification to executable model-based development for embedded systems
    Yi, Jianliang
    Woo, Honguk
    Browne, James C.
    Mok, Aloysius K.
    Xie, Fei
    Atkins, Ella
    Lee, Chan-Gun
    [J]. PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, 2008, : 137 - +
12345