http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Method for Evaluating Goal Model based on Goal Achievement Rate
Taeyoung Kim,Dongbeom Ko,Sungjoo Kang,Ingeol Chun,Jeongmin Park 보안공학연구지원센터 2016 International Journal of Software Engineering and Vol.10 No.11
To control the data from many sensors, ‘Autonomic Control System’ is an issue because it has occurred to apply ICT to various domains and it is difficult for human to deal with all information. To ensure the reliability of the ‘Autonomic Control System’, to increase the ‘Fault Detection Rate’ for detecting fault, existing studies suggest a way to connect the ‘Autonomic Control System’ with the ‘Goal Model’. However, evaluation of the ‘Goal Model’ is currently insufficient. Thus, this paper presents a ‘Method for Evaluating the Goal Model based on the Goal Achievement Rate’, which comprises 4 steps: ‘Goal Interpretation’, ‘Goal Modeling’, ‘Monitoring and Evaluation’, ‘Reporting’. Through these steps, it is possible to ensure the reliability of the system. As case study, we apply ‘Goal Model’ to a ‘Smart IoT Kit’, which integrates multiple sensors. The experimental results show the proposed methodology validity.
CPS 설계 검증을 위한 DDS 및 DEV&DESS 기반의 실시간 분산 시뮬레이션 방법
김진명,이해영,전인걸,김원태,Kim, Jin Myoung,Lee, Hae Young,Chun, Ingeol,Kim, Won-Tae 한국시뮬레이션학회 2014 한국시뮬레이션학회 논문지 Vol.23 No.2
CPS는 네트워크로 연결된 다수의 임베디드 시스템들이 물리 시스템과 연동하는 새로운 개념의 시스템 이다. 기존의 시스템은 일반적으로 물리 시스템 부분을 고려하지 않았다. 그러나 CPS에서 우리는 물리 시스템에서의 변화와 움직임을 고려해야 한다. 따라서 CPS의 복잡도가 증가로 시스템에서 잠재적인 문제 발생 역시 증가 한다. 본 논문에서 우리는 CPS의 신뢰성을 위하여 실행 가능한 모델 기반 설계 방법론을 적용하고 이를 검증하기 위한 분산 실시간 시뮬레이션 기법을 사용한다. 이산과 연속 요소를 갖는 하이브리드 시스템의 설계를 위하여 우리는 DEV&DESS 형식론을 적용하고 DDS 미들웨어 기반 분산 시뮬레이션 환경에서 시뮬레이션을 수행한다. 또한 우리는 개발한 모델링 도구를 이용한 CPS 응용분야의 모델링 및 시뮬레이션 수행 결과를 보여준다. CPS (cyber-physical systems) which consists of connected and diverse embedded systems and physical systems are a new paradigm. Traditional systems were usually considered to be passive and dumb parts in physical systems, but with CPS, we have to take into account what are being moved or changed in the physical systems. So, as increasing the complexity of CPS, potential errors in the systems also increase. In this paper, for enhancing the reliability of CPS, we exploit an executable-model-based design methodology and propose a distributed simulation method to verify the design of CPS. For the design of the systems including discrete and continuous factors, we apply DEV&DESS formalism and simulate models in distributed simulation environments through DDS middleware. We also illustrate the applications of CPS with our modeling tool.
이해영(Hae Young Lee),김진명(Jin Myoung Kim),전인걸(Ingeol Chun),김원태(Won-Tae Kim),박승민(Seung-Min Park) 제어로봇시스템학회 2011 제어로봇시스템학회 합동학술대회 논문집 Vol.1 No.2
본 논문에서는 물리 시스템과 컴퓨팅 시스템이 결합된 하이브리드 시스템을 시각적으로 표현 및 실행할 수 있는 비주얼 모델링 언어 언어를 제안한다. 제안 모델링 언어의 실행적 의미는 이산 사건 시스템 명세(DEVS)의 확장인 이산 사건 및 미분 방정식 시스템 명세(DEV&DESS)를 따른다. 일반적으로 기존 DEVS 모델링 도구에서는 시스템 모델링을 위해 프로그래밍 지식이 요구되는 반면, 제안 언어에서는 다어어그램만으로도 하이브리드 시스템의 모델링이 가능하다. 마지막으로 제안 언어데 기반을 둔 하이브리드 시스템의 모델링이 가능하다. 마지막으로 제안 언어에 기반을 둔 하이브리드 시스템 모델링 및 시뮬레이션 환경을 소개한다.
고신뢰 사이버-물리 무기체계 획득을 위한 LVC 연동 개발 프레임워크
강성주(Sungjoo Kang),김민조(Minjo Kim),박정민(Jungmin Park),전인걸(Ingeol Chun),김원태(Wontae Kim) 한국통신학회 2013 韓國通信學會論文誌 Vol.38 No.12(융합기술)
본 논문에서는 사이버-물리 시스템의 모델링 및 시뮬레이션 도구인 EcoSuite를 기반으로 지능화, 복잡화되고 있는 사이버-물리 시스템 형태의 무기체계를 개발 및 시험하는 프레임워크를 제시한다. EcoPOD를 이용한 무기체계의 모델링과 타 무기체계 모델들과 연동하여 구성 (Constructive) 시뮬레이션 환경 기반의 전장을 제공하는 EcoSIM이 소개된다. LVC 연동 개발을 위해서는 시뮬레이션 모델 연동 구조와 연동 기술에 순응(compliant)하는 인터페이스 기술, 그리고 시뮬레이션 모델과 실제 시스템(Live), 그리고 사용자와 상호작용하는 시스템(Virtual)의 연계 기술의 개발이 필요하다. 본 논문에서는 LVC 연동 개발을 통한 모델의 검증 및 시스템의 기능을 시험하는 아키텍처와 적용 사례가 제시된다. In this paper, we present a development framework for acquiring intelligent but complex cyber-physical weapon systems based on modeling and simulation development tools for cyber-physical systems, EcoSUITE. We introduce EcoPOD that models weapon systems and EcoSIM that provides constructive simulation environment for interoperating the weapon model to be developed with other weapon models. To develop cyber-physical weapon system based on LVC interoperation, an interoperation architecture and an interface technique for a live and a virtual system that is compliant with the interoperation architecture. By expanding EcoSuite, we provide LVC-based development framework for interoperating a real system, a human-interactive interface system, and simulation models and validate it with a case study.
강성주,전인걸,박정민,김원태,Kang, Sungjoo,Chun, Ingeol,Park, Jeongmin,Kim, Wontae 대한임베디드공학회 2012 대한임베디드공학회논문지 Vol.7 No.5
In this paper, we present the model-based autonomic computing framework for a cyber-physical system which provides a self-management and a self-adaptation characteristics. A development process using this framework consists of two phases: a design phase in which a developer models faults, normal status constrains, and goals of the CPS, and an operational phase in which an autonomic computing engine operates monitor-analysis-plan-execute(MAPE) cycle for managed resources of the CPS. We design a hierachical architecture for autonomic computing engines and adopt the Model Reference Adaptive Control(MRAC) as a basic feedback loop model to separate goals and resource management. According to the GroundVehicle example, we demonstrate the effectiveness of the framework.
Model Transformation of DEVS-Based Fuzzy Systems
Hae Young Lee,Won-Tae Kim,Ingeol Chun,Woochul Kang,Seung-Min Park 대한전자공학회 2010 ICEIC:International Conference on Electronics, Inf Vol.1 No.1
Modeling and simulation technologies have been widely used in industry to assist in system development. Although simulation models can be used throughout most of the design phases, they should be finally transformed to source codes for the target platforms. This paper presents a method to smoothly transform simulation models for SAM fuzzy systems to C++ codes. Through multiple processing steps of the proposed method, simulation models of a fuzzy system are transformed to a C++ class. A prototype of our visual fuzzy system modeling tool to enable the proposed method is introduced.