• 한국표면공학회:학술대회논문집
• /
• 한국표면공학회 2007년도 춘계학술발표회 초록집
• /
• pp.22-23
• /
• 2007

3차원 모델이 가능한 전산유체역학에 기초를 둔 유체 플라즈마 모델링 소프트웨어가 플라즈마 장치 개발에 어떤 도움을 줄 수 있을 것인지 고찰하였다. 몇 가지의 유도 결합 플라즈마용 안테나 구조와 유동의 역할, 공간 및 표면 화학반응의 결과에 대한 자동 최적화 계산의 유용성에 대해서 논한다.

• 전기학회논문지P
• /
• 제62권1호
• /
• pp.30-35
• /
• 2013

Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 B
• /
• pp.669-671
• /
• 1998

Engine immobilizer is the automobile security system which disables the engine if the secrete code in the transponder embedded in the key knob is not in agreement with the code in ECU of the car. There are many types of immobilizer systems, however, the encryption transponder type system is the most secure system due to the code verification method using an encryption method. As an example of the industry-university cooperation, the software development in the system is introduced in this paper.

• Journal of Positioning, Navigation, and Timing
• /
• 제6권3호
• /
• pp.87-94
• /
• 2017

GNSS modernization and development is in progress throughout the globe, and it is focused on the addition of a new navigation signal. Accordingly, for the next-generation GNSS signals that have been developed or are under development, various combinations that are different from the existing GNSS signal structures can be introduced. In this regard, to design an advanced signal, it is essential to clearly understand the effects of the signal structure and design variables. In the present study, the effects of the GNSS spreading code period and GNSS data bit duration (i.e., signal design variables) on the signal processing performance were analyzed when the data bit transition was considered, based on selected GNSS signal design scenarios. In addition, a method of utilizing the obtained result for the design of a new GNSS signal was investigated.

• 대한임베디드공학회논문지
• /
• 제15권1호
• /
• pp.35-42
• /
• 2020

In this paper, we propose a method to keep the robot at a distance of 30 to 45cm from the user in consideration of each individual's minimum area and inconvenience by using a 2D LiDAR sensor LDS-01 as the secondary sensor along with a QR code. First, the robot determines the brightness of the video and the presence of a QR code. If the light is bright and there is a QR code due to human's presence, the range of the 2D LiDAR sensor is set based on the position of the QR code in the captured image to find and follow the correct target. On the other hand, when the robot does not recognize the QR code due to the low light, the target is followed using a database that stores obstacles and human actions made before the experiment using only the 2D LiDAR sensor. As a result, our robot can follow the target person in four situations based on nine locations with seven types of motion.

• 정보처리학회논문지A
• /
• 제12A권7호
• /
• pp.589-596
• /
• 2005

임베디드 소프트웨어는 하드웨어 플랫폼에 탑재하기 전, 소스 코드에 대한 품질을 검증하는 작업이 매우 중요하다. 임베디드 소프트웨어의 코드 품질을 향상시키기 위해서는 분석 및 설계 단계의 모델에 대한 품질과 생성된 코드에 대한 품질이 관리되어야 한다. 본 연구에서는 임베디드 소프트웨어의 소스 코드 품질을 향상시키기 위한 방법으로 Practice Pattern을 제안한다. 이는 모델링 과정이나 코딩 과정에서 개발자를 가이드 하는 절차 패턴으로써, 모델의 품질과 소스 코드 품질을 향상시키는 방법으로 사용될 수 있다. 제시하는 패턴의 적용은 기능의 정확성뿐만 아니라 성능, 모듈화, 재사용성 및 이식성 등과 같은 품질 요소들을 향상시킬 수 있을 것으로 보인다.

• Nuclear Engineering and Technology
• /
• 제37권6호
• /
• pp.587-594
• /
• 2005

In an effort to develop a thermal-hydraulic (TH) safety analysis code for Gas-cooled Reactors (GCRs), the MARS code, which was primarily developed for TH analysis of water reactor systems, has been extended here for application to GCRs. The modeling requirements of the system code were derived from a review of major processes and phenomena that are expected to occur during normal and accident conditions of GCRs. Models fur code improvement were then identified through a review of existing MARS code capability. Among these, the following priority models necessary fur the analysis of limiting high and low pressure conduction cooling events were evaluated and incorporated in MARS-GCR/V1 : 1) Helium (He) and Carbon Dioxide ($CO_2$) as main system fluids, 2) gas convection heat transfer, 3) radiation heat transfer, and 4) contact heat transfer models. Each model has been assessed using various conceptual problems for code-to-code benchmarks and it was demonstrated that MARS-GCR/V1 is capable of capturing the relevant phenomena. This paper describes the models implemented in MARS-GCR/V1 and their verification and validation results.

• 정보보호학회논문지
• /
• 제20권6호
• /
• pp.147-155
• /
• 2010

소스코드의 정적분석 기술은 소스코드 자체에 내재된 취약성을 찾는데 활용되는 중요한 기술로 인식되고 있다. 본 논문은 정보시스템의 소스코드 보안성 수준을 평가하는 방법으로 정적분석 결과인 소스코드의 취약성 정보와 프로그램이 처리하는 정보의 중요도를 활용하는 평가 메트릭의 설계 및 활용을 소개한다. 소스코드 보안성 메트릭은 소스코드의 취약점 수준을 개발 과정에서 미리 파악할 수 있도록 도움을 준다는 측면에서 평가자와 개발자 모두가 활용할 수 있다. 특히 평가자는 보안 메트릭을 통해 소스코드의 성격과 요구되는 정보의 보안수준에 따라 소스코드의 보안 수준을 점검하며, 코드 검수에 활용할 수 있다.

• 융합신호처리학회논문지
• /
• 제8권4호
• /
• pp.272-278
• /
• 2007

본 논문에서는 모델 기반 접근 방법을 이용하여 임베디드 소프트웨어를 개발하기 위한 자동화된 API 변환기에 대하여 기술한다. MDA(Model Driven Architecture)가 임베디드 소프트웨어의 개발에 관해서는 지원이 매우 미약하기 때문에, 우리는 MDA의 장점인 구현 공정의 자동화를 포함하면서도 실시간 오버헤드 문제를 해결할 수 있는 새로운 접근 방법을 제시한다. 첫 번째로, 어느 특정 RTOS에 의존하지 않지만 전형적인 RTOS 서비스들의 대부분을 제공할 수 있도록 Generic API를 정의한다. 우리는 이 Generic API를 이용하여 타겟 응용프로그램의 RTOS와 관련된 행동을 CIC(Common Intermediate Code)에서 표현할 수 있다. 그 다음에, Generic API를 이용하여 기술된 CIC를 특정 RTOS에서 수행할 수 있는 C-코드로 변환할 수 있는 변환 툴을 제안한다. 제안된 API 변환기는 외부에 정의되어 있는 XML 변환 규칙을 이용하여 코드를 변환한다. 따라서 API 변환기는 이 변환 규칙을 수정하거나 추가하여 다른 RTOS로 적용할 수 있도록 확장이 가능하다. 실험을 통하여 제안된 방법을 확인한다.

• 인터넷정보학회논문지
• /
• 제7권4호
• /
• pp.11-22
• /
• 2006

소프트웨어 프러덕트 라인 개발 방법론이란, 개발 초기에 시스템의 공통적인 부분과 가변적인 부분을 명확히 하여 소프트웨어 자산을 구축한 후 요구 사항에 따라 가변적인 부분을 커스터마이징하여 목표 시스템을 생성하는 소프트웨어 개발 패러다임이다. 일반적인 소프트웨어 프러덕트 라인에 대한 연구는 활발히 진행되고 있지만, 컴포넌트 기반의 실시간 임베디드 소프트웨어 프러덕트 라인에 대한 연구는 상대적으로 미약하다. 본 논문에서는 실시간 임베디드 소프트웨어 프러덕트 라인구축의 생산성 향상을 위해, 특성 모델을 통해 기능적 가변성을 지원하고 상태 모델을 통해 동기화 지원 코드를 생성하는 코드 생성 시스템을 제안한다.