A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology

被引：1

作者：

Zhou, Jiale ^{[1
]}

Hanninen, Kaj ^{[1
]}

Lundqvist, Kristina ^{[1
]}

机构：

[1] Malardalen Univ, Vasteras, Sweden

来源：

2017 43RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) | 2017年

关键词：

preliminary hazard analysis; hazard ontology; hazard modeling language;

D O I：

10.1109/SEAA.2017.48

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Preliminary hazard analysis (PHA) is a key safety concerned activity to identify potential hazards. However, since various stakeholders will be involved in the identification process, a common understanding of the nature of hazards among stakeholders, such as what a hazard consists of and how to describe it without ambiguities, is of crucial importance to achieve the goal of PHA. In this work, we propose a hazard modeling language (HML) based on a domain ontology to facilitate the specification of identified hazards. In addition, we present an approach to guide the transformation from natural language hazard descriptions into the HML specification. Finally, an industrial PHA example is used to illustrate the usefulness of our work.

引用

页码：301 / 304

页数：4

共 50 条

[41] Component-Based Modeling and Verification of Dynamic Adaptation in Safety-Critical Embedded Systems
Adler, Rasmus
Schaefer, Ina
Trapp, Mario
Poetzsch-Heffter, Arnd
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
[42] 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
[43] A consequence-based approach to safety-critical systems
Perico-Cortés, A
SAFETY INTEGRITY: THE IMPLICATIONS OF IEC 61508 AND OTHER STANDARDS FOR THE PROCESS INDUSTRIES, PROCEEDINGS, 2000, : 29 - 40
[44] Random Multi Hazard Resilience Modeling of Engineered Systems and Critical Infrastructure
Cheng, Yao
Elsayed, E. A.
Chen, Xi
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2021, 209
[45] Ontology-based Requirements Generation for Credibility Validation of Safety-critical System
Li, Rui
Ma, Shilong
Yao, Wentao
CIT/IUCC/DASC/PICOM 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - UBIQUITOUS COMPUTING AND COMMUNICATIONS - DEPENDABLE, AUTONOMIC AND SECURE COMPUTING - PERVASIVE INTELLIGENCE AND COMPUTING, 2015, : 849 - 854
[46] Reliability modeling for safety-critical software
Schneidewind, NF
IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) : 88 - 98
[47] AADL-based Safety Analysis Approaches for Safety-Critical Systems
Wei, Xiaomin
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), 2019, : 481 - 482
[48] A Framework for Software Safety in Safety-Critical Systems
Medikonda, Ben Swarup
Panchumarthy, Seetha Ramaiah
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
[49] Safety-critical systems argumentation and validation in computational modeling for drug design
Ghetiu, Teodor
Polack, Fiona
Bown, James
CURRENT OPINION IN BIOTECHNOLOGY, 2011, 22 : S29 - S29
[50] Modeling and verification of high-assurance properties of safety-critical systems
Tsai, JJP
Juan, EYT
COMPUTER JOURNAL, 2001, 44 (06): : 504 - 530

← 1 2 3 4 5 →