• ETRI Journal
• /
• 제18권4호
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• 풍력에너지저널
• /
• 제4권1호
• /
• pp.20-29
• /
• 2013

Load measurement, which is performed based on IEC 61400-13, consists of three stages: the stage of collecting huge amounts of load measurement data through a measurement campaign lasting for several months; the stage of processing the measured data, including data validation and classification; and the stage of analyzing the processed data through time series analysis, load statistics analysis, frequency analysis, load spectrum analysis, and equivalent load analysis. In this research, we pursued the development of an analysis software in MATLAB to save labor and to secure exact and consistent performance evaluation data in processing and analyzing load measurement data. The completed analysis software also includes the functions of processing and analyzing power performance measurement data in accordance with IEC 61400-12. The analysis software was effectively applied to process and analyse the load measurement data from a demonstration research for a 750 kW direct-drive wind turbine generator system (KBP-750D), performed at the Daegwanryeong Wind Turbine Demonstration Complex. This paper describes the details of the analysis software and its processing and analysis stages for load measurement data and presents the analysis results.

• 정보처리학회 논문지
• /
• 제13권6호
• /
• pp.243-250
• /
• 2024

생체모방로봇은 조류나 곤충과 같은 생체의 특성을 모방하여 미래 전장에서 은밀한 감시와 정찰 작업에 큰 역할을 할 것으로 기대된다. 이 로봇들의 효과적인 활용을 위해서는 새의 날갯짓이나 바퀴벌레의 움직임 등을 모방하는 기술이 중요하지만, 이를 지원하는 하드웨어 확보와 소프트웨어 개발 및 검증 과정의 복잡성으로 인해 어려움이 따른다. 본 논문에서는 모델링 및 시뮬레이션(M&S) 기술을 적용한 다중 HILS 기반 생체모방로봇 소프트웨어 검증 테스트베드를 설계하고 구현한 결과를 소개한다. 테스트베드를 사용함으로써 개발자들은 하드웨어 부재 문제를 극복하고, 미래 전장 시나리오를 시뮬레이션하며 소프트웨어 개발과 테스트를 수행할 수 있다. 그러나, 다중 HILS 기반 테스트베드는 테스트 대상 로봇 수의 증가에 따른 장치 간 연동 지연 문제를 경험할 수 있으며, 이는 시뮬레이션 결과의 신뢰도에 크게 영향을 미칠 수 있다. 이를 해결하기 위해, 우리는 우선순위 기반 미들웨어인 data distribution service prority (DDSP)를 추가로 제안한다. DDSP는 기존 DDS 대비 1.95 ms의 평균 지연 감소 효과를 보이며, 테스트베드에서 요구되는 데이터 전송 품질을 보장할 수 있음을 입증하였다.

• Nuclear Engineering and Technology
• /
• 제38권3호
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2632-2635
• /
• 2003

This paper designs a software signal generator for the new GPS L2 civil signal. The CM/CL code and the message structure of L2CS described in GPS ICD PPIRN-200C-007 are used in designing the signal generator. The output of the GPS signal generator is designed as the sampled IF data with the sampling frequency 5.7MHz and stored in the binary data format. By analyzing both the spectrum characteristics of the output signal and the correlation properties of the CM/CL code, the validation of the designed GPS signal generator is shown. It should be mentioned that the modeling of the GPS satellite constellation and the error sources remains for implementing the software space segment of GPS.

• International Journal of Automotive Technology
• /
• 제7권7호
• /
• pp.841-846
• /
• 2006

This paper presents a numerical approach to optimizing vehicle fuel economy in a higway bus. The method described is based on using a commercial software vehicle simulation to identify the relative efficiency of each of the vehicle systems, such as the engine hardware, engine software calibration, transmission, cooling system and ancillary drives. The simulation-based approach offers a detailed understanding of which vehicle systems are underperforming and by how much the vehicle fuel economy can be improved if those systems are brought up to best-in-class performance. In this way, the optimum vehicle fuel economy can be provided to the vehicle customer. A further benefit is that the simulation requires only a minimum number of vehicle testing for initial validation, with all subsequent field test cycles performed in software, thereby reducing development time and cost for the manufacturer.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 추계학술대회 논문집
• /
• pp.1357-1360
• /
• 2004

In this paper, a prototype of agent-based engineering system is developed based on the AADE (autonomous agent development environment), a FIPA compliant agent platform. By applying several advanced technologies including software agents, Internet/Web, workflow and database, the developed prototype system is able to successfully fulfill our target of integrating personnel, design activities and engineering resources along a predefined engineering design project (workflow). A software prototype is implemented to integrate various engineering software tools including CAD, structural analysis (FEA), dynamic analysis, fatigue analysis. A wheel-axle-assembly (part of a bogie system) is chosen as a test case for the validation of the prototype system.

• 한국자동차공학회논문집
• /
• 제14권5호
• /
• pp.181-185
• /
• 2006

A study to get better vehicle fuel economy is described based on an express bus. The approach is based on using a commercial software vehicle simulation to identify the relative efficiency of each of the vehicle systems, such as the engine hardware, engine software calibration, transmission, cooling system and ancillary drives. The simulation-based approach offers a detailed understanding of which vehicle systems are underperforming and by how much the vehicle fuel economy can be improved if those systems are brought up to best-in-class performance. In this way, the optimum vehicle fuel economy can be provided to the vehicle customer. A further benefit is that the simulation requires only a minimum of vehicle testing for initial validation, with all subsequent field test cycles performed in software, thereby reducing development time and cost for the manufacturer.

• Journal of Information Processing Systems
• /
• 제18권6호
• /
• pp.741-754
• /
• 2022

Openstack is widely used as a representative open-source infrastructure of the service (IaaS) platform. The Openstack Identity Service is a centralized approach component based on the token including the Memcached for cache, which is the in-memory key-value store. Token validation requests are concentrated on the centralized server as the number of differently encrypted tokens increases. This paper proposes the practical Byzantine fault tolerance (PBFT) blockchain-based Openstack Identity Service, which can improve the performance efficiency and reduce security vulnerabilities through a PBFT blockchain framework-based decentralized approach. The experiment conducted by using the Apache JMeter demonstrated that latency was improved by more than 33.99% and 72.57% in the PBFT blockchain-based Openstack Identity Service, compared to the Openstack Identity Service, for 500 and 1,000 differently encrypted tokens, respectively.

• 한국지리정보학회지
• /
• 제21권1호
• /
• pp.83-95
• /
• 2018

최근 조선 산업의 기술이 발전함에 따라 선박의 크기 및 성능이 향상되었다. 이에 따라 한 번의 선박 간 충돌로 인한 좌초 등의 사고가 대형 해난사고를 초래할 수 있게 되었다. 이러한 심각성을 고려하여 국제 사회에서는 해사안전 향상을 위해 지속적으로 전자해도 기준을 업데이트하고 있다. 국제수로기구(IHO)에서 관리하는 기존의 전자해도 관련 표준은 S-57로, S-57 안에는 기존 이진(Binary) 형태의 전자해도 데이터를 제작하기 위한 기준이 담겨있다. 그러나 S-57은 2000년 12월 3.1 버전이 발표된 이후 업데이트가 중단되어 지속적으로 성장하고 있는 해양공간정보의 기술 경향을 반영하지 못하고 있다. IHO에서는 이러한 흐름에 대처하기 위해 차세대 전자해도 제작기준 표준인 S-100을 제정하였으며, 기존 S-57과 다른 데이터의 교환 형식을 사용하였다. 기존 전자해도의 경우에는 이진 형태로 구성되었으나 차세대 전자해도 표준을 기반으로 한 S-10X 전자해도 데이터의 경우에는 피처 카탈로그(Feature Catalogue), 포트리얼 카탈로그(Portrayal Catalogue), GML로 구성되어 있다. 이러한 점을 고려할 때 전자해도의 유효성 검증 표준인 S-58의 업데이트 또는 새로운 유효성 검증 표준의 제정이 필요하다. 본 연구에서는 이에 변화된 데이터의 유효성 검증 시험을 위해 자체 소프트웨어를 개발하였고 테스트 결과에 따른 개선점을 도출하였다.