抄録
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月 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
- ソフトウェア