Towards Formal Description of Standards for Automotive Operating Systems

被引：4

作者：

Yatsu, Hirokazu ^{[1
]}

Ando, Takahiro ^{[1
]}

Kong, Weiqiang ^{[1
]}

Hisazumi, Kenji ^{[1
]}

Fukuda, Akira ^{[1
]}

Aoki, Toshiaki ^{[2
]}

Futatsugi, Kokichi ^{[2
]}

机构：

[1] Kyushu Univ, Grad Sch Informat Sci & Elect Engn, Fukuoka 812, Japan

[2] Japan Adv Inst Sci & Technol, Sch Informat Sci, Ishikawa, Japan

来源：

IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013) | 2013年

关键词：

fornal description; automotive operating system; international standard; OSEK/VDX;

D O I：

10.1109/ICSTW.2013.8

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The OSEK/VDX specification is a standard for automotive operating systems, i.e., operating systems for mobile vehicles. The specification is described in a natural language. Thus, it is difficult to verify the conformity that the automotive operating systems follow this standard due to its ambiguity. We think that such standard has to be formally described enough to ensure that final products conform to the standard. In this paper, we propose a framework for formalization of the OSEK/VDX specification.

引用

页码：13 / +

页数：2

共 50 条

[41] Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges
dos Santos, Eduardo
Schoop, Dominik
Simpson, Andrew
2016 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), 2016,
[42] Formal Methods and Validation Techniques for Ensuring Automotive Systems Security
Krichen, Moez
INFORMATION, 2023, 14 (12)
[43] A Formal Model to Facilitate Security Testing in Modern Automotive Systems
dos Santos, Eduardo
Simpson, Andrew
Schoop, Dominik
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (271): : 95 - 104
[44] Using formal methods in designing embedded systems for automotive applications
Damm, W
Eckrich, M
Brockmeyer, U
Wittich, G
Holberg, HJ
SYSTEM ENGINEERING IN AUTOMOTIVE DESIGN, 1997, 1374 : 349 - 366
[45] TOWARDS STANDARDS FOR THE VALIDATION OF EXPERT SYSTEMS
HARRISON, PR
RATCLIFFE, PA
EXPERT SYSTEMS WITH APPLICATIONS, 1991, 2 (04) : 251 - 258
[46] Using formal methods in designing embedded systems for automotive applications
Damm, W.
Eckrich, M.
Brockmeyer, U.
Wittich, G.
Holberg, H.J.
VDI Berichte, 1997, (1374): : 349 - 366
[47] Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards
Patricia, Julieth
Ardila, Castellanos
Gallina, Barbara
2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 317 - 324
[48] Towards Hierarchical Information Architectures in Automotive Systems
Jobst, Martin Erich
Prehofer, Christian
2016 3RD INTERNATIONAL WORKSHOP ON EMERGING IDEAS AND TRENDS IN ENGINEERING OF CYBER-PHYSICAL SYSTEMS (EITEC), 2016, : 41 - 46
[49] FORMAL DESCRIPTION OF GENETIC WORD GRAMMAR FOR DEVELOPMENTAL SYSTEMS
BIESIADA, H
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1987, 18 (05) : 887 - 893
[50] Intelligent device formal description applied to hybrid systems
Bayart, M
Lemaire, E
INTELLIGENT COMPONENTS AND INSTRUMENTS FOR CONTROL APPLICATIONS 1997 (SICICA'97), 1997, : 563 - 568

← 1 2 3 4 5 →