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

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• pp.591-594
• /
• 2002

Generating NC-code from 3D part model needs a lot of effort to make many decisions, including machining area, tool change data, tool data, cutting condition, etc., by using either manual or computer aided method. This effort can be reduced by integration of automated process planning and NC-code generation. In case of generating NC code with a help of the process planning system, many data mentioned from the process planning can be used. It means that we can create NC-code about a full part. In this study, integration of FAPPS(Feature based Automatic Process Planning) with a NC-code generating module is described and additional data to adapt NC-code for machine shop is discussed.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권6호
• /
• pp.1973-1993
• /
• 2022

Model-driven engineering (MDE) and aspect-oriented software development (AOSD) contribute to the common goal of development of high-quality code in reduced time. To complement each approach with the benefits of the other, various methods of integration of the two approaches were proposed in the past. Aspect-oriented code generation, which targets obtaining aspect-oriented code directly from aspect models, offers some unique advantages over the other integration approaches. However, the existing aspect-oriented code generation approaches do not comprehensively address all aspects of a model-driven code generation system, such as a textual representation of graphical models, conceptual mapping, and incorporation of behavioral diagrams. These problems limit the worth of generated code, especially in practical use. Here, we propose AJFCode, an approach for aspect-oriented model-driven code generation, which comprehensively addresses the various aspects including the graphical models and their text-based representation, mapping between visual model elements and code, and the behavioral code generation. Experiments are conducted to compare the maintainability and reusability characteristics of the aspect-oriented code generated using the AJFCode with the most comprehensive object-oriented code generation approach. AJFCode performs well in terms of all metrics related to maintainability and reusability of code. However, the most significant improvement is noticed in the separation of concerns, coupling, and cohesion. For instance, AJFCode yields significant improvement in concern diffusion over operations (19 vs 51), coupling between components (0 vs 6), and lack of cohesion in operations (5 vs 9) for one of the experimented concerns.

• 한국항공우주학회지
• /
• 제35권8호
• /
• pp.685-692
• /
• 2007

본 연구에서는 헬리콥터 하중 해석을 위한 통합해석코드에서 사용되는 에어포일의 공력 성능 테이블 작성 자동화를 위한 GUI 프로그램을 개발하였다. 개발 후 상용화를 위해 PC환경에서 사용이 보편화 되어 있는 윈도우 운영체제 기반으로 프로그램을 개발하였다. 또한, 별도의 과정을 거치지 않고도 계산 과정 및 생성된 격자 표시등의 결과를 확인할 수 있는 후처리 기능을 포함하여 사용자의 편의를 도모하였다. 기 검증된 기존의 전산유체역학 코드를 기본으로 하여 다양한 받음각과 마하수 영역에서 공력해석이 자동적으로 수행되도록 하였으며, 계산 격자는 에어포일 표면 좌표가 입력되면 자동으로 생성되도록 하였다. FORTRAN 으로 작성된 전산유체역학 코드를 별도의 변환 과정 없이 C++ 기반의 GUI 프로그램과 연동시키기 위하여 Mixed-Language 기법을 사용하였다.

• 한국정밀공학회지
• /
• 제17권4호
• /
• pp.114-120
• /
• 2000

Burr is an unavoidable and undesirable by-product of most metal cutting or shearing operations. This burr must be removed to improve the fit of machined parts and safety of workers, to improve the effectiveness of finishing operations. Despite the full or partial automation of FMC or FMS, deburring operations to obtain workpiece with fine surface quality are difficult to be automated since the occurrence and condition of burr are not constant. This study focused on developing a software for deburring automation, which includes automatic recognition of parts, generation of deburring tool path and NC code, by analyzing the IGES format file which contains information of part geometry. The successful performance of developed software was demonstrated by computer simulation and deburring experiment using miniature end brush. And, this research can provide a basis for further advanced studies for automated deburring applications.

• 한국전산구조공학회논문집
• /
• 제24권6호
• /
• pp.685-690
• /
• 2011

본 논문은 자동요소생성 시스템을 이용한 화학적펌프의 지진해석에 대한 내용이다. 전처리시스템을 CAD시스템, 유한요소 코드와 통합시킨 자동화된 해석시스템은 구조물 최적화 디자인에 효과적으로 사용되어 진다. 해석조건이 수반된 유한요소모델은 자동적으로 해석모델로 부터 생성되어 진다. 또한, 유한요소모델은 해석코드에 의해 자동적으로 해석되어 진다. 이 통합화된 유한요소 시뮬레이션 시스템의 효용성을 화학펌프와 같은 3차원 복잡구조물에 적용하여 보았다.

• 한국CDE학회논문집
• /
• 제14권1호
• /
• pp.60-68
• /
• 2009

Because of the reduced product life-cycle, industries are making an effort to bring down the process planning time. In the traditional approach, we have to analyze established process planning, then design the time chart based on process information and drawing the formal time chart such as SOP(sequence of operation). Thereafter, it will be converted to PLC code that is a time consuming and redundant job. Similarly, Industrial automated process uses PLC Code to control the factory; however, control information and control code(PLC code) are difficult to understand. Hence, industries prefer writing new control code instead of using the existing one. It shows the lack of information reusability in the existing process planning. As a result, to reduce this redundancy and lack of reusability, we propose SOS-Net modeling method. Unlike past stabilized process planning that is rigid to any change; our proposed SOS-Net modeling method is more adaptable to the new changes. The SOS-Net model is easy to understand and easy to convert into PLC Code accordingly. Therefore, we can easily modify the control information and reuse it for new process planning. The proposed model plays an intermediary role between process planning and PLC code generation. It can reduce the process planning and implementation time as well as cost.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이 되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어 시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.

• International Journal of Precision Engineering and Manufacturing
• /
• 제3권1호
• /
• pp.43-48
• /
• 2002

This paper describes an automated computer-aided engineering (CAE) system for three-dimensional structures. An automatic finite element mesh-generation technique, which is based on fuzzy knowledge processing and computational geometry techniques, is incorporated into the system, together with a commercial FE analysis code, and a commercial solid modeler. The system allows a geometry model of interest to be automatically converted to different FE models, depending on the physical phenomena of the structures to be analyzed, i.e., electrostatic analysis, stress analysis, modal analysis, and so on. Also, with the aid of multilayer neural networks, the present system allows us to obtain automatically a design window in which a number of satisfactory design solutions exist in a multi-dimensional design parameter space. The developed CAE system is successfully applied to evaluate an electrostatic micromachines.