• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.811-813
• /
• 2005

무인 자동차 시스템과 같은 실시간 제어 환경에서는 각종 센서의 상황에 대한 주기적인 폴링, 실시간 스케줄링, 병행 메소드의 지원 실시간 병행 접근 제어 등과 같은 환경이 요구된다. 본 논문에서는 micro 내장형 운영체제상의 실시간 객체 엔진으로 개발한 TMO-eCos를 기반으로, TMO를 이용한 무인 자동차 제어프레이워크와 이를 활용한 응용 모델에 대해 기술한다. TMO 모델을 이용한 무인 자동차 제어 프레임워크는 실시간 제어 시스템 개발을 위한 객체 기반의 규격적 환경을 제공하여, 최근 국내외적으로 많은 연구가 진행되고 있는 지능헝 실시간 로봇 제어소프트웨어의 기본 플랫폼으로 활용될 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.474-476
• /
• 2000

소프트웨어 프로젝트의 비용의 대부분이 구현(implementation) 단계나 테스트 단계에서의 에러 수정에 소모되고 있으며, 이러한 에러들의 대부분은 프로젝트 개발 초기 단계에서의 부정확(imprecision)에 기안한 것이다. 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z나 VDM과 같은 정형 표기법에 의해 쓰여진다. 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP(Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 연구에서는 Z와 같은 범용 목적의 명세 언어가 병행성(concurrency)을 표현할 수 있도록 하기 위해서, 병행 프로세서(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다.

• 한국콘텐츠학회논문지
• /
• 제10권7호
• /
• pp.115-121
• /
• 2010

실시간 데이터베이스 시스템에서는 높은 우선순위를 갖는 트랜잭션의 선행 처리가 항상 보장되어야 한다. 비관적 병행수행제어 방법은 충돌 발생 시 낮은 우선순위 트랜잭션을 철회 또는 대기시킴으로써 충돌을 해결한다. 그런데 높은 우선순위 트랜잭션이 마감시간을 지키지 못하고 시스템에서 제거되는 경우, 낮은 우선순위 트랜잭션이 불필요하게 철회되거나 대기하는 문제가 발생된다. 본 논문에서 제안하는 방법은 마감시간을 초과할 트랜잭션을 미리 시스템에서 제거한다. 그래서 불필요한 자원 낭비를 막고 낮은 우선순위를 갖는 트랜잭션이 불필요하게 철회되거나 대기하는 문제를 해결한다. 성능평가를 통해 트랜잭션의 마감시간 초과 비율 측면에서 기존의 방법들 보다 우수함을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.

• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.473-482
• /
• 2001

이질형 통합 데이타베이스 시스템은 비정형 데이타를 비롯하여 관계형 데이타베이스 시스템의 정형 데이타에 이르기까지, 지역적으로 여러곳에 산재해 있는 유용한 정보를 통합하여 일관된 인터페이스를 통한 접근을 제공하는 통합 데이타베이스 시스템이다. 통합된 데이타 자원들은 서로 다른 질의 처리 능력을 제공할 뿐 아니라, 지역 자치성(local autonomy)요구사항 때문에 전역적 트랜잭션 처리를 위한 지역 시스템의 상호 협조 운영이 불가능하여, 전역적 직렬성(global serializability)을 만족하는 전역 트랜잭션 관리기의 설계가 없다. 본 논문에서는 이질형 통합 데이타베이스 시스템의 전역 트랜잭션 관리 문제점 중에서 가장 잘 알려진 간접충돌의 문제를 해결하기 위해, 전역 무결성 제약사항의 특징을 이용한 전역 트랜잭션 모델을 정의한다. 전역 트랜잭션 모델을 기반으로 지역-로킹 연산과 이에 다른 프로토콜을 제안하고, 제안된 프로토콜이 전역 트랜잭션을 보장함을 증명한다. 또한 본 논문에서 제안된 지역 -로킹 병행수행 제어 방법은 보다 현실적인 간접충돌의 범위를 정의함으로써, 기존의 제안된 방법보다 높은 병행성 정도(concurrency degree)를 보장함을 지역 접근에 대한 경쟁률 분석을 통해 살펴본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (C)
• /
• pp.15-20
• /
• 2008

데이터베이스가 DTD를 가지는 valid XML을 관리하기 위해서는 XML 문서를 변경하는 트랜잭션들에 대한변경 유효성을 검사할 수 있는 메커니즘이 필요하게 된다. 그리고 이러한 유효성의 검증 범위는 유효성을 검증하기 위해 필요한 정보를 담고 있는 노드들을 나타낸다고 할 수 있는데 이것은 유효성 검증이 올바르게 수행되기 위해서는 검증 범위에 속하는 데이터 아이템들이 다른 트랜잭션들에 의해서 변경되지 않도록 보장하는 병행수행 제어 기법이 필요하다는 것을 의미하며 이를 위해 유효성과 병행수행에 대한 낙관적 처리 기법이 필요하게 된다. 본 논문에서는 효율적인 충돌 탐지와 같은 검증 범위에서의 유효성 검사를 통해 변경 연산의 트랜잭션들의 병행수행 성능을 향상시키는 기법을 제안하고 기존연구의 유효성 검증과 충돌 탐지 기법을 비교, 분석한다.

• 대한교통학회지
• /
• 제21권4호
• /
• pp.79-90
• /
• 2003

내부미터링은 제어구간 안에서 과포화링크 상류부의 유입교통량을 적절히 제어하는 것으로 과포화시 빈번히 발생하는 앞막힘현상이나 이로 인한 교차도로의 통행권 방해 등으로 일어나는 불필요한 지체를 방지하여 네트워크 안의 교통류를 안정적으로 유지하는 제어전략이다. 이는 기존의 COSMOS의 과포화제어 전략보다 적극적인 제어 방법으로 앞막힘현상으로 인한 교차로 막힘현상을 사전에 예방할 수 있고, 링크의 Storage의 사용을 최대화할 수가 있다. 본 연구에서는 기존 COSMOS 시스템 유지를 전제로 한 내부미터링 알고리즘과의 병행 운영 방안을 도출하기 위해 다음과 같은 연구를 수행하였다. 우선 내부미터링 제어전략의 적용을 위한 COSMOS 기본 환경 구축안을 제시하였다. 즉, 내부미터링이 적용 가능한 교통환경 정의, 내부미터링 적용구간 설정을 위한 원칙과 C.I.와 M.I. 검지기 체계 및 제어기 체계를 제시하였다. 그리고 기존 COSMOS시스템과의 병행 운영을 위한 제어절차를 제시하였다. 제시된 제어절차에 대한 실험평가 결과, 내부미터링 제어를 적용시 각 접근로의 대기행렬길이가 안정적으로 유지됨을 확인하였고, 전체 대상구간의 운영효율을 증진시키는 것으로 평가되었다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권3호
• /
• pp.230-245
• /
• 2002

실시간 응용을 위한 데이타베이스 시스템은 각 트랜잭션에 부여된 시간 제약사항을 만족해야 한다. 일반적으로, 트랜잭션 스케줄러는 종료시한이라는 형태로 각 트랜잭션의 시간 제약 사항을 표현하며 이는 그 트랜잭션의 우선순위로 사용이 된다. 최근, 보안이 많은 실시간 응용에서 중요한 요구사항이 되고 있다. 많은 시스템에서 기밀성을 띤 정보가 서로 다른 인가등급을 가진 사용자에 의해 공유된다. 시간 제약사항과 동시에 기밀 데이타를 관리하는 응용에서 진보된 데이타베이스 시스템의 사용이 증가하면서 시간 제약사항과 보안 요구사항을 만족하는 병행수행 제어 프로토콜의 개발이 요구되어지고 있다. 본 논문에서는 보안 요구사항과 실시간 요구사항을 보장하는 두 개의 병행수행 제어 프로토콜들을 제안한다. 제안하는 프로토콜들은 다중버전 로킹에 기반을 두고 있지만 두 가지 제약사항을 만족시키기 위해서 얼림이라는 새로운 기법을 사용한다. 또한, 제안하는 프로토콜의 정확성을 증명하고 기존의 로킹에 기반을 둔 프로토콜들보다 높은 병행수행 정도를 제공함을 증명한다. 마지막으로, 몇 가지 예제를 통해 다른 프로토콜들과 성능 분석을 수행하여 성능 향상이 있음을 보인다.

• 컴퓨터교육학회논문지
• /
• 제13권6호
• /
• pp.9-21
• /
• 2010

병행 프로세스들은 공유 자원을 동시에 읽거나 쓰려고 할 때 서로 경쟁하게 된다. 이때 상호배제, 교착상태, 기아라는 세 가지 제어 문제가 발생한다. 병행성은 이해하기 어려운 운영체제 분야의 주제이다. 현재 대부분의 운영체제 교재에 포함되어 있는 병행 프로그램들은 의사코드로 기술되어 있어, 학습자들은 병행 프로그램들을 실행해 볼 수 없고, 병행 프로그램들의 복잡한 실행 행위를 파악하기 어려워 상호배제 원리를 이해하기 어렵다. 본 연구의 목적은 그래픽 기반 언어인 SDL과 MSC를 이용하여 상호배제 교육방법을 제안하는 것이다. 이를 위해 SDL로 병행 프로그램들을 작성하고 MSC로 시뮬레이션하여 병행 프로그램이 상호배제 요구조건들을 충족시키는지 검증하였다. 설문조사 결과, 이 교육방법이 의사코드 기반 교육방법에 비해 더 효과적인 것으로 나타났다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.407-412
• /
• 1996

본 논문은 중수로 내의 중수증기 회수 계통을 효율적, 경제적으로 운전하기 위하여 현 계통의 문제점을 분석하고, 이를 해결할 수 있는 제어알고리즘에 대해 연구하였다. 또한 PLC로 시제품을 개발하고 이를 기존 제어시스템과 병행설치하여 운전함으로써, 원자로 건물내의 습분 정도에 따라 변하는 DRYER 베드의 흡착능력에 연계된 운전 및 휴지상태(Idle running)를 없애는 최적 운전 방안을 도출하였다.