• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권8호
• /
• pp.331-342
• /
• 2019

본 논문은 신뢰성 있는 임베디드 시스템 소프트웨어 개발을 위해 제한된 자연어 형식으로 작성된 소프트웨어 요구사항으로부터 테스트 케이스 및 테스트 스크립트를 생성하는 방안을 제안한다. 제안하는 방법에서는 자연어로 기술된 요구사항을 제한된 자연어 형식으로 작성하고, 이를 파싱하여 테스트에 사용되는 입력, 출력 및 연산자를 추출한다. 추출된 정보를 이용하여 Decision Coverage, Condition Coverage, Modified Condition/Decision Coverage와 같은 테스트 케이스 생성 전략을 적용하여 테스트 케이스를 생성한다. 또한 테스트 명령어 사전을 이용하여 임베디드 시스템의 물리적인 입력 값인 테스트 스크립트를 생성한다. 제안한 방법을 이용하면, 개발된 소프트웨어가 요구사항에 적합하게 개발되었는지를 직접적으로 테스트하는 것이 가능하다. 제안한 방법의 효과는 요구사항 세트에 적용하여 실험적으로 보인다.

• Geomechanics and Engineering
• /
• 제17권6호
• /
• pp.565-572
• /
• 2019

Spatial variability is an inherent characteristic of soil, and auto-correlation length (ACL) is a very important parameter in the reliability or probabilistic analyses of geotechnical engineering that consider the spatial variability of soils. Current methods for estimating the ACL need a large amount of laboratory or in-situ experiments, which is a great obstacle to the application of random field theory to geotechnical reliability analysis and design. To estimate the ACL reasonably and efficiently, we propose a micro-structure based numerical simulation method. The quartet structure generation set algorithm is used to generate stochastic numerical micro-structure of soils, and scanning electron microscope test of soil samples combined with digital image processing technique is adopted to obtain parameters needed in the QSGS algorithm. Then, 2-point correlation function is adopted to calculate the ACL based on the generated numerical micro-structure of soils. Results of a case study shows that the ACL can be estimated efficiently using the proposed method. Sensitivity analysis demonstrates that the ACL will become stable with the increase of mesh density and model size. A model size of $300{\times}300$ with a grid size of $1{\times}1$ is suitable for the calculation of the ACL of clayey soils.

• 정보과학회 논문지
• /
• 제44권12호
• /
• pp.1307-1312
• /
• 2017

ICT 기술과의 융합으로 인해 산업 자동화 시스템은 복잡도와 신뢰성 요구 수준이 급격히 증가하고 있다. 최근에는 이러한 요구에 대응하기 위해 응용 개발 초기 과정에서부터 정형 기법을 활용하는 연구들이 주목받고 있다. 본 논문에서는 산업 자동화 응용을 위한 타임드 오토마타 모델 기반 네이티브 코드 자동 생성 프레임워크를 제안한다. 사례 연구로 산업용 네트워크를 사용하는 신호등 제어 시스템을 모델링하고, 탑재되는 응용의 타이밍 속성을 검증하였다. 제안하는 프레임워크의 유효성을 검증하기 위해 자동 변환된 네이티브 코드를 사용하여 EtherCAT 네트워크 기반 테스트베드의 동작을 확인한 결과, 모델 명세와 동일하게 동작하는 것을 확인하였다.

• Tribology and Lubricants
• /
• 제40권1호
• /
• pp.1-7
• /
• 2024

Ball bearings are a major component of mechanical parts for transmitting rotation. Compared to tapered roller bearings, ball bearings offer less rolling resistance, which leads to reduced heat generation during operation. Because of these characteristics, ball bearings are widely used in electric vehicles and machine tools. The design of ball bearing cages has recently emerged as a major issue in ball bearing design. Cage design requires pre-verification of performance using theoretical or experimental formula or computational fluid dynamics (CFD). However, CFD analysis is time-consuming, making it difficult to apply in case studies for design decisions and is mainly used in performance prediction following design confirmation. To use CFD in the early stages of design, main-taining analytical accuracy while reducing the time required for analysis are necessary. Accordingly, this study proposes a laminar steady-state segment CFD technique to solve the problem of long CFD analytical times and to enable the use of CFD analysis in the early stages of design. To verify the reliability of the CFD analysis, a bearing drag torque test is performed, and the results are compared with the analytical results. The proposed laminar steady-state segment CFD technique is expected to be useful for case studies in bearing design, including cage design.