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 |
All Science Journal Classification (ASJC) codes
- Software
Fingerprint Dive into the research topics of 'Towards formal description of standards for automotive operating systems'. Together they form a unique fingerprint.
Cite this
Yatsu, H., Ando, T., Kong, W., Kenji, H., Fukuda, A., Aoki, T., & Futatsugi, K. (2013). Towards formal description of standards for automotive operating systems. In Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 (pp. 13-14). [6571601] https://doi.org/10.1109/ICSTW.2013.8