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 条
  • [1] On the implementation of the OSEK/VDX operating system on advanced microcontrollers
    Popa, Mircea
    Popa, Anca Sorana
    Slavici, Titus
    Silaghe, Liviu
    EUROCON 2007: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOLS 1-6, 2007, : 1001 - 1008
  • [2] Conformance Testing for OSEK/VDX Operating System Using Model Checking
    Chen, Jiang
    Aoki, Toshiaki
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 274 - 281
  • [3] Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems
    Choi, Yunja
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 305 - 319
  • [4] ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System
    Shi, Jianqi
    He, Jifeng
    Zhu, Huibiao
    Fang, Huixing
    Huang, Yanhong
    Zhang, Xiaoxian
    2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 293 - 301
  • [5] Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems
    Park, Mingyu
    Byun, Taejoon
    Choi, Yunja
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (105): : 69 - 84
  • [7] A design architecture for OSEK/VDX-based vehicular application specific embedded operating systems
    Sun, Y
    Wang, FY
    2005 IEEE INTELLIGENT VEHICLES SYMPOSIUM PROCEEDINGS, 2005, : 882 - 887
  • [8] Design of real-time operating system for hybrid electric vehicle based on OSEK/VDX
    Shanghai Jiaotong University, Shanghai 200240, China
    Nongye Jixie Xuebao, 2008, 6 (21-24):
  • [9] Evaluation of Scheduling Architectures for OSEK/VDX Compliant Hard Real-Time Operating Systems
    Saydam, Berkay
    Ayav, Tolga
    2020 TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2020, : 152 - 157