• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.511-512
• /
• 2023

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

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 1998.12a
• /
• pp.216-222
• /
• 1998

• 전기의세계
• /
• v.32 no.2
• /
• pp.73-79
• /
• 1983

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.400-402
• /
• 2004

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

• Applied Chemistry for Engineering
• /
• v.34 no.4
• /
• pp.347-356
• /
• 2023

Liquid crystal elastomer (LCE) fibers have been widely applied in various fields, such as soft robots and biomimetic actuators, in a one-dimensional form. LCEs possess the characteristics of both fluidity and solid order, as well as the elasticity of rubber, and exhibit stimulus-response based on these properties. In particular, by programming the responsiveness to various stimuli such as heat, light, electric fields, and magnetic fields in terms of shape-changing, various movements such as lifting, twisting, and rotating can be realized with high degrees of freedom. Therefore, LCE fibers have the potential for application in various fields such as artificial muscles, soft robots, wearable technologies, and sensing technologies. The research on liquid crystal elastomer fibers is evaluated to have high applicability in various fields in the Fourth Industrial Revolution as a smart material that can include various functionalities beyond simple fibers. In this review, we introduce the structure and basic characteristics of liquid crystal elastomer fibers, the latest research trends on orientation-based fabrication methods, and various applications such as artificial muscles, smart fabrics, and soft robots.

• Proceedings of The KACE
• /
• 2017.08a
• /
• pp.197-199
• /
• 2017

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.399-402
• /
• 2017

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

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1895_1896
• /
• 2009

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

• Proceedings of the Korea Contents Association Conference
• /
• 2011.05a
• /
• pp.15-16
• /
• 2011

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

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.443-447
• /
• 1986

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