Towards Formal Description of Standards for Automotive Operating Systems

被引：4
|
作者：
Yatsu, Hirokazu [1 ]
Ando, Takahiro [1 ]
Kong, Weiqiang [1 ]
Hisazumi, Kenji [1 ]
Fukuda, Akira [1 ]
Aoki, Toshiaki [2 ]
Futatsugi, Kokichi [2 ]
机构：
[1] Kyushu Univ, Grad Sch Informat Sci & Elect Engn, Fukuoka 812, Japan
[2] Japan Adv Inst Sci & Technol, Sch Informat Sci, Ishikawa, Japan
来源：
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013) | 2013年
关键词：
fornal description; automotive operating system; international standard; OSEK/VDX;
D O I：
10.1109/ICSTW.2013.8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：13 / +
页数：2
相关论文
共 50 条
  • [1] Towards Digital Twins for the Description of Automotive Software Systems
    Blech, Jan Olaf
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (312): : 20 - 28
  • [2] Towards the formal verification of lower system layers in automotive systems
    Beyer, S
    Böhm, P
    Knapp, S
    Gerke, M
    Leinenbach, D
    Hillebrand, M
    Paul, WJ
    der Rieden, TI
    2005 IEEE International Conference on Computer Design: VLSI in Computers & Processors, Proceedings, 2005, : 317 - 324
  • [3] Towards a Formal Description of Reference Architectures for Embedded Systems
    Guessi, Milena
    Oliveira, Lucas B. R.
    Garces, Lina
    Oquendo, Flavio
    COBRA'15 PROCEEDINGS OF THE 1ST INTERNATIONAL WORKSHOP ON EXPLORING COMPONENT-BASED TECHNIQUES FOR CONSTRUCTING REFERENCE ARCHITECTURES, 2015, : 17 - 20
  • [4] Formal description of time management in real-time operating systems
    Rusu-Banu, Fabricio
    Wang, Yingxu
    2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5, 2006, : 1801 - +
  • [5] FORMAL DESCRIPTION OF PROTOCOL STANDARDS AND THEIR REALIZATION
    ZAITSEV, SS
    AUTOMATION AND REMOTE CONTROL, 1988, 49 (05) : 663 - 669
  • [6] A formal description of SECIMOS operating system
    Zhou, ZY
    Liang, B
    Jiang, L
    Shi, WC
    He, YP
    COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005, 3685 : 286 - 297
  • [7] TOWARDS A FORMAL THEORY OF DESCRIPTION
    TCHON, K
    WOJCIECHOWSKA, J
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1981, 6 (04) : 217 - 224
  • [8] Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems
    Schneider, Joern
    Eltges, Christian
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 483 - 486
  • [9] Towards Reusable Formal Models for Custom Real-Time Operating Systems
    Adelt, Julius
    Gebker, Julian
    Herber, Paula
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), 2022, 13487 : 69 - 85
  • [10] Towards a Formal Representation for Description Rules
    Stouffs, Rudi
    FUSION: DATA INTEGRATION AT ITS BEST, VOL 2, 2014, : 347 - 356
12345