• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.2
• /
• pp.133-141
• /
• 2014

Recently, various services are provided by using WAVE protocol for communication among neighboring vehicles. And in order to operate stable system, the gateway for interconnecting in and out vehicle networks is required. In this paper, we propose gateway interconnecting WAVE and CAN protocol. The proposed gateway based on OSEK OS consists of a communication layer, a message translator layer and a message management layer. In the communication layer, WAVE communication part and CAN communication part are designed to communicate with WAVE and CAN. And in the message management layer, message management layer functions to store the received messages and check errors with the message. Based on these functions, experiment was conducted to analyze performance of the gateway with two scenarios such as transmitting periodically BSM as a message structure for safety services in vehicle-to-vehicle communications and responding to road side equipments requiring in-vehicle information. As a result of test, we verify our gateway performance by analyzing measured time in test scenarios.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.8 no.2
• /
• pp.103-109
• /
• 2013

Traditional implementation schemes for automotive electronic control units look simple, but the tradition schemes need so many coarse works to satisfy the user requirements regarding time constraints whenever their microprocessors are changed. Recently, a movement toward using middle-wares, such as OSEK operating system, has risen in automotive industry. In this paper, we describe how to use the features of operating systems to replace traditional firmware based softwares in points of views of services, such as multitask support, preemption, and realtime property. To show an example, we implemented a parking assistance system as a prototype.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.11 no.1
• /
• pp.166-171
• /
• 2003

This paper presents the algorithms and Matlab Toolbox for co-simulation of distributed real-time control system based on OSEK-OS and CAN protocol. This toolbox enables the developers to analyze the timing uncertainty, which is caused by resource sharing including shared memories and networks, and to take the timing uncertainty into consideration in the early design phase. Furthermore, this toolbox helps the developers to model the behaviors of a control system by providing graphical user interface for objects of OSEK-OS and CAN. To prove the feasibility of this toolbox, a vehicle body network system is modeled with this toolbox, and the timing uncertainties are analyzed.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.178.2-178
• /
• 2001

Today, many electronic devices and ECUs (Electronic Control Units) are used in the automotive body control systems. It becomes more common that these devices exchange data with others through an in-vehicle network. Automobile manufacturers concentrate their efforts on development of body control systems based on networks in order to save cost and to increase flexibility and safety. OSEK/VDX has been founded as a joint project in German and French automotive industry aiming at an industry standard for an open-ended architecture for distributed control units in vehicles OSEK/VDX consists of Communication (specification of data exchange within and between control units), Network Management specification of Configuration determination and monitoring and Operating System (specification of realtime executive for ECU software ...

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.964-967
• /
• 2012

자동차산업이 발달하면서 자동차 내에도 ECU 기반의 전자 장비가 증가하고 있다. 다양한 차량용 전자 장비의 소프트웨어의 호환성과 효율적인 구동을 위하여 독일 자몽동차 업체를 필두로 자동차 업계에서는 OSEK/VDX 운영체제를 기반으로 AUTOSAR 표준화를 제안하였다. 본 논문에서는 AUTOS AR 표준에서 기반으로 하고 있는 OSEK/VDX와 기존의 RTOS (실시간 운영제제)를 다양한 측면에서 비교 분석하여 향후 자동차 소프트웨어를 위한 운영제제의 발전방향과 각각의 운영제제의 특성과 장점을 분석 하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.7
• /
• pp.1363-1370
• /
• 2009

Recently, the automobile industry is going through drastic environmental changes. The relative importance of information technology rapidly developed so far is getting heavier as it is grafted to electrical and electronic areas among all other automobile-related technologies. In this paper, an improved algorithm from the real-time scheduling algorithm of operation system which is loaded in embedded system will be presented. The number of wait-queue of priority was reduced from 16 to 4 in the parts where wide differences were shown in scheduling algorithm of the existing OSEK OS. While the FIFO algorithm was used in wait-queue, the EDF algorithm was applied to the proposed scheduling algorithm, which more improved the real-timeness. Also a simple experiment on the proposed scheduling algorithm was conducted.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.103-110
• /
• 2010

Due to the increasing amount of electronic control system in a vehicle, the automotive software is increasingly sophisticated and complicated. Therefore it may be faced a time critical problem caused by its complexity. In order to solve such problems, the automotive electronic system can use a real-time scheduling mechanism based on predictability. We first consider the standard specification of the AUTOSAR OS and uC/OS-II such as its scheduling theory with time determinism. In this paper, we propose the scheduling algorithm to be conformable to a conformance class of OSEK/VDX specification. Algorithm analysis shows that our scheduling algorithm outperforms an existing Trampoline OS by intuition.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.504-507
• /
• 2016

내장형 소프트웨어의 검증은 운영체제와 응용 소프트웨어에 대해 동시적으로 수행되어야 한다. 선행연구에서는 운영체제를 정형적으로 모델링하고 이를 이용한 내장형 소프트웨어 안전성 검증 기법을 제안하였다. 본 연구에서는 선행 연구에서 Promela로 작성되었던 정형 모델을 참조하여 C 언어로의 변환 규칙을 정의함으로써 구현에 독립적인 모델을 작성하였다. 작성된 검증 모델을 CBMC 모델 체커로 검증한 결과 요구사항으로부터 도출된 35개의 안전성 속성 중 가변 속성을 제외한 21개에 대하여 21개를 모두 만족함을 입증하였다.

• Korea Information Processing Society Review
• /
• v.15 no.5
• /
• pp.84-92
• /
• 2008

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.