실시간 운영 체제(Real-Time Operating Systems)는 시스템 동작이 논리적 정확성뿐만 아니라 시간적 정확성에도 좌우되는 운영 체제이다. 그리고 실시간 운영체제는 멀티태스킹(Multitasking) 과 ITC(Inter Task Communication)을 제공한다는 점에서 일반 운영 체제인 Windows, Linux, Unix등과 같지만 시간 결정성을 보장해야 한다는 점에서 일반 운영 체제와 다르다. 이러한 실시간 운영체제에서 프로그래머가 디버그 정보를 알기 위해서 여러 가지 기법을 사용하게 된다. 본 논문은 실시간 운영체제에서 시간 결정성을 지키면서 메모리에 관련된 디버그 이벤트들을 알기 위한 버퍼의 설계 및 구현에 대해 기술한다.
증강현실 시스템을 구축하는데 있어 실시간 가상객체 위치 추적은 실세계와 가상객체를 정확하고 깊이감 있게 정합하고, 실세계 움직임에 따른 가상객체 위치변화 추적에 중요하다. 따라서 실시간 카메라 입력영상으로부터 가상객체의 위치를 추적하는데 있어 정확성과 함께 빠른 수행시간이 요구된다. 본 논문에서는 HMD(Head Mounted Display)장비에 장착된 두 개의 카메라로부터 관찰자의 시점 이동에 따른 가상객체 정합위치 정보를 입력받아 그 위치를 정확하게 인식하고 빠르게 추적하기 위하여 인위적인 랜드마크 형태를 정의하였으며, 실시간 입력영상으로부터 랜드마크 중심점 위치를 실시간으로 추적하기 위해 일정시간 간격마다 입력받은 첫 영상으로부터 얻은 랜드마크 영역 정보를 이용하여 중심점의 위치를 추적함으로써 수행시간을 줄이고자 하였다.
재해 및 재난 발생에 따른 피해를 최소화하고자 무인헬기 기술과 IT기술의 실시간 방재 시스템을 융합하여 광범위한 환경을 대상으로 실시간 다각적 정보수집 기능을 제공하는 연구가 진행 중이다. 소형무인헬기에 개량된 자동항법기능과 무선 네트워크 기반의 실시간 멀티미디어 중계기능을 탑재하고 쉽게 사용 할 수 있는 지상관제시스템을 개발하여 대형재난 현장에 사용하면 다각적 동영상과 재해 현장 정보를 실시간으로 제공함으로써 초기 대응을 할 수 있어 재난의 확산을 최대한 방지 할 수 있다. 본 논문에서는 이러한 시스템을 보다 효과적으로 개발하기 위한 HILS(Hardware in the Loop Simulation) 기반 무인헬기 시뮬레이션 환경을 개발하고자 한다.
최근 인터넷 기반 서비스에서 사용되는 데이터가 개인화 및 맞춤화가 됨에 따라 사용자의 상황이나 요구사항에 따라 실시간 AI 추론 및 데이터 분석과 같이 데이터를 서비스 요청 즉시 처리해야 하는 실시간 서비스에 대한 요구사항이 증가하고 있다. 하지만, 기존 컨테이너 관리 시스템은 컨테이너의 데드라인 할당 및 관리 기능이 제공되지 않으며, 컨테이너 관리 시스템에서 GPU(Graphic Processing Unit) 작업의 실행과 같은 작업 상태를 알 수 없다. 본 논문에서는 컨테이너에서 실행되는 GPU 작업의 실시간 처리를 지원하기 위해 컨테이너에서 실행되는 GPU 작업의 시작 및 종료 상태의 추적과 데드라인 할당 기법을 위한 실시간 처리 정보 관리 기법을 제안한다.
위성항법시스템에서 위성 신호의 이상 발생 시 신속하게 위성시계의 고장 유무를 판단할 수 있도록 실시간 위성 시계 이상감지 시스템을 구축하였다. 위성 시계는 시스템 성능에 직접적인 영향을 미치는 핵심 요소로서 고장이나 이상 발생 시 측정치에 매우 큰 영향을 미칠 수 있다. 특정 위성 시계에 고장이나 이상이 발생한 경우 사용자들이 해당 위성의 측정치를 사용하지 않도록 가능한 빨리 이를 감지하고 공지할 수 있어야 한다. 현재 GPS의 경우 시스템 자체만으로는 위성 상태 정보가 적절한 시간 내에 제공되지 못하므로, 사용자가 직접 위성 신호의 사용 유무를 판단할 수 있는 위성 상태 감시 기능이 필요하다. 이 논문에서는 위성 시계 이상 발생 시 이를 실시간으로 감지할 수 있도록 한국항공우주연구에서 구축한 실시간 위성 시계 이상 감지 시스템에 대해 소개하고자 한다. 시스템 구현을 위해 적용한 방법은 크게 세 단계로 나뉠 수 있다. 첫 번째, 실시간으로 수신한 GPS 이중 주파수 측정치로부터 반송파 스무딩 필터를 적용하여 위성 시계 바이어스를 추정한다. 두 번째, 위성 위치 및 시계 정보의 실시간 적용을 위해 항법력보다 성능이 뛰어난 IGS Ultra-rapid 예측 정보를 활용한다. 마지막으로 위성시계 바이어스 추정치와 예측치를 비교하여 시계 이상 유무를 판별한다. 실제 위성 시계 이상이 발생한 위성의 측정치를 적용하여 시스템에 대한 검증시험을 수행하였고, 10 나노 초 수준의 위성 시계도약 현상이 발생한 위성의 감지를 통해 시스템의 성능을 확인하였다. 이는 항공항법분야와 같이 고성능의 위치 정보를 요구하는 응용분야에 신뢰성 있는 위성 정보 제공을 위해 활용될 수 있다.
산업 전반에 보급된 실시간 시스템의 수행 상태를 파악하기 위해 실시간 감시 기능을 사용한다. 감시의 기본 목적은 감시 대상이 정상적으로 수행하는지를 파악하는 것이다. 특히 실시간 감시 기법으로는 실시간 시스템 상에서 동작하는 실시간 프로세스 상태를 감시하는 프로세스 감시 기법이 있다. 이러한 감시 기법을 지원하는 실행시간 프로세스 모니터의 구조 및 데이터 저장소의 구조에 대해서는 이미 설계 및 구현을 하였다. 하지만, 기존의 프로세스 모니터는 프로세스 상태 데이터를 수집하는 기본 기능만을 제공하였다. 개발자에게 있어서 의미 있는 정보는 프로세스 상태 데이터만이 아니라 프로세스의 동작상의 문제점을 발견하고 원인 규명을 할 수 있도록 하는 고급 정보이다. 이러한 정보를 도출하기 위해 본 논문에서는 기존의 실행시간 프로세스 모니터의 구조 기반 위에서 프로세스 동작 여부를 확인하는 기능과 흐름 추적 기능을 새롭게 설계 추가하였다. 이들 기능을 통해 개발자는 어떤 프로세스에서 동작상의 문제가 발생했는지, 또한 문제를 발생시킨 원인 프로세스가 무엇인지를 추적해 낼 수 있으며, 개발단계에서 문제 해결 능력을 높일 수 있다. 본 논문에서 설계한 원인 프로세스 추적 기능을 가진 실행시간 프로세스 모니터는 기본적으로 실시간 감시 및 제어를 필요로 하는 분야에서 이용될 수 있다.
본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 개발 및 검증을 위한 코드 변환기를 설계한다. ATM은 모드(mede), 전이(transition), 포트(per)로 구성되는데, 순공학 과정에서 실시간 시스템을 설계, 명세 하는 기존의 정형기법과는 달리 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. ATM은 기존 정형기법이 순공학 과정에서의 특정 물리적 환경에서 실행되는 동적행위에 대한 부적절한 표현에 대해 순환공학에서 실시간 시스템의 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형 기법으로서, 본 논문에서는 DoME을 이용하여 ATM 명세도구를 개발하고 이를 이용하여 실시간 시스템의 특정 요구사항을 위한 ATM을 명세한다. 또한 해당 ATM을 DOME/ATM 스크립트 파일로 저장하고 이에 대한 명세분석을 통해 노드와 관련된 정보를 추출하여 다른 분석도구가 이용할 수 있도록 DB에 저장하거나 매개 언어인 SRL/ATM으로 변환하며, 이러한 SRL/ATM으로부터 실행코드에 대한 관련 정보를 추출하여 실시간 시스템 개발 및 검증을 위한 Ada 코드를 생성할 수 있는 코드 변환기를 설계한다.
디지털 미디어 장치의 발달로 인하여 네트워크 상에서 발생되는 실시간 트래픽을 지원해주는 연구들이 많이 진행되고 있다. 그중에서도 기존의 LAN (Local Area Network) 시장의 약 80% 가량을 점유하고 있는 이더넷 기술과 연동하는 기술이 많이 고려되고 있다. 하지만 기존 이더넷 기술이 가진 몇 가지 문제점들로 인하여 이더넷 기술만을 가지고는 실시간 트래픽을 지원하기에는 부족하다. 그래서 IEEE 802.1 AVB TG (IEEE 802.1 Audio/Video Bridging Task Group)에서 기존의 이더넷 장비 등에 최소한의 변경으로 실시간 트래픽을 지원해주기 위한 표준화가 진행 중이다. 현재 IEEE 802.1 AVB TG에서는 해당 규격을 지원하는 네트워크 환경에서 작동하는 장비들 간에 어떻게 동기를 맞추어 갈 것인지, 이들 장비의 실시간 트래픽을 위한 대역폭 확보는 어떻게 할 것인지, 그리고 확보된 대역폭을 바탕으로 하여 실시간 트래픽과 비실시간 트래픽을 어떻게 동시에 지원할 것인지가 주요 논의 과제이다. 본 논문은 주요 논의 과제 중에서도 실시간 트래픽을 위한 대역폭 확보 방안에 그 비중을 두었다. 실시간 트래픽의 대역폭을 확보하기 위해서는 대역폭 예약이 필수이다. 대역폭 예약을 송신측, 즉 실시간 트래픽을 발생시키는 장치에서 주도하여 진행하는 방법을 제안한다. 그리고 제안한 방법을 OPNET 네트워크 시뮬레이터를 통해 실험하고, 그 결과를 분석하였다.
실시간 가시화/시각화(Visualization)을 위한 지형 가시화 분야에서의 렌더링 속도 향상은 사용자의 현실감에 있어 중요한 역할을 한다. 본 연구는 Height Field 데이터를 사용한 블록 단위 지형 렌더링 방법에서 이전 프레임 정보를 사용하여 지형 가시화 속도를 향상시키는 방법을 제안한다. Height Field로 표현된 지형을 실시간에 효과적으로 렌더링 할 수 있는 방법으로CLOD(Continuous leveI Of Detail)가 있으며 대표적인 방법으로 Multiresolution TIN(Triangle Irregular Network)과 Regular Grid Method에 기반한 방법들이 있다. 대개의 경우, 지형 데이터는 매우 방대한 크기를 가지고 있어서 실시간으로 렌더링 하는 것이 불가능할 경우가 많다. 따라서 실시간 지형렌더링 에서는 LOD(Level of Detail)관리와 뷰 프러스텀 컬링이 실시간 렌더링 속도 향상을 위한 핵심 사항이 된다. 본 연구에서는 PC 기반에서 효과적으로 지형을 표현하기 위해 기존 Regular Grid Method에 기반한 방법의 가시영역 추출(View Frustum Culling)을 수정하여 실시간 지형 렌더링의 가시 영역 추출(View Frustum Culling)시 기존의 쿼드트리 방식과 함께 이전 프레임에서 블록 단위로 저장된 컬링 정보를 혼용하여 속도를 향상시키는 방법을 상세히 기술 한다.
Linux는 페이지 기반의 가상 메모리 시스템이다. 따라서 메모리가 부족할 때에는 페이지 대치 알고리즘(page replacement algorithm)에 의해 선택된 페이지가 하드디스크로 대치되게 된다. 실시간 시스템에서 이와 같은 페이지 대치가 발생하면 실시간 제약조건을 만족하지 못할 가능성이 크므로 실시간 시스템에서는 이에 맞는 대치 알고리즘이 개발되어야 한다. 본 논문에서는 연성 실시간 시스템에 적합한 N-Chance 기법을 이용한 새로운 페이지 대치 알고리즘을 제안하고 성능을 평가하였다. 새로운 페이지 대치 알고리즘은 기존의 Linux에서 사용하는 second chance 알고리즘을 수정한 것이다. 기존의 알고리즘은 페이지를 대치함에 있어서 사용되지 않는 페이지에 2번의 기회를 준 후 하드디스크로 쫓아내는 방법인데 반하여 본 논문에서 제안하는 방법은 페이지를 사용하는 프로세스가 실시간 프로세스인지 아닌지에 따라서 기회를 주는 횟수를 달리하는 방법이다. N-chance 알고리즘을 사용했을 경우 실시간 제약 조건을 비교적 충족시키면서도 무조건적인 lock으로 인한 메모리 사용의 부담을 줄일 수 있다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.