• 정보보호학회지
• /
• 제19권1호
• /
• pp.67-74
• /
• 2009

본 논문은 공학교육인증 체제에서 요구되는 학부생들의 실무 설계능력을 제고하기 위하여 지역대학에서 필요한 산학협동과제 기반의 실무인력양성 모델을 제안한다. 산학맞춤형 프로그램, 인턴쉽 프로그램 등 학부 학생들의 실무능력 향상 및 취업률 제고를 위한 기존 방안들이 만족할 만한 효과를 거두지 못하고 있는 상황에서 학생들의 실무수행 능력 제고를 위한 보다 근본적인 대학-산업체간의 협력이 요구되며 상호 신뢰를 바탕으로 산학협동과제를 발굴하여 이를 주제로 실무인력 교육에 상호 지원하는 체제가 요구된다. 본 논문에서는 제안한 모델에 기반을 둔 연구개발팀을 실제로 구성하여 산업체로부터 제시되는 프로젝트를 추진한 사례를 통하여 학부 학생들이 산업체에서 활용 가능한 수행 결과물을 도출함과 동시에 참여 학생들의 취업 성과를 통하여 실무능력이 월등히 개선될 수 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.841-843
• /
• 2005

본 논문에서는 UML-RT(Real-Time) 모델에서 태스크를 직접 제어하기 위한 목적으로 일정 시간마다 틱을 발생하는 소프트 타이머 인터럽트 모델을 구현하였으며 생성된 모델 코드의 실행 성능 결과를 제시하였다. 그리고 소프트 타이머 인터럽트 모델 코드의 실시간 실행이 가능하도록 UML-RT 도구의 TargetRTS 라이브러리를 실시간 확장 윈도우 환경에 맞게 수정하였다. 실시간 확장 윈도우 운영체제와 UML-RT 개발 환경에서 설계, 구현한 소프트 타이머 인터럽트 모델의 성능 측정 결과 실시간으로 동작 가능함을 보여주었다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2006년도 하계학술대회
• /
• pp.228-232
• /
• 2006

최근 활발히 개발 중인 보안운영체제의 핵심인 보안커널(security kernel)은 참조모니터(reference monitor)에서 주체(subject)가 객체(object)에 대한 실행(action) 권한을 판단함으로써 접근 제어를 실행한다. 보안운영체제의 대표적인 접근제어모델에는 다중레벨접근제어(MLS: Multi Level Security)모델과 역할기반접근제어(RBAC: Role Based Access Control) 모델 등이 있다. 리눅스 시스템에서 이러한 접근제어모델을 적용하기 위해서 접근 대상이 되는 객체들의 효과적인 분류가 요구된다. 본 논문에서는 리눅스 환경에서 효과적인 접근제어모델을 적용하기 위하여 객체들을 객체 클래스(class)와 유형(type)을 기준으로 분류 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제10권2호
• /
• pp.11-19
• /
• 2005

본 논문에서는 보안 운영체제의 성능 평가 모델 및 시나리오에 대해서 기술하고 있으며, 보안 운영체제 성능 평가 방법을 이용하여 상용 보안 운영체제의 성능을 분석하였다. 다양한 성능 분석 툴을 이용하여 보안 운영체제의 오버헤드 결과를 자세히 분석하고 있다. 본 연구를 통해서 보안 운영체제와 일반 운영체제의 성능 비교가 가능할 것이며, 보안 운영체제에 다양한 보안 정책이 추가되었을 때와 그렇지 않은 경우 직접적인 성능의 차이를 볼 수 있게 된다. 본 연구결과는 보안 운영체제 구매자, 평가자 및 개발자들에게 가이드라인이 될 수 있으며, 보안 운영체제의 성능 평가에 대한 기초 자료로 활용 될 수 있다

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2013년도 춘계 종합학술대회 논문집
• /
• pp.445-446
• /
• 2013

전국에 1인 전문가 체제의 박물관이 늘어나고 있다. 그러나 1인의 전문가가 박물관의 다양한 구성요소들을 콘텐츠화하여 운영하기 위해서는 시간과 자원이 부족하다. 본 논문은 1인 전문가 체제의 박물관이 운영되고 활성화되는 모델을 '공유'에서 찾고자 한다. '공유'는 박물관이 위치한 지역공동체의 요구를 수용하고 인적, 물적 자원을 확장하여 활용하는 방법이다. 기존의 박물관 협력망 사업은 재원 지원이 가능한 대규모 박물관이 주최가 되어 1인 체제 박물관을 지원해주는 방식으로 진행되었다. 기존의 체제가 박물관 지식의 전문성을 강조한 경쟁 원리를 기반으로 한다면, 지역과 박물관의 공유 방식은 소통을 기반으로 융 복합의 패러다임을 제시한다. 재원과 인력을 지역사회에서 충당하는 1인 체제 박물관은 자생(自生)이 가능하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.175-177
• /
• 2003

최근 실시간 운영체제하에서의 특정한 기능을 수행하는 임베디드 시스템의 급속한 발전함에 따라 유, 무선 네트워크 기능뿐만 아니라 PDA(Personal Digital Assistants), 디지털 TV 등에 사용되는 멀티미디어 처리가 가능한 시스템이 필요하게 되었다. 이런 시스템은 효율적인 파일시스템을 필요로 하게 된다. 본 논문에서는 많은 운영체제에서 사용되는 FAT(File Allocation Table) 파일 시스템을 실시간 운영체제와 함께 동작하도록 구현하는 방법을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.880-882
• /
• 2003

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• 정보보호학회지
• /
• 제2권2호
• /
• pp.40-46
• /
• 1992

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 추계학술발표대회
• /
• pp.962-965
• /
• 2015

차량 전장용 소프트웨어는 자동차 전자 장비들을 제어하는 만큼 그 정확성과 안전성이 검증되어야 한다. 본 연구에서는 차량 전장용 제어 소프트웨어의 제어논리가 프로그래머가 의도한 데로 구성되어 있는지를 코딩단계에서 실험하고 가시화하는 도구를 개발하였다. 이를 위해 제어 소프트웨어와 함께 컴파일될 전장용 운영체제의 정형 모델을 구축하고 운영체제 구현과는 독립적으로 제어 프로그램에서 정의된 Task들의 수행 순서를 모의 실험하여 차량 전장용 운영체제의 Task 상태 변화를 확인할 수 있도록 하였다. 임의 생성된 제어프로그램 코드와 실제 차량 전장용 제어프로그램 코드에 개발된 도구를 적용하여 그 효용성을 확인하였다.

• 조명전기설비학회논문지
• /
• 제24권4호
• /
• pp.95-102
• /
• 2010

전력산업이 경쟁적 시장체제로 옮겨가면서 기존의 수직통합체제에서와는 다른 운영 메카니즘을 필요로 하게 되었다. 기존의 급전 알고리듬은 최적화 모델에 기반 하여 비용 최소화 목적함수 및 물리적 재무적 제약조건을 정식화하여 최적의 발전량을 산출하는 개념인데, 현재의 상용 시장 시뮬레이터들은 대부분 이러한 기존 급전 알고리듬에 근거하여 시장가격을 추정하게 된다. 이러한 방법을 분석적 방법이라고 하는데, 이러한 방법으로 시장가격을 추정하기 위해서는 다양한 데이터들이 정확히 입력되고 시장의 구조적 모델로 상세히 수립되어야 정확한 결과를 예측할 수 있다. 수직 통합적 체제에서는 모든 데이터들이 단일의사결정 주체에 집중되므로 이러한 방법이 적합하지만, 경쟁적 시장체제에서는 많은 정보가 상업적 기밀로 분류되기 때문에 발전사업자 입장에서 이러한 방법으로 가격을 예측하는데 한계가 있을 수밖에 없다. 따라서 본 논문에서는 이러한 분석적 방법을 적용하기 힘든 상황에서, 시장의 과거 데이터와 공개 정보를 이용한 실험적 방법에 근거하여 확률과정 기반의 가격모델을 수립하고 그로부터 시장가격의 궤적을 추정하는 방법을 제안하고자 한다. 이러한 확률과정론 기반의 가격 모델은 장기적인 설비계획과 장기계약을 수립하는데 유용하게 사용될 수 있으리라 전망된다.