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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 |
| Pages | 13-14 |
| Number of pages | 2 |
| DOIs | |
| Publication status | Published - Sep 9 2013 |
| Event | IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 - Luxembourg, Luxembourg Duration: Mar 18 2013 → Mar 20 2013 |
Other
| Other | IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 |
|---|---|
| Country | Luxembourg |
| City | Luxembourg |
| Period | 3/18/13 → 3/20/13 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Software
Cite this
Towards formal description of standards for automotive operating systems. / Yatsu, Hirokazu; Ando, Takahiro; Kong, Weiqiang; Kenji, Hisazumi; Fukuda, Akira; Aoki, Toshiaki; Futatsugi, Kokichi.
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. 2013. p. 13-14 6571601.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Towards formal description of standards for automotive operating systems
AU - Yatsu, Hirokazu
AU - Ando, Takahiro
AU - Kong, Weiqiang
AU - Kenji, Hisazumi
AU - Fukuda, Akira
AU - Aoki, Toshiaki
AU - Futatsugi, Kokichi
PY - 2013/9/9
Y1 - 2013/9/9
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.
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 - Conference contribution
AN - SCOPUS:84883314670
SP - 13
EP - 14
BT - Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
ER -