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
出版ステータスPublished - 2013
外部発表はい
イベントIEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 - Luxembourg, Luxembourg
継続期間: 2013 3月 182013 3月 20

Conference

ConferenceIEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
国/地域Luxembourg
CityLuxembourg
Period13/3/1813/3/20

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「Towards formal description of standards for automotive operating systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル