• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2019년도 추계 학술논문 발표대회
• /
• pp.112-113
• /
• 2019

In this study, development of 3D software for automated formwork design was conducted to achieve optimization and reduction of labor for temporary work. Through the literature review, the current technical level was identified and the required functions of 3D software for automated formwork design were derived. The 3D software should be developed with the aim of automating 3D design, improving construction quality and utilizing the Internet of Things. As a preliminary step to develop 3D software, the prototype demo version was developed to implement 3D design automation function, which confirm the possibility of 3D software development.

• International Journal of Computer Science & Network Security
• /
• 제22권4호
• /
• pp.261-273
• /
• 2022

Over the last decade, the scientific community has been actively developing technologies for automated software bug fixes called Automated Program Repair (APR). Several APR techniques have recently been proposed to effectively address multiple classroom programming errors. However, little attention has been paid to the advances in effective APR techniques for software bugs that are widely occurring during the software life cycle maintenance phase. To further enhance the concept of software testing and debugging, we recommend an optimized automated software repair approach based on hybrid technology (OAPR-HOML'1). The first contribution of the proposed OAPR-HOML'1 technique is to introduce an improved grasshopper optimization (IGO) algorithm for fault location identification in the given test projects. Then, we illustrate an opposition learning based artificial neural network (OL-ANN) technique to select AST node-level transformation schemas to create the sketches which provide automated program repair for those faulty projects. Finally, the OAPR-HOML'1 is evaluated using Defects4J benchmark and the performance is compared with the modern technologies number of bugs fixed, accuracy, precession, recall and F-measure.

• 대한의용생체공학회:의공학회지
• /
• 제25권6호
• /
• pp.505-510
• /
• 2004

본 논문에서 우리는 6자유도 원형 체외고정기의 조정을 위한 자동화 시스템에 관한 연구를 진행하였다. 6자유도 원형체외 고정기 자동화시스템은 HCF(Hexapod Circular Fixaotr)라는 체외 고정기를 자동화 한 것으로 HCF의 조정을 위한 소프트웨어와 HCF의 스트럿을 조정해주는 자동화 스트럿으로 구성된다. HCF는 일리자로프 고정기의 한 형태로서, 대표적인 병렬형 로봇인 스튜어트 플랫폼과 유사한 기구적 구조를 갖는다. HCF 조정 소프트웨어는 복잡한 골 변형의 교정을 쉽게 하기위한 소프트웨어로서, X-ray 사진을 이용하여 데이터를 획득한 후, 이 데이터를 HCF 조정 소프트웨어에 입력하여 스트럿의 길이 조정 값을 구한다. 또한 여기서 구한 스트럿 길이 조정 값을 자동화 스트럿 컨트롤러로 입력하여, 자동화 스트럿은 계획된 위치만큼 자동으로 구동된다. 또한 HCF 조정 소프트웨어 데이터는 자동화 스트럿 없이 일반 스트럿을 이용하여 HCF 조정을 위해 사용될 수 있다. 제안된 시스템은 실험을 통하여 그 타당성을 검증하였다.

• 한국산업융합학회 논문집
• /
• 제22권1호
• /
• pp.21-28
• /
• 2019

As the automated vehicle system evolves, electronic devices and control software installed in vehicles are increasing. Therefore, automated vehicle electrical and electronic system (E/E system) design for ensure system integration, software modularization, system reusability, and scalability at the design stage of the automated vehicle is actively studied. This paper introduces a design methodology for automated vehicle E/E systems that employs by using cyber-physical systems (CPS). An automated forklift system was designed to examine the effectiveness of the proposed methodology. This paper showed that the proposed CPS design methodology enables an effective development of automated E/E control systems. Compare to existing design methodologies, it provides higher reusability of individual modules and an easier way to integrate control system elements such as controllers, sensors, and actuators.

• 대한임베디드공학회논문지
• /
• 제4권4호
• /
• pp.156-163
• /
• 2009

Recently a standard software platform for automotive, AUTOSAR, has been developed to manage growing software complexity and improve software reuseability. However reuse of testing system and test data are difficult because they are dependant on implementation language and testing phases. In this paper, we suggest a automated testing approach for AUTOSAR software component using a standardized testing language, TTCN-3. AUTOSAR defines the AUTOSAR XML Schema for the data exchange format so that it is possible to automatically convert AUTOSAR model into TTCN-3 testing model. Therefore our approach is to present generation techniques for the TTCN-3 testing system from a AUTOSAR XML description. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• Journal of Information Technology Applications and Management
• /
• 제12권4호
• /
• pp.133-155
• /
• 2005

This Paper makes an attempt to suggest a process of automatically generating application software based on the Entity-Relationship model 1. The designer develops an E-R model of an real-world system. 2. The designer inputs the entity and relationship types, and attributes shown in the E-R model, and also the basic operations of the application system to the software generator. 3. The application generator produces database schema and link information between application programs, and then automatically generates a stereo-type application system. In order for the automated application generator to build the application system in a systematic way, four basic program generation rules have been suggested. A set of computer programs have been developed in order to show the applicability of the automated software generation process suggested in this paper. By following each rule with the generator, the designer can build an application in an efficient manner compared with traditional (manual programming) approaches. It has been demonstrated from the case study that the idea of applying an automated generator in systems development based upon the E-R model is feasible.

• 제어로봇시스템학회논문지
• /
• 제13권12호
• /
• pp.1179-1185
• /
• 2007

This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.343-345
• /
• 2003

최근 소프트웨어 품질 보증 (SQA)의 중요성이 강조되면서, 그에 따른 방법론들에 관한 새로운 이론들이나 사례 연구가 활발히 진행되고 있다. 삼성전자에서 개발된 Samsung Universal Plug and Play (UPnP)의 SQA를 통해서 다음과 같은 새로운 사실을 발견할 수 있었다. Automated 테스트는 Manual 테스트와 비교해서 3차 테스트부터 이미 SQA의 Man/Month (MM)측면에서 효율성을 가지며 또한 Automated 테스트에 사용한 Tool은 재사용성의 이점을 가진다. 본 논문에서는 Manual 테스트와 Automated 테스트를 적용한 두 사례분석을 통하여 Automated 테스트가 가지는 이점을 제안한다.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2008년도 추계학술대회 논문집
• /
• pp.149-152
• /
• 2008

The purpose of this study is to develop a control software for daylight responsive dimming systems and automated roller shading systems. Developed software in this study is to used determinate sky conditions, calculation of solar profile angle, control height of roller shade, calculation of dimming level(%) for daylight responsive dimming systems.

• International Journal of Safety
• /
• 제8권2호
• /
• pp.31-36
• /
• 2009

In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.