OSEK/VDX - The operating system for distributed systems in cars

被引:0
|
作者
Lawrenz, W
Pauwels, M
机构
关键词
D O I
暂无
中图分类号
U [交通运输];
学科分类号
08 ; 0823 ;
摘要
Automotive electronics systems are growing more and more complex: Customers demand more performance, microcontrollers provide enhanced power, network communication enables individual micro controllers to be linked into very powerful but highly complex distributed systems, application software gets more sophisticated. This dramatically increasing complexity will lead to severe problems in system design unless these systems are organized into a structured design with additional higher software layers encapsulating the lower levels and thus reducing the software complexity to an acceptable degree which can be handled efficiently by application designers. OSEK/VDX provides a solution for this higher layer. OSEK/VDX is a general operating system which addresses the three aspects of real time task management, communication services and network management while considering the special cost/performance constraints of automotive industries as well. A first specification has been worked out by some European cars manufacturers and suppliers and published in October 1995. Since then the OSEK/VDX community is open for any cooperating partner to contribute.
引用
收藏
页码:281 / 285
页数:5
相关论文
共 50 条
  • [31] SMT-based Bounded Model Checking for OSEK/VDX Applications
    Zhang, Haitao
    Aoki, Toshiaki
    Lin, Hsin-Hung
    Zhang, Min
    Chiba, Yuki
    Yatake, Kenro
    2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 307 - 314
  • [32] A discussion of distributed system environments and distributed operating systems
    Jia, X
    Cao, J
    Jia, W
    Lee, CH
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS - PROCEEDINGS OF THE ISCA 9TH INTERNATIONAL CONFERENCE, VOLS I AND II, 1996, : 37 - 42
  • [33] A Spin-Based Approach for Checking OSEK/VDX Applications
    Zhang, Haitao
    Aoki, Toshiaki
    Chiba, Yuki
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 239 - 255
  • [34] 基于OSEK/VDX的汽车操作系统设计
    唐晓磊
    黄涛
    北京汽车, 2007, (01) : 24 - 26
  • [35] An OSEK/VDX-based Multi-JVM for automotive appliances
    Wawersich, Christian
    Stilkerich, Michael
    Schroeder-Preikschat, Wolfgang
    EMBEDDED SYSTEM DESIGN: TOPICS, TECHNIQUES AND TRENDS, 2007, 231 : 85 - +
  • [36] A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications
    Zhang, Min
    Choi, Yunja
    Ogata, Kazuhiro
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2014, 2014, 8663 : 280 - 296
  • [37] Verifying OSEK/VDX OS Design using Its Formal Specification
    Vu, Dieu-Huong
    Chiba, Yuki
    Yatake, Kenro
    Aoki, Toshiaki
    2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 81 - 88
  • [38] Formal model-based conformance verification of an OSEK/VDX compliant RTOS
    Bechennec, Jean-Luc
    Roux, Olivier Henri
    Tigori, Toussaint
    2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 628 - 634
  • [39] Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP
    Huang, Yanhong
    Pang, Haiping
    Shi, Jianqi
    FORMAL ASPECTS OF COMPUTING, 2020, 32 (01) : 113 - 145
  • [40] Distributed operating systems vs. distributed system environments
    Jia, XH
    Cheng, W
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1997, 12 (03): : 193 - 203