• Smart Structures and Systems
• /
• 제14권6호
• /
• pp.1151-1172
• /
• 2014

This paper presents a user programmable computational/control platform developed to conduct real-time hybrid simulation (RTHS). The architecture of this platform is based on the integration of a real-time controller and a field programmable gate array (FPGA).This not only enables the user to apply user-defined control laws to control the experimental substructures, but also provides ample computational resources to run the integration algorithm and analytical substructure state determination in real-time. In this platform the need for SCRAMNet as the communication device between real-time and servo-control workstations has been eliminated which was a critical component in several former RTHS platforms. The accuracy of the servo-hydraulic actuator displacement control, where the control tasks get executed on the FPGA was verified using single-degree-of-freedom (SDOF) and 2 degrees-of-freedom (2DOF) experimental substructures. Finally, the functionality of the proposed system as a robust and reliable RTHS platform for performance evaluation of structural systems was validated by conducting real-time hybrid simulation of a three story nonlinear structure with SDOF and 2DOF experimental substructures. Also, tracking indicators were employed to assess the accuracy of the results.

• 대한기계학회논문집A
• /
• 제41권5호
• /
• pp.367-374
• /
• 2017

본 연구의 목적은 120톤급 전지형 크레인의 조향성능 향상을 위한 제어 알고리즘의 개발이다. 이를 위해 AMESim 소프트웨어를 이용하여 전지형 크레인의 유압조향시스템을 모델링하고, PID 기반의 조향제어용 제어기를 MATLAB/Simulink 환경에서 설계하였다. 설계된 제어기의 성능은 실시간 시뮬레이터를 활용한 유압 및 제어 모델간 연성해석을 통하여 검증하였다.

• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1204-1215
• /
• 1998

이 논문에서 우리는 OARTS(Object based Approach for Real-Time Systems)를 위한 시나리오를 표현하는 방법과 명세언어 및 확인기법을 제안한다. 이 방법은 지금까지 방법론 차원의 시나리오를 다루지 않았기 때문에 일반적인 모델링기법(사건추적도)에 명세언어와 확인방법을 포함한다. 본 논문은 객체에 기초한 통신 인터페이스인 외부 모듈 천이의 동기를 중심으로 내부 액션 천이와 외부 사건들의 열의 표현에 중점을 둔다. 실제의 예를 통하여 제안된 방법이 분석 단계의 요구사항들을 잘 반영하였으며 개념적인 확인기를 통하여 그 표현의 정당성을 확인할 수 있었다. 또한 이 방법은 일반적인 실시간 시나리오를 표현하기 위한 분석 도구로도 이용될 수 있을 것이다.

• 대한조선학회논문집
• /
• 제60권6호
• /
• pp.473-481
• /
• 2023

In this study, a simulation system was developed to verify autonomous navigation algorithm in complex maritime traffic areas. In particular, real-world maritime traffic scenario was applied by considering near real-time maritime traffic information provided by Korean e-Navigation service. For this, a navigation simulation system of Unmanned Surface Vehicle (USV) was integrated with an e-Navigation equipment, called Electronic Chart System (ECS). To verify autonomous navigation algorithm in the simulation system, initial conditions including initial position of an own ship and a set of paths for the ship to follow are assigned by an operator. Then, considering real-world maritime traffic information obtained from the service, the simulation is implemented in which the ship repeatedly travels by avoiding surrounding obstacles (e.g., approaching ships). In this paper, the developed simulation system and its application on verification of the autonomous navigation algorithm in complex maritime traffic areas are introduced.

• 한국산학기술학회논문지
• /
• 제9권5호
• /
• pp.1139-1144
• /
• 2008

본 논문에서는 가상 플랫폼을 이용하여 빠르고 효과적으로 시스템을 검증하기 위한 추상레벨의 자동생성에 대하여 제안한다. 추상레벨 가상 플랫폼은 효과적인 검증 방법이긴 하지만 시스템이 변경될 때마다 가상 플랫폼을 재생성하고 추가적인 설계/검증을 요구되며 이 작업은 매우 많은 시간을 요구한다. 이러한 문제점을 해결하기 위하여 본 논문에서는 CPU, 메모리, UART 등을 기본적인 요소로 구성하여 추상레벨의 라이브러리로 생성하였다. 이 라이브러리를 이용하여 가상 플랫폼을 자동 생성하는 툴을 개발하였다. 이 툴은 임베디드 RTOS를 구성하는 가상 플랫폼을 자동 생성하며 HW/SW 간의 통신을 위한 메모리 맵과 디바이스 드라이버 등도 생성한다. 제안한 방법은 JPEG과 H.264에 성공적으로 적용하였으며 기존의 수동 작업에 비하여 매우 빠르게 가상 플랫폼을 자동 생성할 수 있었다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.653-656
• /
• 2000

We consider, in this paper, a UML-based design support system for real-time systems. However, the UML does not include any notion for verification of timing constraints. We presents transformation algorithms, as a function of the support system, of UML descriptions into Petri nets and Interval Temporal Logic models, which are very powerful for the verification. This paper shows also transformation example for simple elevator system.

• 한국통신학회논문지
• /
• 제40권1호
• /
• pp.132-141
• /
• 2015

기존의 단일 생체인증 방법들은 인식과 식별이 주 용도이며 서비스 용도별 실시간 개인 인증보안은 취약하다. 이에 다중 생체인식기반의 실시간 입증 및 인증 기술을 통해 보안성능을 향상시키는 방법의 연구와 개발이 필수적이다. 본 논문은 생체인식기술의 다중 생체인식 파라미터를 조합하여 인증하는 선진 기술 및 특허동향 분석을 통해 국내 기술개발 전략과 과제를 제시하는데 중점을 둔다.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.574-578
• /
• 2017

In order to achieve iterative design in early R&D period, a Distributed and Real-time Integrated Simulation System for avionics based on a Model-Based Systems Engineering (MBSE) method is proposed. The proposed simulation system includes driver, simulation model, monitor, flight visual model and aircraft external model.The effect of this simulation system in iterative design and system verification is testified by several use cases. The result shows that the simulation system, which can play an important role in iterative design and system verification, can reduce project costs and shorten the entire R&D period.

• Journal of Multimedia Information System
• /
• 제8권4호
• /
• pp.285-294
• /
• 2021

The development process of domestic CG (Computer Graphics) needs to be studied by classifying the technical part and the design part. This paper analyzes how early domestic broadcast equipment evolved and focused on what went through the development process. Domestic broadcasting companies have introduced and used overseas equipment and have begun to develop their own technology. The development process of the early domestic production technology of broadcasting stations was classified into Character Generator, On-line Real-Time Graphic and Sport Coder. It was found that the orientation of broadcasting technology was conclusively focused on visualization, with socio-cultural factors acting along with the evolution of hardware and software. This research is meaningful in reorganizing the history of the development process of domestic CG technology in the early days through previous research (primary verification), newspaper articles and news coverage (secondary verification). This paper looks at what is missing by regaining the past of CG, and argues that with the advent of new technologies today, we must develop through appropriate division of roles and collaboration between engineers and designers.

• 한국콘텐츠학회논문지
• /
• 제17권10호
• /
• pp.587-597
• /
• 2017

최근 하드웨어의 발전으로 모바일 환경에서 리눅스나 안드로이드 같은 범용 운영체제 환경에서 실시간성의 요구가 증가하고 있으나, 범용운영체제의 경우 실시간성을 제공하지 못하는 단점이 있다. 이를 해결하기 위해 리눅스에 부가적으로 설계된 RTiK(Real-Time implanted Kernel)을 통해 실시간성을 제공할 수 있으나, 기존 RTiK의 경우 x86 아키텍처만을 제공하는 단점이 있으며, 실시간성 지원을 위해서는 CPU 플랫폼에 종속되는 한계가 있다. 본 논문에서는 CPU 플랫폼 이식을 위해 ARM 아키텍쳐를 위한 실시간 확장커널인 RTiKA(Real-Time implant Kernel for ARMLinux)을 설계 및 구현한다. 실시간성 제공을 위해 독립적인 Local APIC Timer를 대체하는 MCT 타이머를 이용하였으며, 성능 검증 및 평가를 위해 생성된 실시간 태스크의 주기를 측정하였고, 1ms 단위의 주기를 바탕으로 여러 개의 실시간 태스크에 대한 동작을 보장할 수 있었다.