• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2019.11a
• /
• 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
• /
• v.22 no.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.

• Journal of Biomedical Engineering Research
• /
• v.25 no.6
• /
• pp.505-510
• /
• 2004

In this article, we present an automated system for adjusting the 6 degree of freedom (D.O.F.) circular fixator. The system includes a scheduling software to adjust the Hexapod Circular Fixator (HCF) and an automated strut with the ability of the multiple synchronized motion and independent motion. The HCF was designed to control a 6 D.O.F. Ilizarov fixator and it's mechanism. The HCF adjustment software evaluates each value of altered length of the HCF struts to correct the complex skeletal deformity by using the X-ray data of the patient. The data of HCF adjustment software feed into the automated strut system which provides the scheduled adjustment. Then, the automated strut is synchronized by input data. Also the data of HCF adjustment software can be used to adjust HCF without automated struts. The proposed HCF system was verified by experiments.

• Journal of the Korean Society of Industry Convergence
• /
• v.22 no.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.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.4 no.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
• /
• v.12 no.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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.343-345
• /
• 2003

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

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2008.10a
• /
• 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
• /
• v.8 no.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.