• 한국멀티미디어학회논문지
• /
• 제19권4호
• /
• pp.747-755
• /
• 2016

Automated guided vehicles have been used for a long time to increase work efficiency in the logistics field, but it is difficult to apply to a variety of logistics sites due to either the restricted movement mechanism or expensive devices. In this paper, we present a flexible software architecture that is hardware-independent for a mobile power cart of the follow mode and implement it using a ROS software platform. Through the SCV analysis for the system functionalities, we design a package to track a user movement and a package to control a new hardware platform. It has an advantage to use a variety of movement algorithms and hardware platforms by applying the strategy pattern and the template method pattern for the design of a software architecture. Through the performance evaluation, we show that the proposed design is maintainable in terms of a software complexity and it detects a user's movement by obtaining a user skeleton information so that it can control a hardware platform to move at a certain distance.

• 한국IT서비스학회지
• /
• 제11권4호
• /
• pp.295-308
• /
• 2012

Software and Systems Product Line(SSPL) is a paradigm that has been developed and applied by European Union(EU) to achieve the productivity and competitiveness of EU industries on the world market. It is not just a simple system or software development methodology, but a sophisticated technology requiring capabilities for a high level of mass customization, platforms, processes and convergence of software and systems. EU has applied SSPL for the five selected industrial sectors including aerospace, automobile, medical equipment, consumer electronics and telecommunication equipment since 1990s and led the way to other industry sectors to stimulate the application of SSPL from 2006. In order for Korea to secure competitiveness in the manufacturing and service industries in the competitive borderless market, it is essential to gain the high level of capabilities for software development and convergence of software and systems. SSPL can be a powerful means to achieve this end. This paper discusses the paradigmatic concept of SSPL, how EU's major industries and companies have secured competitiveness through SSPL, key capabilities that are necessary for successful institutionalization of SSPL in Korea, and finally suggestions on core strategies to materialize the benefits of SSPL for Korea.

• 인터넷정보학회논문지
• /
• 제19권2호
• /
• pp.43-48
• /
• 2018

Various artifacts that are produced as software R&D project progresses contain research plan, research report, software requirements and design descriptions, etc. When conducting a software R&D project, it is necessary to confirm that the developed system has implemented its research requirements well. However, various research results make it difficult to design appropriate tests. So, there is a practical need for us to comprehensively handle the planning, execution, and reporting of software test for finding and verifying information related to the research. In this paper, we propose a useful method for software test process in R&D project which supports model based software testing. The proposed method supports automation of test design and generation of test data by explicitly separating each step of System Under Test (SUT). The method utilizes the various models representing the control flow of the function to extract the information necessary for testing the system. And it supports a systematic testing process based on TMMi and ISO 29119. Finally, we show the validity of the method by implementing a prototype with basic functionality to generate test data from software behavioral models.

• Journal of Information Technology Applications and Management
• /
• 제12권2호
• /
• pp.1-13
• /
• 2005

This paper proposes a software-reliability growth model incoporating the amount of testing effort expended during the software testing phase after developing it. The time-dependent behavior of testing effort expenditures is described by a Logistic curve. Assuming that the error detection rate to the amount of testing effort spent during the testing phase is proportional to the current error content, a software-reliability growth model is formulated by a nonhomogeneous Poisson process. Using this model the method of data analysis for software reliability measurement is developed. After defining a software reliability, This paper discusses the relations between testing time and reliability and between duration following failure fixing and reliability are studied. SRGM in several literatures has used the exponential curve, Railleigh curve or Weibull curve as an amount of testing effort during software testing phase. However, it might not be appropriate to represent the consumption curve for testing effort by one of already proposed curves in some software development environments. Therefore, this paper shows that a logistic testing-effort function can be adequately expressed as a software development/testing effort curve and that it gives a good predictive capability based on real failure data.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1674-1688
• /
• 2019

As environmental pollution and fossil fuel energy problems from fuel vehicle have occurred, the interest of electric vehicle(EV) has increased. EV industry and energy industry have grown dynamically in these days. It is expected that the next generation of primary transportation will be EV, and it is necessary to prepare EV infra and efficient energy management such as EV communication protocol, EV charge station, and smart grid. Those EV and energy industry fields are now on growth. Also, the study and development of them are now in progress. In this paper, distributed charge signal processing software for smart slow and quick EV charge is proposed and designed for dealing with EV charge demand. The software consists of smart slow and quick EV charge schedule engine and EV charge power distribution core. The software is designed to support two charge station types. One is normal EV charge station and the other is bus garage EV charge station. Both two types collect the data from EV charge stations, and then analyze the collected data. The software suggests optimized EV charge schedule and deliveries EV charge power distribution information to power switchboard system, and the designed software is implemented on embedded system. It is expected that the software provides efficient EV charge schedule.

• 한국정보시스템학회지:정보시스템연구
• /
• 제27권4호
• /
• pp.35-70
• /
• 2018

Purpose Recently, 3D factory simulation technology has emeged as a powerful tool for modeling and analysis of a wide range of production systems, however, it has been not paid much attention in Korea. In this context, this paper aims to provide a comprehensive literature review on discrete event simulation softwares and introduce a promising 3D factory simulation software called FlexSim and its application domains. Design/methodology/approach In order to demonstrate worldwide popularity and technical superiority of FlexSim software, we analyzed the recent list of rankings for commercial discrete simulation softwares released by winter simulation conference and users' opinions collected from business software review site. Moreover, several main application domains are derived from a review of the previous research papers that deal with applications of FlexSim software. Findings FlexSim software recently moved up the list of major commercial simulation softwares, and technical superiorities of the software demonstrate that it is a promising tool for practical 3D factory simulation. Moreover, recent research papers suggest that FlexSim software can be used as a component of smart factory system. In this context, it is expected that FlexSim software becomes more popular in the era of industry 4.0.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권8호
• /
• pp.607-615
• /
• 2009

최근 IT 산업은 국방, 항공, 자동차, 의료와 같은 전통 산업분야와 서로 융합하는 추세이다. 그러므로 시스템의 하드웨어를 주로 담당하는 임베디드 소프트웨어는 높은 신뢰성, 가용성, 유지보수성이 보장되어야 한다. 이를 위해 최근 COTS (Commercial Off The Shelf) 하드웨어 컴포넌트 기반 임베디드 소프트웨어를 개발하는 추세이다. 그러나 이러한 개발방법에는 일반적 소프트웨어 결함 외에 하드웨어와의 상호작용에 기인하는 결함이 추가적으로 발생할 수 있다. 이를 연동결함(Linkage Fault)라고 정의한다. 이는 발생 빈도가 낮음에도 불구하고 전체 시스템의 중단을 야기할 정도로 위험하다. 본 논문에서는 COTS 하드웨어 컴포넌트 기반 임베디드 소프트웨어 개발 시 이러한 연동결함의 발생을 고려한 신뢰성 모델을 제안한다. 또한 제안된 모델의 타당성을 분석하기 위해 베이지안 분석과 마코프 체인 몬테카를로 방법으로 계산한 베이즈 요인을 이용한다. 끝으로 IT 융합 분야의 실제 데이터를 활용하여 제안된 모델의 이론적 결과를 뒷받침한다.

• 한국IT서비스학회지
• /
• 제12권3호
• /
• pp.311-321
• /
• 2013

In the community of software engineering, diverse modeling languages are used for representing all relevant information in the form of models. Also many different models such as business model, business process model, product models, interface models etc. are generated through software life cycles. In this situation, models need to be integrated for enterprise integration and enhancement of software productivity. Researchers propose rebuilding models by a specific modeling language, using a intemediate modeling language and using common reference for model integration. However, in the current approach it requires a lot of cost and time to integrate models. Also it is difficult to identify common objects from several models and to update objects in the repository of common model objects. This paper proposes software model integration using metadata model based on Linked data. We verify the effectiveness of the proposed approach through a case study.

• 한국컴퓨터정보학회논문지
• /
• 제24권1호
• /
• pp.239-246
• /
• 2019

In this paper, we propose an effective software education donation model for the social care class. The types of software education for elementary, middle, and high school for the social care class are in the order of after school classes, club activities, creative experiences, and regular classes. In elementary school students, it is effective to precede visual programming education based on block coding and to conduct curriculum convergence with SW and HW at the beginning, and high school students are carrying out text programming education like Python. Software education for social care class The contribution activity model can be classified into five types such as geographically difficult area, multicultural family areas, orphanage, reformatory, and basic livelihood security recipient. In addition, the survey results show that the students' interest in software education and their satisfaction are all very high at 96%. Effective software education for the social care class In the donation model, the lecturers consist of responsible professors, lecturers, and assistant instructors. Software training for the social care class is effective on a year-by-year basis, so that students can feel authenticity and trust. Software education contents focus on visual programming and physical computing education in elementary or middle school, and text programming and physical computing education in high school. It is necessary to construct a software education donor matching system that helps efficient management of software education donations by efficiently matching schools (consumers: elementary, middle, high school) and software education donors(suppliers).

• 정보보호학회논문지
• /
• 제22권6호
• /
• pp.1407-1417
• /
• 2012

소프트웨어 시스템을 보안 침해로부터 보호하기 위해서는 소프트웨어의 개발 단계에서부터 생명주기 전체에 걸쳐 보안약점을 제거하는 작업이 요구된다. 이러한 작업을 수행함에 있어서 계속하여 보고되고 있는 다양한 보안약점들에 대하여 시스템 보안과 실제 활용 목적에 미치는 영향이 큰 보안약점을 선별하여 적절히 대처하는 것이 효과적이다. 본 논문에서는 소프트웨어 보안약점 및 보안취약점의 중요성에 대한 기존의 정량 평가 방법론들을 소개하고, 이를 기반으로 신뢰도가 중요시되는 소프트웨어 시스템에 대하여 보안약점의 일반적인 심각성을 객관적으로 평가할 수 있는 정량 평가 기준을 제안한다. 또한 제안된 기준을 사용하여 2011 CWE/SANS Top 25 보안약점 명세에 대한 중요도 평가를 수행하고 그 결과를 기존 점수와 비교함으로써 제안된 평가기준의 유용성을 보이고자 한다.