A method to model guidelines for developing railway safety-critical systems with UML

被引：0

作者：

Ossami, D. D. Okalas ^{[1
]}

Mota, J. -M. ^{[1
]}

Thiry, L. ^{[1
]}

Perronne, J. -M. ^{[1
,2
]}

Boulanger, J. -L.

Mariano, G. ^{[3
]}

机构：

[1] Univ Haute Alsace, MIPS, ENSISA LUMIERE, 12 Rue Des Freres Lumiere, F-68093 Mulhouse, France

[2] HEUDIASYC Univ Technol Compiegne, Ctr Rech Royallieu, F-60205 Compiegne, France

[3] ESTAS Inst Natl Rech Transports Securite, F-59666 Villeneuve Dascq, France

来源：

ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE: SOFTWARE ENGINEERING | 2007年

关键词：

UML; safety-critical development; certification; development methodologies;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

There are today an abundance of standards concerned with the development and certification of railway safety-critical systems. They recommend the use of different techniques to describe system requirements and to pursue safety strategies. One problem shared by standards is that they only prescribe what should be done or use but they provide no guidance on how recommendations can be fulfilled. The purpose of this paper is to investigate a methodology to model guidelines for building certifiable UML models that cater for the needs and recommendations of railway standards. The paper will explore some of the major tasks that are typical of development guidelines and will illustrate practical steps for achieving these tasks.

引用

页码：236 / +

页数：2

共 50 条

[21] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[22] Safety-critical systems design
Douglass, BP
ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
[23] Cybersecurity in safety-critical systems
Walker, Alastair
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (05)
[24] Safety-critical systems design
Douglass, Bruce Powel
Electronic Engineering (London), 1998, 70 (862):
[25] The ethics of safety-critical systems
Bowen, J
COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
[26] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
BENNETT, P
COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
[27] A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications
Tucci-Piergiovanni, Sara
Mraidha, Chokri
Wozniak, Ernest
Lanusse, Agnes
Gerard, Sebastien
TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1176 - 1187
[28] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
Gebre-Egziabher, Demoz
PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
[29] Sailing on Friday: Developing the Link Between Safety Culture and Performance in Safety-Critical Systems
Grabowski, Martha
You, Zhuyu
Song, Huawei
Wang, Haiyuan
Merrick, Jason R. W.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2010, 40 (02): : 263 - 284
[30] Towards Agile Testing for Railway Safety-critical Software
Li, Nan
Guo, Jin
Lei, Jeff
Li, Yao
Rao, Chang
Cao, YaXin
PROCEEDINGS OF THE XP2016 SCIENTIFIC WORKSHOPS, 2016,

← 1 2 3 4 5 →