• Title/Summary/Keyword: 학부운영체제

Search Result 76, Processing Time 0.036 seconds

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

  • Byun, Taejoon;Choi, Yunja
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2012.11a
    • /
    • 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 (해양계 특성화를 위한 효율적인 학부제 운영 체제 개선 -목포해양대학교를 중심으로-)

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

  • PDF

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

  • Kang, Seong-Yong;Jang, Hak-Beom;Choi, Hyoung-Kee
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.04a
    • /
    • pp.964-966
    • /
    • 2011
  • 운영체제는 여러 가지 프로세스 스케줄링 기법을 지원한다. 본 논문에서는 오픈 소스운영체제인 Linux에서 fairness에 중점을 둔 스케줄링 기법을 설계 및 구현하여 프로세스들간의 priority inversion과 starvation을 해결하는 방법을 제안한다.

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

  • Shim, Jae-Youn;Kim, Seong-Whan
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2012.04a
    • /
    • pp.964-967
    • /
    • 2012
  • 자동차산업이 발달하면서 자동차 내에도 ECU 기반의 전자 장비가 증가하고 있다. 다양한 차량용 전자 장비의 소프트웨어의 호환성과 효율적인 구동을 위하여 독일 자몽동차 업체를 필두로 자동차 업계에서는 OSEK/VDX 운영체제를 기반으로 AUTOSAR 표준화를 제안하였다. 본 논문에서는 AUTOS AR 표준에서 기반으로 하고 있는 OSEK/VDX와 기존의 RTOS (실시간 운영제제)를 다양한 측면에서 비교 분석하여 향후 자동차 소프트웨어를 위한 운영제제의 발전방향과 각각의 운영제제의 특성과 장점을 분석 하였다.

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

  • Min, Changwoo;Kim, Inhyuk;Kim, Taehyoung;Eom, Young Ik
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.1728-1731
    • /
    • 2010
  • 가상화는 서버통합을 통하여 가상머신 간의 하드웨어 자원을 공유함으로써, 총 소유 비용을 줄일 수 있어서 널리 사용되고 있다. 하지만 메모리는 다른 장치와 달리 쉽게 공유되기 어려워서 서버 통합에 있어서 병목이 되고 있다. 이를 해결하기 위한 여러가지 방법들중 많은 방법이 공통적으로 가상머신모니터에서 페이징을 사용하고 있다. 하지만 게스트 운영체제와 가상머신모니터가 모두 페이징을 할 경우, 페이징이 급격히 증가가는 이중 페이징 문제가 발생할 수 있다. 본 논문에서는 이중 페이징 문제를 해결하기 위한 방법으로 가상머신모니터와 게스트 운영체제가 스왑 장치를 공유하는 가상화 지원 스왑 장치를 제안한다. 또한 실험을 통하여 가상머신모니터가 페이지 교환 알고리즘으로 LRU 를 사용할 경우 이중 페이징 문제가 크게 발생할 수 있음을 보인다.

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

  • Won, Hui-Chul;Choi, Jae-Kyung;Kim, Soon-Cheol
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.14 no.5
    • /
    • pp.53-59
    • /
    • 2009
  • In this paper, we describe the problems which can happen during multi-tasking process in the Windows operating system (OS) environment. To cope with the problems, multiple-windows manager program is proposed in this paper. If we use the proposed multiple-windows manager program with three virtual screen, we can obtain the effect like using four Windows OS and thus we can improve the tardy speed and the high complexity for multi-tasking process.

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

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

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

  • Kim, Young-Hwan;Son, Jae-Gi;Hwang, Tae-Ho;Ham, Kyoung-Sun;Hong, Ji-Man
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.04a
    • /
    • pp.3-6
    • /
    • 2011
  • IT 기술의 발전에 따른 전력 사용량 증가로 인해서 친환경 재생 에너지에 대한 관심이 집중되고 있는 상황으로 다양한 재생 에너지자원 가운데 풍력에너지 개발이 전 세계적으로 급속히 증가하고 있다. 그러나 풍력발전기를 제어하는 제어기의 소프트웨어·하드웨어적인 문제로 인해 불규칙한 에너지 생산과 유지보수를 위한 비용이 증가함에 따라 최근에는 풍력제어기의 고장분석 및 고장 감내 제어에 대한 연구가 활발히 진행되고 있는 상황이다. 본 논문에서는 이와 같은 풍력발전기가 지속적으로 일정한 에너지 생산과 유지보수 절감이 가능하도록 하기 위해 풍력제어시스템 차원에서의 고장에 대해서 감내 가능한 고가용성의 미들웨어에 대한 구조를 제안한다. 풍력제어시스템의 고 가용성 미들웨어는 가상 운영체제를 기반으로 이중화 구조를 가지고 있으며, 주 운영체제에서 소프트웨어적인 고장이 발생 시 다음 우선순위의 가상 운영체제에서 지속적인 서비스를 제공할 수 있도록 각각의 가상 운영체제 환경을 관리한다.

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

  • Choi, Min-ho;Kim, Jung-Sun;Kim, Min-Soo;Noh, Bong-Nam
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2007.05a
    • /
    • pp.965-968
    • /
    • 2007
  • 현재 보안 운영체제로서의 SELinux를 이용하기 위해서는 전문적인 지식이 필요하며 정책을 설정함에 있어서도 시스템 콜 레벨의 설정이 필요하다는 문제점이 존재한다. 이러한 문제점을 개선하기위해 정책 정의를 SELinux의 TE모델보다 간략하게 표현 및 정의하고 사용자의 접근성을 높일 수 있는 기술언어를 본 연구에서 설계하였으며 이를 통해 보안 운영체제의 활용도를 높이도록 하였다.