Design of an OSEK/VDX and OSGi-based embedded software platform for vehicular applications

被引：0
|
作者：
Sun, Yuan [1 ]
Huang, Wu-Ling [1 ]
Tang, Shu-Ming [1 ]
Qiao, Xin [1 ]
Wang, Fei-Yue [1 ]
机构：
[1] Chinese Acad Sci, Inst Automat, Key Lab Complex Syst & Intelligence Sci, Beijing 100080, Peoples R China
来源：
2007 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
This paper addresses an OSEK/VDX and OSGi-based embedded software platform for vehicular applications. Basically, it is a wireless and networked distributed service system and consists of (1) an OSEK/VDX-based Vehicular Application Specific Embedded Operating Systems platform, (2) an OSGi-based automotive service system which is composed of automotive central service platform, remote vehicular service platform and vehicle/home interactive platform. The system is deployed by integrating the functions of communication, navigation, entertainment, diagnostics, monitoring and many others. Meanwhile, by using wireless network, it realizes the interconnection among vehicles, home service platform, remote vehicular service center and roadside systems.
引用
收藏
页码：300 / 305
页数：6
相关论文
共 50 条
  • [21] A Model-Based Design for Electronic Control Units Based on OSEK/VDX
    Seo, Suk-Hyun
    Kim, Jin-Ho
    Hwang, Sungho
    Kwon, Key Ho
    Jeon, Jae Wook
    ISIE: 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, 2009, : 676 - +
  • [22] Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach
    Zhang, Haitao
    Aoki, Toshiaki
    Chiba, Yuki
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (10): : 1765 - 1776
  • [23] Model-based design and verification of automotive electronics compliant with OSEK/VDX
    Yang, GQ
    Zhao, MD
    Wang, L
    Wu, ZH
    ICESS 2005: SECOND INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2005, : 237 - 243
  • [24] Verifying OSEK/VDX automotive applications: A Spin-based model checking approach
    Zhang, Haitao
    Li, Guoqiang
    Cheng, Zhuo
    Xue, Jinyun
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2018, 28 (03):
  • [25] autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications
    Zhang, Haitao
    Cheng, Zhuo
    Li, Guoqiang
    Liu, Shaoying
    SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (05)
  • [26] Online Anomaly Detection for Service-Oriented Components in OSGi-based Applications
    Wang, Tao
    Wei, Jun
    Zhang, Wenbo
    Zhong, Hua
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2013, 7 (06): : 2571 - 2582
  • [27] autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications
    Haitao Zhang
    Zhuo Cheng
    Guoqiang Li
    Shaoying Liu
    Science China Information Sciences, 2018, 61
  • [28] autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications
    Haitao ZHANG
    Zhuo CHENG
    Guoqiang LI
    Shaoying LIU
    Science China(Information Sciences), 2018, 61 (05) : 141 - 155
  • [29] 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):
  • [30] Verifying OSEK/VDX Applications: An Optimized SMT-based Bounded Model Checking Approach
    Zhang, Haitao
    Cheng, Zhuo
    Tian, Cong
    Lu, Yonggang
    Li, Guoqiang
    2016 IEEE/ACIS 15TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2016, : 615 - 620
12345