Towards formal description of standards for automotive operating systems

Hirokazu Yatsu; Takahiro Ando; Weiqiang Kong; Kenji Hisazumi; Akira Fukuda; Toshiaki Aoki; Kokichi Futatsugi

doi:10.1109/ICSTW.2013.8

Towards formal description of standards for automotive operating systems

Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi

研究成果: Paper › 査読

3 被引用数 (Scopus)

抄録

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.

本文言語	English
ページ	13-14
ページ数	2
DOI	https://doi.org/10.1109/ICSTW.2013.8
出版ステータス	Published - 2013
外部発表	はい
イベント	IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 - Luxembourg, Luxembourg 継続期間: 2013 3月 18 → 2013 3月 20

Conference

Conference	IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
国/地域	Luxembourg
City	Luxembourg
Period	13/3/18 → 13/3/20

ASJC Scopus subject areas

ソフトウェア

文献へのアクセス

10.1109/ICSTW.2013.8

他のファイルとリンク

引用スタイル

Towards formal description of standards for automotive operating systems. / Yatsu, Hirokazu; Ando, Takahiro; Kong, Weiqiang; Hisazumi, Kenji; Fukuda, Akira; Aoki, Toshiaki; Futatsugi, Kokichi.

2013. 13-14 Paper presented at IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg.

研究成果: Paper › 査読

Yatsu, H, Ando, T, Kong, W, Hisazumi, K, Fukuda, A, Aoki, T & Futatsugi, K 2013, 'Towards formal description of standards for automotive operating systems', Paper presented at IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, 13/3/18 - 13/3/20 pp. 13-14. https://doi.org/10.1109/ICSTW.2013.8

@conference{bf72fc6d622545358831a865ec38214e,

title = "Towards formal description of standards for automotive operating systems",

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 = "automotive operating system, fornal description, international standard, OSEK/VDX",

author = "Hirokazu Yatsu and Takahiro Ando and Weiqiang Kong and Kenji Hisazumi and Akira Fukuda and Toshiaki Aoki and Kokichi Futatsugi",

year = "2013",

doi = "10.1109/ICSTW.2013.8",

language = "English",

pages = "13--14",

note = "IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 ; Conference date: 18-03-2013 Through 20-03-2013",

}

TY - CONF

T1 - Towards formal description of standards for automotive operating systems

AU - Yatsu, Hirokazu

AU - Ando, Takahiro

AU - Kong, Weiqiang

AU - Hisazumi, Kenji

AU - Fukuda, Akira

AU - Aoki, Toshiaki

AU - Futatsugi, Kokichi

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - automotive operating system

KW - fornal description

KW - international standard

KW - OSEK/VDX

UR - http://www.scopus.com/inward/record.url?scp=84883314670&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84883314670&partnerID=8YFLogxK

U2 - 10.1109/ICSTW.2013.8

DO - 10.1109/ICSTW.2013.8

M3 - Paper

AN - SCOPUS:84883314670

SP - 13

EP - 14

T2 - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013

Y2 - 18 March 2013 through 20 March 2013

ER -

Towards formal description of standards for automotive operating systems

抄録

Conference

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル