• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.471-474
• /
• 2015

최근 사물인터넷이 빠른 속도로 발전할 것으로 예측됨에 따라서, 서비스들은 사용자들에게 제공되기 위해서 작은 디바이스부터 거대한 디바이스들간의 임베디드 디바이스의 발전과 센서 허브와 같은 보조 프로세서의 발전을 통해, 서로 연결되고 있으며, 사용자들을 위해 지금보다 더 정확하고 신뢰할 수 있는 맞춤형 사물인터넷 서비스를 제공하기 위한 개발의 필요성이 대두되고 있다. 효과적인 서비스 구축을 위한 기법들로 하위 디바이스 계층의 수준과 상위 어플리케이션 계층의 수준을 서로 구분 지을 수 있도록 서비스 지향형 컴퓨팅 방식을 사용하는 여러 계층 구성의 계층적 추상화 접근 방법이 소개되고 있지만, 사용자들에게 더 정확하고 신뢰할 수 있는 서비스를 구축하는 것은 여전히 다양한 이슈가 존재한다. 본 논문에서는 서비스 객체의 단방향 그래프 구성 기법을 적용하여, 효과적이고 신뢰할 수 있는 사물인터넷 서비스 구성을 위하여 서비스 오브젝트를 단방향 그래프 자료구조로 구성한 새로운 형태의 IoT 미들웨어 구조를 제안한다. 또한, 새로 제안된 미들웨어 구조상에서의 사용자의 사용 시나리오 및 시스템 성능상의 이점을 분산 시뮬레이션을 통하여 증명한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.484-487
• /
• 1997

In this paper a simulation program for the powertrain control of a gasoline engine with automatic transmission is presented, The object-oriented programming approach has been pursued, and MATLAB/ SIMULINK was adopted for its environment. The purpose of the paper is to demonstrate the programmability of a control system in the object-oriented fashion so that the transferability of the objects is guaranteed. The program developed in the paper was applied to a gasoline engine and the mathematical models used in the paper were just adopted from the literature. It is shown that the simulation results and real experimental results coincide well. Therefore, it is expected that the program or objects made in the paper are useful for the automotive engineers when they design a new engine/transmission system or modify a part of existing system.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.522-525
• /
• 2011

지금까지 제조업에서는 CAx(CAD, CAE, CAM) 시스템을 중심으로 설계와 생산의 효율성 증대를 이뤄왔다. 최근에는 제품을 중심으로 PLM(Product Lifecycle Management), 디지털 메뉴팩처링(Digital Manufacturing) 등의 개념을 도임하고 있으며, 이를 기반으로 설계와 생산의 효율성 증대뿐만 아니라, 디지털 제품을 중심으로 하는 제품 개발환경 구축을 통해 제조업의 불변과제 해결과 경쟁력 확보를 위해 노력하고 있다. 본 논문에서는 함정 설계와 정보 관리를 위한 프로세스 및 프레임워크 연구를 수행한다. 그리고 함정획득에 SBA 개념을 적용하기 위한 인프라스트럭쳐에 대해 연구를 수행한다. 객체 지향 개발방법론의 요구사항 분석법에 기반을 둔 SBA(Simulation-Based Acquisition) 프레임워크 정의 방법론을 정립하고 이를 바탕으로 3 차원 함정제품모델 중심의 획득업무 분석을 통해 SBA-NS 아키텍처와 함정제품정보(NSPI : Naval Ship Product Information) 참조모델을 정의하고자 한다.

• Journal of the Society of Naval Architects of Korea
• /
• v.39 no.3
• /
• pp.75-80
• /
• 2002

In these days of severe struggle for existence, the world has changed a great deal to global and digital oriented period. The enterprises try to introduce new management and production system to adapt such a change. But, if the only new technologies are applied to an enterprise without definite analysis about manufacturing, failure fellows as a logical consequence. Hence, enterprise must analyze manufacturing system definitely and needs new methodologies to mitigate risk. This study suggests that the new approach, which is systems approach for process improvement, is organized to systems analysis, systems diagnosis, and systems verification. Systems analysis analyzes manufacturing systems with object-oriented methodology-UML(Unified Modeling language) from a point of product, process, and resource view. Systems diagnosis identifies the constraints to optimize the system through scientific management or TOC(Theory of constraints). Systems verification shows the solution with virtual manufacturing technique applied to the core problem which emerged from systems diagnosis. This research shows the artifacts to improve the productivity with the above methodology applied to forming shop. UML provides the definite tool for analysis and re-usability to adapt itself to environment easily. The logical tree of TOC represents logical tool to optimize the forming shop. Discrete event simulator-QUEST suggests the tool for making a decision to verify the optimized forming shop.

• The Journal of Korean Association of Computer Education
• /
• v.17 no.4
• /
• pp.1-11
• /
• 2014

In this study, contents of programming curriculum were designed as instrumental subjects for scientifically gifted students, not for IT gifted ones. Firstly, the programming curriculum consisted of 3 sections; Programming Understanding, Object-Oriented Programming, and Simulation Programming as a result of two semesters. Then, the lectures including project-based and problem-solving tasks were given to scientifically gifted students in a high school during one semester to verify whether they could apply the contents to studies and researches in math or science or not. As a result of this study, the students could improve numerical analysis and simulation program development capabilities in math or science as well as the problem-solving ability based on computational thinking. Moreover, it was proved that the students changed their perception about programing learning. They started to think that programing learning was necessary to studies and researches in math or science. The results of this study propose guideline to design programming curriculum as instrumental subjects for scientifically gifted students.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.697-707
• /
• 2007

Since embedded software is very dependent for target hardware architecture, characteristics of the platform must be considered when designing the software. Furthermore, MPSoCs consists of heterogeneous hardware components that are specified in micro level. Thus mapping of embedded software for MPSoCs should be considered the characteristics. In this paper, we provide an approach to automatic mapping PIM (Platform Independent Model) of an embedded software to PSM(Platform Specific Model) for MPSoC(Multi Processor System On Chip) and verify its effectiveness with simulation. In the proposed approach, tasks are derived from an object oriented model based on the UML (Unified Modeling Language). And then the types of the derived tasks are identified. With the identified types and inter relationship between tasks, the tasks are assigned to appropriate heterogeneous hardware components. We expect that the approach improve accuracy of the assigning and concurrency of the deployed software.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1758-1764
• /
• 2006

컨테이너 터미널 간의 치열한 경쟁, 대형 선박의 출현, 컨테이너 터미널 운영의 자동화 등으로 인해서 세계 각국에서는 많은 컨테이너 터미널들을 건설 중이다. 컨테이너 터미널의 건설에는 아주 많은 시간과 비용이 소요되기 때문에 컨테이너 터미널을 효율적으로 설계하는 것이 필수적이다. 본 연구는 컨테이너 터미널의 엔지니어링 프로세스를 지원하기 위해서 개발된 소프트웨어 시스템 TODAY(Terminal Optimization, Design, and Analysis sYstem)에 대해 다루고자 한다. 먼저 설계 프로세스를 제안하였다. 설계 프로세스는 데이터 입력, 능력 소요 계산, 대안 설계, 대안 평가, 결과 출력으로 구성된다. 대안을 신속히 설계하고 평가하기 위해서 컨테이너 터미널 전용 라이브러리가 개발되었다. 라이브러리는 Wharf, Yard, TravellingArea, Gate로 구성된다. 라이브러리의 구조는 객체 지향적으로 설계하여 확장성과 재사용성을 가지게 하였다. 시스템은 사용자에게 친숙한 인터페이스와 CAD 환경을 제공하여, 다양한 유형의 컨테이너 터미널 모형들이 데이터 입력과 라이브러리 구성요소의 조합에 의해 구성될 수 있도록 지원한다. 생성된 대안 모형들은 시뮬레이션과 경제성 모형에 의해 평가된다. 시스템은 생성된 모형을 시뮬레이션 모형으로 자동 변환하는 기능을 제공한다. 피드백 과정을 거쳐서 최종적으로 사용자의 요구사항을 만족시키는 대안이 제시된다.

• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.4
• /
• pp.128-136
• /
• 1999

This paper suggests a new object-oriented methodology, ESBD(Evolutionary Simulation Based Design), for the development of an automated manufacturing system in shipbuilding. The target system, AHMS(Automated Hull-piece Manufacturing System), is a virtualized and distributed system controlling the manufacturing processes of storing, surface-pretreatment, cutting, 1st and 2nd curvature generation of material plates. The control and product-flow simulation is applied for the real-time product monitoring and product data management(PDM). The prototype system of AHMS also outlines the layout of the new automated factory.