Towards formal description of standards for automotive operating systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
Pages13-14
Number of pages2
DOIs
Publication statusPublished - Sep 9 2013
EventIEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 - Luxembourg, Luxembourg
Duration: Mar 18 2013Mar 20 2013

Other

OtherIEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
CountryLuxembourg
CityLuxembourg
Period3/18/133/20/13

Fingerprint

Specifications

All Science Journal Classification (ASJC) codes

  • Software

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

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 proceedingConference contribution

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., 6571601, pp. 13-14, IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, 3/18/13. https://doi.org/10.1109/ICSTW.2013.8
Yatsu H, Ando T, Kong W, Kenji H, Fukuda A, Aoki T et al. Towards formal description of standards for automotive operating systems. In Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. 2013. p. 13-14. 6571601 https://doi.org/10.1109/ICSTW.2013.8
Yatsu, Hirokazu ; Ando, Takahiro ; Kong, Weiqiang ; Kenji, Hisazumi ; Fukuda, Akira ; Aoki, Toshiaki ; Futatsugi, Kokichi. / Towards formal description of standards for automotive operating systems. Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. 2013. pp. 13-14
@inproceedings{263b15980cbf437a8dfd72766d172460,
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.",
author = "Hirokazu Yatsu and Takahiro Ando and Weiqiang Kong and Hisazumi Kenji and Akira Fukuda and Toshiaki Aoki and Kokichi Futatsugi",
year = "2013",
month = "9",
day = "9",
doi = "10.1109/ICSTW.2013.8",
language = "English",
pages = "13--14",
booktitle = "Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013",

}

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 -