Towards Formal Description of Standards for Automotive Operating Systems

Author

Yatsu, Hirokazu ; Ando, Takehiro ; Weiqiang Kong ; Aoki, Toyohiro ; Futatsugi, Kokichi

Author_Institution

Grad. Sch. of Inf. Sci. & Electr. Eng., Kyushu Univ., Fukuoka, Japan

fYear

2013

fDate

18-22 March 2013

Firstpage

13

Lastpage

14

Abstract

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.

Keywords

automobiles; formal specification; mobile computing; operating systems (computers); traffic engineering computing; OSEK-VDX specification; automotive operating system; formal description; mobile vehicle; natural language; Abstracts; Automotive engineering; Containers; Data mining; Educational institutions; Operating systems; Standards; OSEK/VDX; automotive operating system; fornal description; international standard;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on

Conference_Location

Luxembourg

Print_ISBN

978-1-4799-1324-4

Type

conf

DOI

10.1109/ICSTW.2013.8

Filename

6571601