• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제68차 하계학술대회논문집 31권2호
• /
• pp.511-512
• /
• 2023

자율주행 소프트웨어의 안전성에 대한 요구가 높아짐에 따라 소프트웨어를 개발 시 정형 검증 기법을 적용하여 안전성을 확보하고자 하는 노력이 증가하고 있다. 본 논문에서는 ROS 기반의 자율주행 소프트웨어의 동작을 Timed Automata를 사용하여 모델링하고 그 정확성(실시간적 특성)을 모델체킹을 통해 정형 검증하는 방법을 제시한다. ROS 기반 응용 프로그램의 동작은 ROS가 제공하는 노드 간의 통신에 영향을 받기 때문에 자율주행 소프트웨어뿐 아니라 그 동작에 영향을 끼치는 ROS의 큐를 통한 통신을 통합한 모델을 제시한다. 또한 통합 모델에서 큐 크기, 타임아웃, 프로세스의 주기를 매개 변수로 주어 다양한 조합에 따른 실시간 요구사항의 만족 여부를 검증함으로써 ROS에서 매개 변수 설정 기준을 제시한다.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 1998년도 동계 학술대회 논문집
• /
• pp.216-222
• /
• 1998

• 전기의세계
• /
• 제32권2호
• /
• pp.73-79
• /
• 1983

본고의 내용은 다음과 같다. 1. 연속경로제어 방법 2. 하드웨어의 구성 3. 연속경로방식의 제어 알고리즘 4. 소프트웨어의 구성 5. 실험결과 및 검토

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.400-402
• /
• 2004

임베디드 시스템 개발의 성공여부는 정점 하드웨어에서 소프트웨어쪽으로 비중이 옮겨지고 있다. 그런데 임베디드 소프트웨어 개발은 하드웨어를 설계하고 구현하는 것에 드는 비용보다 더 않은 비용으로도 효과적이지 못한 실정이다. 또한 임베디드 소프트웨어 개발자들에게는 제한된 자원과 절러 가지 환경 변수를 고려해야 하는 부담이 따른다. 모델기반의 개발 방법은 비용-효율적이고 고품질의 소프트웨어를 개발하기 위한 연구이다. 본 논문은 임베디드 소프트웨어인 로봇 작동 프로그램을 모델기반으로 개발한 경험과 결과를 소개함으로써 임베디드 소프트웨어 개발자들이 쉽게 모델기반의 개발 방법을 적용할 수 있도록 한다.

• 공업화학
• /
• 제34권4호
• /
• pp.347-356
• /
• 2023

액정 엘라스토머 섬유는 1차원 형태로서 소프트 로봇, 생체모방 구동기 등의 다양한 분야에서 광범위하게 응용되고 있다. 액정 엘라스토머는 액체의 유동성과 고체의 질서도 그리고 고무의 탄성을 포함하며 이를 바탕으로 한 자극-응답성을 가지고 있다. 특히, 형상가변 측면에서 열, 빛, 전기장, 자기장 등의 다양한 자극에 대한 응답성을 프로그래밍하여 사용하면 높은 자유도와 더불어 물건 들어올리기, 꼬임, 회전 등 다양한 움직임을 구현할 수 있다. 따라서, 액정 엘라스토머 섬유는 인공근육, 소프트로봇, 웨어러블 기술, 센싱 기술 등 다양한 분야로의 응용가능성을 가지고 있다. 이런 액정 엘라스토머 섬유의 연구는 기존 단순 섬유를 넘어서는 다양한 기능성을 포함할 수 있는 스마트 소재로서 도래한 4차 산업에서 다양한 분야에 활용도가 높다고 평가된다. 본 총설에서는 액정 엘라스토머 섬유의 구조 및 기본 특성에 대해 소개하고, 배향 기반 제작법과 이를 이용한 인공근육, 스마트 패브릭, 소프트 로봇 등, 다양한 응용에 대해 최신 연구 동향을 소개한다.

• 한국컴퓨터교육학회 학술대회
• /
• 한국컴퓨터교육학회 2017년도 하계학술대회
• /
• pp.197-199
• /
• 2017

재난 상황이나 우주 공간과 같은 환경에서는 인간이 직접 작업을 수행하기가 매우 어렵다. 따라서 이러한 환경에서 인명 구조나 탐사 등을 진행할 때에는 원격으로 제어가능한 로봇을 활용하는 것이 효과적이다. 특히 이 로봇이 인간의 움직임을 실시간으로 모방한다면 직관적이고 순발력 있는 제어가 가능해진다. 본 연구에서는 키넥트 센서를 이용해 인간의 움직임을 인식하고 이 움직임을 모방하는 로봇핸드와 로봇암을 구현하였다. 하드웨어는 TETRIX와 EV3 플랫폼을 이용하여 설계하였고, 소프트웨어는 C# 기반의 KINECT for Windows SDK와 Visual Studio 2015로 구현하였다. 본 연구에서 구현한 시스템은 재난 현장에서의 인명 구조, 복구 상황에서와 우주 공간에서의 탐사 상황에서 유용하게 사용될 수 있을 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.399-402
• /
• 2017

텍스트 기반 언어 스몰베이직은 적은 수의 언어 특징을 가지고 있어 배우기 쉽고 이후에 C/C++/Java로 빠르게 전환할 수 있기 때문에 청소년 코딩 교육용 언어로 적합하다. 코딩 교육에 흥미를 높이기 위해 다양한 라이브러리가 필요한데 마이크로소프트에서 개발한 스몰베이직 환경에서는 로봇 프로그래밍을 위한 라이브러리를 지원하지 않는다. 이 논문에서 오픈소스 소프트웨어 스몰베이직 환경하에 동작하는 햄스터 로봇 라이브러리를 설계 및 구현하였다. 교육용 언어 스크래치와 파이썬에서 유사한 로봇 프로그래밍 라이브러리를 지원하지만 스크래치는 그림 기반 언어이기 때문에 이후 C/C++/Java로 전환하기 어렵고, 파이썬은 객체와 클래스 개념을 포함하고 잇어서 초보자가 배우기 어렵다. 이 논문에서 개발한 라이브러리를 활용하여 데모 프로그램을 작성함으로써 쉽게 스몰베이직 기반 로봇 프로그래밍을 할 수 있을을 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1895_1896
• /
• 2009

본 논문에서는 로봇 소프트웨어 컴포넌트 테스팅 자동화에 적합한 테스팅 자동화 프레임워크 및 계층적 로봇 소프트웨어 테스트 모델을 제안한다. 테스팅 자동화 프레임워크는 로봇 소프트웨어 컴포넌트의 지속적인 통합, 다양한 로봇 환경 및 분산 컴포넌트 환경을 지원한다. 테스팅 자동화 프레임워크를 실제 구현하여 테스트 베드에 설치 및 평가를 통하여, 본 논문에서 제안하는 프레임워크가 효율적임을 보인다.

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

로봇사업은 전 세계적으로 급속히 성장하고 있는 분야로 미국, 유럽 등 많은 국가들이 막대한 자본을 투자하고 있으며, 우리나라에서도 차세대 전략 산업으로 선정하여 집중적으로 지원하고 있다. 현재 로봇 시스템 및 서비스의 복잡도가 증가함에 따라 소프트웨어의 개발비용, 인력, 유지보수 등의 문제를 해결하기 위해 OPRoS(Open Platform For Robotic Service)라는 로봇 소프트웨어 플랫폼이 개발 되었다. 하지만 OPRoS 실행엔진은 범용 운영체제 위에서 동작되기 때문에 로봇서비스의 QoS(Quality of Service)를 위한 실시간성을 보장하지 못한다. 본 논문에서는 범용운영체제인 윈도우즈 상에서 동작하는 로봇 소프트웨어 플랫폼인 OPRoS의 실행엔진에 RTiK(Real-Time implanted Kernel)을 이용해 실시간성을 보장할 수 있는 방법에 대해 연구 하였다. 또한 RTiK이 이식된 OPRoS 실행엔진의 성능을 측정하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1986년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
• /
• pp.443-447
• /
• 1986

오늘날 제조업에 있어서는 시장의 다양화, 원가절감 및 리드타임의 단축이라는 대내외적 요구에 부응할 수 있는 기술 생산체재의 확립이 요구되고 있다. 이에 따라 설계 및 기술변경(Engineering Change)에따른 원가상승을 막기 위해 CAE(Computer aided engineering), CAD(Computer aided design)의 도입을 서두르게 되었고 CAD데이타의 효율적 이용에 의한 가공 및 생산적 측면에서 CAM(Computer aided manufacturing)의 도입도 검토하게 되었다. 본 논문은 이러한 개념의 발상동기와 이를 뒷받침하기 위한 한국 아이 비 엠이서 제공하는 하드웨어 및 소프트웨어를 소개하고 공장자동화를 위한 기술 생산 통합시스템의 구축이라는 측면에서 아이 비 엠이 추구하는 방향을 검토하고 있다.