Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems

被引：0

作者：

Ge, Ning ^{[1
,2
,5
]}

Dieumegard, Arnaud ^{[2
]}

Jenn, Eric ^{[2
,6
]}

d'Ausbourg, Bruno ^{[3
]}

Ait-Ameur, Yamine ^{[4
]}

机构：

[1] Beihang Univ, Sch Software, Beijing, Peoples R China

[2] IRT St Exupery, Toulouse, France

[3] Off Natl Etud & Rech Aerosp, Toulouse, France

[4] IRIT ENSEEIHT, Toulouse, France

[5] Systerel, Toulouse, France

[6] Thales Avion, Toulouse, France

来源：

PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE) | 2017年

关键词：

Human machine interface; formal methods; specification; verification; integration; LIDL; Lustre; HLL; S3; VERIFICATION;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents a formal development process for safety-critical embedded Human-Machine Interface (HMI) systems. This formal approach is centered on the LIDL formal language and the S3 verification toolset. It is aimed at blurring the boundaries between modeling, design, verification and implementation for the development of HMI. From textual requirements to software, the development process integrates the following formal activities: modeling the behavioral aspect of user interfaces (UIs) using LIDL; translating LIDL to Lustre, with which we combine the functional library in Lustre; translating the Lustre design models into the HLL verification models; verifying formal properties expressed in HLL against the HLL model using the S3 toolset, and diagnosing design errors with the help of counterexample scenarios and debug tools. This formal development process is illustrated on a simple use case part of the display component of an alert management system used in a three-wheeled robot.

引用

页码：111 / 118

页数：8

共 50 条

[41] Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)
Artho, Cyrille
Olveczky, Peter Csaba
SCIENCE OF COMPUTER PROGRAMMING, 2024, 237
[42] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems
Chen, Yung-Yuan
Peng, Jing-Xiang
PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
[43] Formal specification and development of a safety-critical train management system
Chiappini, A
Cimatti, A
Porzia, C
Rotondo, G
Sebastiani, R
Traverso, P
Villafiorita, A
COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 410 - 419
[44] Emotion-performance relationship in safety-critical human-machine systems
Schmitz-Huebsch, Alina
Becker, Ron
Wirzberger, Maria
COMPUTERS IN HUMAN BEHAVIOR REPORTS, 2024, 13
[45] FORMAL METHODS AND SAFETY-CRITICAL STANDARDS
BOWEN, J
COMPUTER, 1994, 27 (08) : 68 - 71
[46] Managing technology development for safety-critical systems
Sachon, M
Paté-Cornell, ME
IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2004, 51 (04) : 451 - 461
[47] Engineering Education for Development of Safety-Critical Systems
Singh, Pooja
Singh, Lalit Kumar
IEEE TRANSACTIONS ON EDUCATION, 2021, 64 (04) : 398 - 405
[48] A semantic support for Testing Activities of Safety-Critical Embedded Systems
Venticinque, Alessio
Mazzocca, Nicola
Venticinque, Salvatore
2014 EIGHTH INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS),, 2014, : 576 - 581
[49] Modelling Support for Design of Safety-Critical Automotive Embedded Systems
Chen, DeJiu
Johansson, Rolf
Loenn, Henrik
Papadopoulos, Yiannis
Sandberg, Anders
Toerner, Fredrik
Toerngren, Martin
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 72 - +
[50] Evaluation of a Formalized Encryption Library for Safety-Critical Embedded Systems
Schulz, Thorsten
Golatowski, Frank
Timmermann, Dirk
2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2017, : 1153 - 1158

← 1 2 3 4 5 →