• 제목/요약/키워드: 학부운영체제

검색결과 76건 처리시간 0.039초

OSEK/VDX 기반 전장용 운영체제의 안전성 검증을 위한 자동 테스트 시나리오 생성기 (Automatic Test Scenario Generator for OSEK/VDX-based Automotive Operating Systems)

  • 변태준;최윤자
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.1551-1554
    • /
    • 2012
  • 차량전장용 운영체제는 안전중요(safety-critical) 소프트웨어로써 엄밀한 검증과 테스트를 필요로 한다. 엄밀한 검증은 시스템의 모든 사용 가능한 시나리오의 도출을 필요로 하며, 이것을 수작업으로 생성하는 데에는 비용과 효율성에 문제가 있다. 본 연구에서는 차량전장용 운영체제의 국제표준인 OSEK/VDX 에 명시된 제약사항을 고려한 테스트 시나리오 자동 생성기와 이를 보조하는 OSEK/VDX 시뮬레이터를 개발하여 테스트 효율의 향상과 자동화를 도모하였다. 개발된 도구는 OSEK/VDX 기반 개방형 운영체제인 Trampoline 에 적용하여 효과를 입증하였다.

해양계 특성화를 위한 효율적인 학부제 운영 체제 개선 -목포해양대학교를 중심으로- (Effective Operation and Management Systems of Faculties in Mokpo National Maritime University for Differentiated Marine Education)

  • 김광수;안영섭
    • 해양환경안전학회:학술대회논문집
    • /
    • 해양환경안전학회 2004년도 춘계학술발표회
    • /
    • pp.127-150
    • /
    • 2004
  • 목포해양대학교 현행 4개 학부의 교육과정은 1997년도에 전면 개편되어 학부 단위로 무난히 실시되고 있지만, 해사계열의 특수성과 해양공학계열의 학부별 전공 구성의 차이점 등으로 인하여 일률적 학부운영방침을 대학 전체에 동일하게 적용하는 것은 다소무리가 있었다. 해양계 특성화라는 대학의 목표를 향하여 각 학부의 교육목표와 전공특성을 살리면서 사회와 관련산업계의 시대적인 요구를 만족시키기 위하여 학부운영을 효율화$\cdot$극대화할 수 있는 체제 정립 방안을 연구하고 있다. 1차 년도의 연구결과에 의하면, 해상운송시스템학부는 효율적인 학부운영체제의 개선 및 운영시스템 개발을 위하여 학부 특성 및 전공 구성에 대한 분석을 통하여 문제점을 발견하고 해결방안을 모색함과 동시에 학생들의 전공 선택권을 최대한 보장할 수 있는 효율적인 학부 운영 체제를 구축하는 방안을 제시한다. 기관시스템공학부는 현행 의무복수전공제도의 문제점 분석과 해결 방안 강구를 위하여 전공들간의 인계성을 강화하며 활성화할 수 있는 방안을 모색하고 해양경찰학 전공의 운영 및 지도 방안을 연구한다. 또한 해기품질관리 관련 규정 등의 분석을 통해 교육 및 훈련에 대한 질적 향상을 꾀하고 해기품질 향상을 위한 교육평가시스템을 개발하고 구축하고자 한다. 해양전자$\cdot$통신공학부는 전공간의 연계성 구축과 효율적 운영방안을 모색하기 위하여 학부제 및 복수전공제와 관련하여 설문조사 문항을 개발$\cdot$분석하고, 해양전자공학 전공 교과목 정비 및 교재 개발을 시도하고 있다. 해양시스템공학부는 전공구성의 특성을 고려한 탐색과목의 설치 및 산업체 실습과 연계한 학점인정과목의 검토를 위하여 현행의 전공소개 프로그램을 분석하고, 졸업생의 취업을 분석하며 산업체의 요구사항을 조사하고 있다.산 알고리즘의 정당성을 보였다. 맞이하고 있음을 볼 수 있다. 국내광업이 21C 급변하는 산업환경에 적응하여 생존하기 위해서는 각종 첨단산업에서 요구하는 소량 다품종의 원료광물을 적기에 공급 할 수 있는 전문화된 기술력을 하루속히 확보해야 하며, 이를 위해 고품위의 원료광물 확보를 위한 탐사 및 개발을 적극 추진하고 가공기술의 선진화를 위해 선진국과의 기술제휴 등 자원산업 글로벌화 정책이 절실히 요구되고 있음을 알 수 있다. 또한 삶의 질을 향상시키려는 현대인의 가치관에 부합하기 위해서는 각종 소비제품의 원료를 제공하는 광업의 본래 목적 이외에도 자연환경 훼손을 최소화하며 개발 할 수밖에 없는 구조적인 어려움에 직면할 수밖에 없다. 이처럼 국내광업이 안고 있는 여러 가지 난제들을 극복하기 위해서는 업계와 정부가 합심하여 국내광업 육성의 중요성을 재인식하고 새로운 마음가짐으로 관련 정책을 수립 일관성 있게 추진해 나가야 할 것으로 보인다.의 연구 결과를 요약하면 다음과 같다. 첫째, 브랜드 이미지와 서비스 품질과의 관계에서 브랜드이미지는 서비스 품질의 선행변수가 될 수 있음을 증명하였으며 4개 요인의 이미지 중 사풍이미지를 제외한 영업 이미지, 제품 이미지, 마케팅 이미지가 서비스 품질에 영향을 미치고 있음을 알 수 있다. 둘째, 지각된 서비스 품질과 가격 수용성과의 관계에서, 서비스 품질은 최소 가격에 신뢰서비스 요인에서 정의 영향을 미치고 있으나 부가서비스, 환경서비스에서는 역의 영향을 미침을 알수 있고, 최대 가격에 있어서는 욕구서비스 요인은 정의 영향을 미치지만 부가서비스의 경우에는 역의 영향을 미치고 있음을 알 수 있다. 셋째, 서비스품질과 재 방문 의도와의 관계에 있어서 서비스품질은 재 방문 의도에 영향을 미침을 알 수 있다. 따라서 브랜드 이미지는 서비스품질의 선행변수가 될 수 있으며, 서비스품

  • PDF

Fairness에 중점을 둔 프로세스 스케줄링 기법 (Process scheduling policy based on fairness)

  • 강성용;장학범;최형기
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 춘계학술발표대회
    • /
    • pp.964-966
    • /
    • 2011
  • 운영체제는 여러 가지 프로세스 스케줄링 기법을 지원한다. 본 논문에서는 오픈 소스운영체제인 Linux에서 fairness에 중점을 둔 스케줄링 기법을 설계 및 구현하여 프로세스들간의 priority inversion과 starvation을 해결하는 방법을 제안한다.

차량용 전장소프트웨어 운영체제를 위한 AUTOSAR OS (OSEK)과 상용 Real Time Operating System (RTOS) 비교 (Comparison Analysis of Candidate Real Time Operating System including AUTOSAR OS (OESK) for Automobile Operation)

  • 심재연;김성환
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 춘계학술발표대회
    • /
    • pp.964-967
    • /
    • 2012
  • 자동차산업이 발달하면서 자동차 내에도 ECU 기반의 전자 장비가 증가하고 있다. 다양한 차량용 전자 장비의 소프트웨어의 호환성과 효율적인 구동을 위하여 독일 자몽동차 업체를 필두로 자동차 업계에서는 OSEK/VDX 운영체제를 기반으로 AUTOSAR 표준화를 제안하였다. 본 논문에서는 AUTOS AR 표준에서 기반으로 하고 있는 OSEK/VDX와 기존의 RTOS (실시간 운영제제)를 다양한 측면에서 비교 분석하여 향후 자동차 소프트웨어를 위한 운영제제의 발전방향과 각각의 운영제제의 특성과 장점을 분석 하였다.

가상화 지원 스왑 장치를 이용한 효율적인 페이징 기법 (Virtualization Aware Swap Device for Efficient Paging)

  • 민창우;김인혁;김태형;엄영익
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2010년도 추계학술발표대회
    • /
    • pp.1728-1731
    • /
    • 2010
  • 가상화는 서버통합을 통하여 가상머신 간의 하드웨어 자원을 공유함으로써, 총 소유 비용을 줄일 수 있어서 널리 사용되고 있다. 하지만 메모리는 다른 장치와 달리 쉽게 공유되기 어려워서 서버 통합에 있어서 병목이 되고 있다. 이를 해결하기 위한 여러가지 방법들중 많은 방법이 공통적으로 가상머신모니터에서 페이징을 사용하고 있다. 하지만 게스트 운영체제와 가상머신모니터가 모두 페이징을 할 경우, 페이징이 급격히 증가가는 이중 페이징 문제가 발생할 수 있다. 본 논문에서는 이중 페이징 문제를 해결하기 위한 방법으로 가상머신모니터와 게스트 운영체제가 스왑 장치를 공유하는 가상화 지원 스왑 장치를 제안한다. 또한 실험을 통하여 가상머신모니터가 페이지 교환 알고리즘으로 LRU 를 사용할 경우 이중 페이징 문제가 크게 발생할 수 있음을 보인다.

가상 화면을 이용한 다중 윈도우즈 매니저 개발 (Development of Multiple-Windows Manager using virtual Screen)

  • 원희철;최재경;김순철
    • 한국산업정보학회논문지
    • /
    • 제14권5호
    • /
    • pp.53-59
    • /
    • 2009
  • 본 논문에서는 윈도우즈 운영체제 환경에서 다중 작업을 수행할 시 발생하는 문제점을 제시하고 이를 효율적으로 해결하기 위한 다중 윈도우즈 매니저를 제안한다. 본 논문에서 개발한 다중 윈도우즈 매니저는 3개의 윈도우즈 가상 화면을 사용하여, 윈도우즈 내에서 총 4개의 윈도우즈를 사용하는 것과 같은 효과를 볼 수 있으며, 이를 통해 다중 작업 시 발생하는 늦은 처리 속도와 높은 복잡도 문제를 개선할 수 있도록 한다.

클로즈드 소스 기반 가상 머신의 성능 비교 (Performance Comparison of Closed Source-Based Virtual Machines)

  • 이혁준;김성기;최재영;민병준
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 추계학술발표대회
    • /
    • pp.121-124
    • /
    • 2012
  • 가상화 기술은 물리적인 컴퓨팅 자원을 논리적으로 분할하여 여러 사용자에게 제공함으로써 자원 효율성 및 관리 측면에서 큰 이점을 갖고 있을 뿐만 아니라 클라우드 기술의 핵심으로 그 중요성이 나날이 높아지고 있다. 이에 맞춰 가상 머신의 성능 측정 방법 및 성능 비교 역시 활발하게 진행되어야 하나, 실제로는 서버 가상화 위주의 벤더 종속적인 성능 비교가 진행되어 왔다. 본 논문에서는 기존의 가상 머신 성능 측정 방법에 대해 연구하고 운영체제에서 제공하는 유틸리티를 이용하여 성능 측정 방법을 제안한다. 전가상화(Full Virtualization)방식의 클로즈드 소스 기반(Closed Source Based)의 가상화 솔루션들을 선정하여 윈도우즈와 리눅스 운영체제 상에서 각각 성능 측정 방법 및 요소를 정의하고 성능 측정 후 비교하였다. 그 결과로 각 가상화 솔루션의 성능 비교 지표를 통하여 가상 머신의 실행과 가상 머신상의 응용 프로그램이 호스트 운영체제에 미치는 부하를 분석하였다.

풍력발전시스템에서 제어기를 위한 고 가용성의 FTSM 설계 (A Design on FTSM for supporting High Availability in Wind Turbine Controller)

  • 김영환;손재기;황태호;함경선;홍지만
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 춘계학술발표대회
    • /
    • pp.3-6
    • /
    • 2011
  • IT 기술의 발전에 따른 전력 사용량 증가로 인해서 친환경 재생 에너지에 대한 관심이 집중되고 있는 상황으로 다양한 재생 에너지자원 가운데 풍력에너지 개발이 전 세계적으로 급속히 증가하고 있다. 그러나 풍력발전기를 제어하는 제어기의 소프트웨어·하드웨어적인 문제로 인해 불규칙한 에너지 생산과 유지보수를 위한 비용이 증가함에 따라 최근에는 풍력제어기의 고장분석 및 고장 감내 제어에 대한 연구가 활발히 진행되고 있는 상황이다. 본 논문에서는 이와 같은 풍력발전기가 지속적으로 일정한 에너지 생산과 유지보수 절감이 가능하도록 하기 위해 풍력제어시스템 차원에서의 고장에 대해서 감내 가능한 고가용성의 미들웨어에 대한 구조를 제안한다. 풍력제어시스템의 고 가용성 미들웨어는 가상 운영체제를 기반으로 이중화 구조를 가지고 있으며, 주 운영체제에서 소프트웨어적인 고장이 발생 시 다음 우선순위의 가상 운영체제에서 지속적인 서비스를 제공할 수 있도록 각각의 가상 운영체제 환경을 관리한다.

SELinux 정책템플릿 기술언어 설계 (The Design of SELinux Policy Template Description Language)

  • 최민호;김정순;김민수;노봉남
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2007년도 춘계학술발표대회
    • /
    • pp.965-968
    • /
    • 2007
  • 현재 보안 운영체제로서의 SELinux를 이용하기 위해서는 전문적인 지식이 필요하며 정책을 설정함에 있어서도 시스템 콜 레벨의 설정이 필요하다는 문제점이 존재한다. 이러한 문제점을 개선하기위해 정책 정의를 SELinux의 TE모델보다 간략하게 표현 및 정의하고 사용자의 접근성을 높일 수 있는 기술언어를 본 연구에서 설계하였으며 이를 통해 보안 운영체제의 활용도를 높이도록 하였다.