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 条

[31] On formal description of synchronization requirements in multimedia systems
Fong, A. C. M.
Simpson, Andrew
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 1255 - +
[32] Towards a formal analysis of control systems
Firozabadi, BS
van der Torre, LWN
ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 317 - 318
[33] Towards Formal Modelling of Autonomous Systems
Spichkova, Maria
Simic, Milan
INTELLIGENT INTERACTIVE MULTIMEDIA SYSTEMS AND SERVICES, 2015, 40 : 279 - 288
[34] Towards a formal language of physical systems
Feliot, C
Cassar, JP
Staroswiecki, M
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2768 - 2773
[35] THE STATE OF OPERATING-SYSTEMS - THE STANDARDS ARE CONVERGING
LAUZZANA, R
RICKETTS, G
COMPUTER GRAPHICS WORLD, 1985, 8 (07) : 41 - &
[36] Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL
Oquendo, Flavio
Legay, Axel
ERCIM NEWS, 2015, (102): : 25 - 27
[37] Towards a Formal Description of Artificial Intelligence Models and Datasets in Radiology
Kahn, Charles E., Jr.
Suri, Abhinav
Halabi, Safwan
Trivedi, Hari
ARTIFICIAL INTELLIGENCE IN MEDICINE, PT II, AIME 2024, 2024, 14845 : 140 - 144
[38] TOWARDS FORMAL DESCRIPTION AND AUTOMATIC-GENERATION OF PROGRAMMING ENVIRONMENTS
SHINODA, Y
KATAYAMA, T
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 467 : 261 - 270
[39] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
BOWEN, J
STAVRIDOU, V
SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
[40] Formal verification of a task scheduler for embedded operating systems
Sun, Haiyong
Lei, Hang
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2020, 38 (02) : 1391 - 1399

← 1 2 3 4 5 →