• 제목/요약/키워드: OSEK

검색결과 38건 처리시간 0.022초

OSEK/VDX 표준과 CAN 프로토콜을 사용한 차체 네트웍 시스템 개발 (Development of a Body Network System with GSEK/VDX Standards and CAN Protocol)

  • 신민석;이우택;선우명호;한석영
    • 한국자동차공학회논문집
    • /
    • 제10권4호
    • /
    • pp.175-180
    • /
    • 2002
  • In order to satisfy the requirements of time reduction and cost saving for development of electronic control systems(ECU) in automotive industry, the applications of a standardized real-time operating system(RTOS) and a communication protocol to ECUs are increased. In this study, a body control module(BCM) that employs OSEK/VDX(open system and corresponding interfaces for automotive electronics/vehicle distributed executive) OS tour the RTOS and a controller area network(CAN) fur the communication protocol is designed, and the performances of the system are evaluated. The BCM controls doors, mirrors, and windows of the vehicle through the in-vehicle network. To identify all the transmitted and received control messages, a PC connected with the CAN communication protocol behaves as a CAN bus emulator. The control system based upon in-vehicle network improves the system stability and reduces the number of wiring harness. Furthermore it is easy to maintain and simple to add new features because the system is designed based on the standards of RTOS and communication protocol.

자동차 기술과 IT 기술 융합 SW 표준화 동향

  • 박미룡;이성훈;박경민;한태만
    • 정보와 통신
    • /
    • 제25권6호
    • /
    • pp.3-11
    • /
    • 2008
  • 사용 편의나 안전 서비스를 위해 자동차에 내장되는 전자장치(ECU: Electronic Control Unit)는 증가하고 분산 네트워크 구조에서 운영되도록 네트워크 기반 응용 SW는 더욱 복잡해진다. 복잡해지고 분산화되는 ECU에 적용 가능한 응용서비스 개발을 위해 운영체제에서부터 플랫폼 및 응용 SW에 이르기까지 다양한 분야의 산업 표준화가 진행되고 있다. 운영체제 분야에서는 OSEK/VDX, SW 플랫폼 및 응용서비스 분야에서는 AUTOSAR, 응용서비스의 안전과 신뢰성 검증을 위하여 IEC-61508등에 근거하는 FTA(Fault Tree Analysis) 및 FMEA(Failure Mode and Effect Analysis) 등을 SW 분야에서도 반영하는 추세이다. 본 논문에서는 자동차 전자장치에 사용되는 IT기술의 접목 분야별 표준화 동향과 각 국가 및 지역별 추진방향을 살펴본다.

차량용 MOST 네트워크를 위한 POSIX 기반의 Network Service 설계 및 구현 (Design and Implementation of MOST Network Service over POSIX)

  • 이무열;정성문;진현욱
    • 대한임베디드공학회논문지
    • /
    • 제5권1호
    • /
    • pp.23-28
    • /
    • 2010
  • The automotive industry tries to provide infotainment systems to emerging automobiles. Since the infotainment systems require various peripheral devices and network connectivity, legacy operating systems such as Linux and Windows can be much preferred due to its plentiful device drivers and multimedia applications while the operating systems following OSEK standard are used for automotive electronic control units. Thus it is highly desired that the system software supporting infotainment applications can be portable over different legacy operating systems providing unified programming interfaces. The majority of legacy operating systems support POSIX interfaces for application development. MOST is an automotive network standard for infotainment systems. Network Service defines the protocol stacks for MOST control data, which is essential to implement infotainment applications over MOST. In this paper, we suggest a POSIX-based Network Service so that we can utilize legacy device drivers and applications for automotive infotainment systems. We measure the performance of the POSIX-based Network Service and show that its overhead is not significant.

효과적인 소프트웨어 검증을 위한 코드 자르기 도구의 개발 (Code Slicing Tool for Effective Software Verification)

  • 김동우;박민규;최윤자
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2014년도 춘계학술발표대회
    • /
    • pp.586-589
    • /
    • 2014
  • 고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증은 시간과 비용이 오래 걸리는 단점이 있다. 본 논문에서는 안전성 검증의 고비용 문제를 개선하기 위해 안전성 특질을 기준으로 코드 자르기 기법[2]을 구현한 도구를 개발하였다. 개발한 도구를 OSEK/VDX[1] 기반의 개방형 차량 전장용 운영체제인 Trampoline[3] 소스코드에 적용한 결과 분석 대상의 코드의 크기를 83% 줄일 수 있음을 보였다.

자동차 전장 시스템에서 주기 및 비주기 태스크를 위한 실시간 스케줄링 (Real-Time Scheduling for Periodic and Aperiodic Tasks on Automotive Electronic System)

  • 조수연;김남진;이은령;김재영;김주만
    • 대한임베디드공학회논문지
    • /
    • 제6권2호
    • /
    • pp.55-61
    • /
    • 2011
  • We propose power-saving real-time scheduling method for mixed task sets which consist of both time-based periodic and event-based aperiodic tasks in the automotive operating system. In this system, we have to pursue maximization of power-saving using the slack time estimation and minimization of response time of aperiodic tasks simultaneously. However, since these two goals conflict each other, one has to make a compromise between them according to the given application domain. In this paper, we find the adjustment factor which gives better response time of aperiodic tasks with slight power consumption increase. The adjustment factor denotes the gravity of response time for aperiodic tasks. We apply the ccEDF scheduling for time-based periodic tasks and then calculate new utilization to be applied to the adjustment factor. In this paper, we suggest the lccEDF algorithm to make a tradeoff between the two goals by systematically adjusting the factor. Simulation results show that our approach is excellent for variety of task sets.

특질기반 테스트 대상 함수 추출을 위한 함수탐색기 (A function finder for property-based extraction of test target functions)

  • 김동우;박민규;최윤자
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2013년도 춘계학술발표대회
    • /
    • pp.954-957
    • /
    • 2013
  • 고안전성이 요구되는 내장형 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증의 고비용 문제를 해결하기 위하여, 기존연구에서는 안전성 특질기반 테스트 대상함수를 추출하여 테스트 시나리오 생성하는 생성기를 개발하여 검증 효율을 높이는데 기여하였다. 그러나 기존의 도구는 함수포인터를 탐색 하지 못한 문제와, 변수에 대한 규칙 부족문제 그리고 모듈화 되지 않아 유지 및 보수가 어려운 문제가 있었다. 본 논문에서는 기존도구의 문제점들을 개선하여 정확도를 높인 새로운 함수탐색기를 소개한다. 개발된 함수탐색기는 모듈화 되어 차후에 수정 및 보완 문제에 대하여 유연하게 대처할 수 있게 하였다. 개선된 함수탐색기를 OSEK/VDX[1] 기반의 개방형 차량전장용 운영체제인 Trampoline을 대상으로 테스트 해 본 결과 기존 도구보다 약 68%의 높은 정확도를 보였다.

Pig Feeding under the Potato-green Forage Base System with or without Addition of Herbs versus a Concentrate Based System: Effect on Post-slaughter Performance and Pork Characteristics

  • Turyk, Zofia;Osek, Maria;Olkowski, Boguslaw;Janocha, Alina
    • Asian-Australasian Journal of Animal Sciences
    • /
    • 제27권5호
    • /
    • pp.683-689
    • /
    • 2014
  • This study examined carcass and meat quality parameters in growing/finishing pigs fed unconventionally versus the concentrate-based system. Ninety-six, 12 wk old pigs ($34{\pm}SD0.3kg$) were randomly divided into three groups, assigned to one of the three dietary treatments: standard complete concentrate mixture, conventional (C diet); unconventional, steamed potato-green forage-concentrate based diet (U diet), and unconventional basal diet+herbage mix (UH diet). Pigs fed U diet showed lower dressing percentage, meatiness, loin eye area, and weight of pork neck ($p{\leq}0.05$), but their carcasses were significantly ($p{\leq}0.05$) longer and had increased backfat depth ($p{\leq}0.05$). There was no impact of the diet on the meat content of dry matter, crude ash, acidity, and colour parameters of m. longissimus. Unconventional feeding significantly ($p{\leq}0.05$) elevated water the holding capacity of m. longissimus and slightly improved the sensory attributes analysis of meat. The addition of herbs resulted in increased loin eye area ($p{\leq}0.05$), decreased fat content ($p{\leq}0.05$) in m. longissimus, and tended to improve some sensory attributes of meat. There were significant gender differences in response to all diets. There were significant diet${\times}$sex interactions for some measured variables, but there were no clearly identifiable trends with regard to any specific carcass or meat parameters. Feeding unconventional diet to pigs may offer better culinary attributes of the meat, and improve some technologically important characteristics of pig carcass, but may negatively affect some carcass or meat parameters.

차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교 (Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety)

  • 김동우;최윤자
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제5권12호
    • /
    • pp.615-622
    • /
    • 2016
  • 차량전장용 제어 소프트웨어는 표준에 명시된 시스템 호출 제약사항을 위배할 경우 심각한 안전성 위협을 초래할 수 있다. 그러나 제약사항 위배는 실행경로가 복잡해질 경우 수동분석으로 색출하기 어렵고 테스팅을 통해 찾아내기도 어려워 이에 특화된 검증 방법이 필요하다. 본 연구에서는 차량전장용 제어 소프트웨어의 시스템 호출 제약사항 위배 여부를 효과적으로 검증하기 위한 두 가지 방법을 소개하고 그 효과를 실험적으로 비교하였다. 첫 번째 방법은 애플리케이션의 모든 가능한 실행경로를 탐색하고 각 경로의 제약사항 준수여부를 확인하는 방법이며, 두 번째 방법은 모델 검증 도구를 이용하여 애플리케이션이 오토마타로 표현된 제약사항을 위배하는 경우가 발생가능한지 확인하는 방법이다. 각 방법을 구현하고 실험한 결과 실행경로를 이용한 방법은 오탐을 유발하고 몇 가지 제약사항 위반을 놓치는 경우가 있는데 반해서 모델 검증을 이용한 방법은 오탐이 없었으며 비교적 큰 애플리케이션을 대상으로 보다 빠른 시간 내에 검증을 수행할 수 있음을 보였다.