Towards Formal Description of Standards for Automotive Operating Systems

Towards Formal Description of Standards for Automotive Operating Systems
复制标题

DOI：
10.1109/icstw.2013.8
复制
发表时间：
2013-03
期刊：
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops
影响因子：
--
通讯作者：
Hirokazu Yatsu;Takahiro Ando;W. Kong;K. Hisazumi;Akira Fukuda;Toshiaki Aoki;K. Futatsugi
Hirokazu Yatsu;Takahiro Ando;W. Kong;K. Hisazumi;Akira Fukuda;Toshiaki Aoki;K. Futatsugi
中科院分区：
其他
文献类型：
--
作者：
Hirokazu Yatsu;Takahiro Ando;W. Kong;K. Hisazumi;Akira Fukuda;Toshiaki Aoki;K. Futatsugi

文献摘要

被引文献

相似文献

Osek/VDX规范是汽车操作系统的标准，即移动车辆的操作系统。该规范用自然语言描述。因此，由于其歧义，很难验证汽车操作系统遵循此标准的合规性。我们认为，必须对这种标准进行足够的描述，以确保最终产品符合标准。在本文中，我们提出了一个正式化OSEK/VDX规范的框架。
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.