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 条
  • [41] Model-based development methodology for agent-based system
    Lee, S
    Kim, T
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 110 - 115
  • [42] Visual interactive systems for end-user development: A model-based design methodology
    Costabile, Maria Francesca
    Fogli, Daniela
    Mussio, Piero
    Piccinno, Antonio
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (06): : 1029 - 1046
  • [43] A Methodology for the Simplification of Tabular Designs in Model-Based Development
    Bialy, Monika
    Lawford, Mark
    Pantelic, Vera
    Wassyng, Alan
    [J]. 2015 IEEE/ACM 3RD FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING, 2015, : 47 - 53
  • [44] Secure software development and testing: A model-based methodology
    Casola, Valentina
    De Benedictis, Alessandra
    Mazzocca, Carlo
    Orbinato, Vittorio
    [J]. COMPUTERS & SECURITY, 2024, 137
  • [45] Transferring a model-based development methodology to the automotive industry
    Bucaioni, Alessio
    Dimic, Vlatko
    Galnander, Mattias
    Lonn, Henrik
    Lundback, John
    [J]. 2021 22ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2021, : 762 - 767
  • [46] APPLYING A MODEL-BASED METHODOLOGY TO DEVELOP WEB-BASED SYSTEMS OF SYSTEMS
    Barcelona, M. A.
    Garcia-Borgonon, L.
    Lopez-Nicolas, G.
    Ramos, I.
    Escalona, M. J.
    [J]. JOURNAL OF WEB ENGINEERING, 2017, 16 (3-4): : 212 - 227
  • [47] A model-based framework for the safety analysis of computer-based railway signalling systems
    Niu, R.
    Tang, T.
    [J]. COMPUTERS IN RAILWAYS XII: COMPUTER SYSTEM DESIGN AND OPERATION IN RAILWAYS AND OTHER TRANSIT SYSTEMS, 2010, 114 : 827 - 838
  • [48] A model-based safety analysis approach for airborne systems using state traversals
    Zhuang, Lu
    Lu, Zhong
    Song, Haijing
    Liang, Xihui
    [J]. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2024, 238 (04) : 689 - 703
  • [49] Rigorous model-based safety analysis for nonlinear continuous-time systems
    Lin, Youdong
    Stadtherr, Mark A.
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 2009, 33 (02) : 493 - 502
  • [50] Model-based design, analysis and assessment framework for safety-critical systems
    Lu, Kuen-Long
    Chen, Yung-Yuan
    [J]. 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
12345