고 안전성 임베디드 소프트웨어 단위 테스트 기법

신희정 高麗大學校 融合소프트웨어專門大學院 2013 국내석사

최근 임베디드 소프트웨어는 의료, 자동차, 원자력, 조선 등 다양한 산업에 IT가 접목되고, 스마트폰의 대중화로 산업 전반의 경쟁력을 좌우하는 핵심 인프라로 그 역할과 중요성이 강조되고 있다. 즉, 임베디드 소프트웨어는 고 안전성을 요하는 의료, 자동차, 원자력 등에 널리 사용되고 있다. 따라서 임베디드 소프트웨어의 신뢰성을 높이는 것이 매우 중요하게 되었다. 그에 반하여 임베디드 소프트웨어의 테스팅 기술은 더디게 발전하고 있다. 임베디드 소프트웨어는 하드웨어 의존도가 높기 때문에 기존의 일반 소프트웨어 테스팅에 비하여 기술 집약적 테스트가 미약하다. 또한 일반적으로 소프트웨어와 하드웨어가 병행하여 개발하기 때문에 하드웨어가 검증되지 않은 상태에서 임베디드 소프트웨어와 통합된 후, 테스팅이 이루어지는 경우가 많다. 이로 인하여 오류의 위치와 원인을 추적하기 힘들다. 위와 같이 임베디드 소프트웨어 테스팅의 어려움을 해결하기 위해 본 논문에서는 임베디드 소프트웨어를 임베디드 시스템 환경이 아닌 x86의 환경에서 공개 테스팅 도구를 활용하여 단위 테스팅 할 수 있는 방법을 제시한다. 하드웨어를 제어하는 소스 코드인 레지스터, 메모리 등을 직접적으로 참조하는 소스 코드를 전역 변수로 수정하는 방법으로 하드웨어를 제어하는 소스 코드를 공개 테스팅 도구가 인식하지 못하는 문제를 해결 하였다.

실시간 스케줄링을 지원하는 멀티코어 가상 임베디드 머신 환경 하이퍼바이저

최재혁 高麗大學校 融合소프트웨어專門大學院 2011 국내석사

임베디드 환경에서 마이크로프로세서는 하드웨어 성능에서 가장 중요한 요소 중에 하나이다. 현재 임베디드 환경 마이크로프로세서의 큰 이슈 중에 하나는 다중 코어로서 이미 이중 코어를 탑재한 임베디드 기기들은 빠른 속도로 인해 사람들의 관심을 많이 받고 있다. 하드웨어의 성능이 증가하면서 임베디드 기기의 가상화에 대한 관심도 증가하고 있다. 임베디드 시스템에 가상화가 적용이 되면 범용적인 운영체제와 실시간 운영체제를 함께 지원할 수 있어, 실시간 특성이 요구되는 어플리케이션을 지원하는 범용적인 운영체제를 제공할 수 있다. 또한 운영체제를 격리시킬 수 있기 때문에 보안성이 높아지고, 오류가 발생하여도 전체 시스템에 영향을 주지 않아 신뢰성이 높아질 수 있다. 또한, 디바이스 드라이버를 수정하지 않고 사용할 수 있어 재사용성이 증가한다. 본 논문에서는 임베디드 머신 기반의 가상 하이퍼바이저에서 범용적인 운영체제와 실시간 운영체제를 다중 코어 기반에서 적합하게 실행시킬 수 있는 수정된 스케줄러를 제시하였다. 기존의 단일 코어에서 구현된 PARFAIT 스케줄러는 실시간 운영체제에 적합한 SEDF 스케줄러와 범용적인 운영체제에 적합한 BVT 스케줄러를 통합한 계층형 스케줄러로서 한 개의 하드웨어에서 다양한 목적의 운영체제가 함께 동작할 수 있다. 하지만 기존의 SEDF 스케줄러는 다중코어에 대한 고려가 되지 않아 다중코어에서는 비효율적으로 동작한다. 따라서 우리는 SEDF 스케줄러를 수정하여 CPU를 VCPU 단위가 아닌 도메인 단위로 하여 멀티 코어에서 좀 더 효율적으로 CPU 할당을 할 수 있게 하였다. 이어지는 실험에서는 이중 코어 CPU인 Tegra250에 이를 구현하였고 큰 성능의 저하 없이 실시간 운영체제의 실시간성을 좀 더 효율적으로 지원함을 보였다.

PathSavanna:Xen 기반의 GPGPU를 이용한 packet routing

박근영 高麗大學校 融合소프트웨어專門大學院 2015 국내석사

인터넷에 대한 연구가 진행되면서 관리가 쉽고 여러 환경에 따라 수정할 수 있는 유연한 구조의 인터넷 환경이 필요하게 되었다. 유연한 구조의 인터넷 구축을 위해 소프트웨어 기반의 라우터 연구가 활발하게 발생하였다. 연구의 방향은 RouteBricks나 Netmap과 같이 소프트웨어 라우터의 성능에 집중한 연구와 소프트웨어 라우터에 확장성을 더하기 위해 소프트웨어 라우터를 가상화하려는 연구로 나뉜다. 하지만 소프트웨어 라우터가 가상화된다 하더라도 소프트웨어 라우터 자체의 성능적인 약점이 사라지지 않기 때문에 가상 라우터의 성능을 개선하기 위한 연구도 필요하다. GPU route는 소프트웨어 라우터의 낮은 성능을 개선하기 위해 packet을 routing을 GPU로 병렬 처리하는 일련의 과정을 뜻하고 현재 관련된 연구들이 진행되고 있다. 하지만 이러한 연구들이 native 환경에서의 연구거나 성능을 평가할 때 실제 packet을 처리하는 것이 아니라 단순한 IP 정보만 가지고 시뮬레이션 하는 것이 대부분이라 기존의 연구로는 GPU routing이 가상 라우터에서 어떤 효과를 보일지를 예측하기 어렵다. 본 논문에서는 가상 라우터에서의 GPU routing의 영향을 알아보기 위해 GPU를 가상화 하는 Savanna와 가상 라우터 Pathfinder를 조합하여 GPU routing 기술을 가상화 환경에 구현하고 실제 packet이 전송되는 네트워크 환경에서의 실험을 통해 성능을 평가한다.

(A)Return-On-Investment Based Approach to Plat-formalizing DTV Device Drivers Using Embedded Functional points

허소희 고려대학교 대학원 2008 국내석사

Embedded Software 산업 부문에서는 개발 시 드는 비용이 제품 출시 시 판매 비용에 직결되므로, 개발 비용의 절감이 늘 큰 이슈가 되고 있다. Hardware의 경우는 부품 재료비의 산정을 통해 재료비 절감의 효과를 미리 알 수 있지만, 눈으로 보이는 부품을 사용하지 않고 programmer의 노력과 시간, 개인적인 skill 등을 통해 산출되는 software의 개발 비용 산정에는 많은 어려움이 따른다. 또한 잘못 된 추정은 자원 예측의 부정확성을 초래하고 이로 인하여 일정에 차질이 오거나 품질의 저하와 같은 문제점이 따를 수 있다. 기존에는 Digital TV의 software 개발 시 software의 표준화를 통해서 개발 일정이나, 인적 자원의 절감 등과 같은 성과에 대해서 오로지 심증적인 추정만이 가능 한 경우가 많았다. 물론 이미 많은 분야에서 software 추정의 기법이 쓰이고 있고 보이지 않는 software 부품의 특성을 극복하고 좀 더 객관적인 기준을 마련하기 위한 노력이 진행되고 있다. 하지만 아직까지 digital TV를 개발하고 있는 산업체에서는 이러한 소프트웨어 추정 기법을 digital TV의 개발 project에 도입하고자 하는 시도가 널리 이루어지지 못하고 있는 실정이다. 이것은 최초에 TV를 개발할 때는 Analog 방송 수신용으로 어셈블리어를 사용하는 작은 규모의 program 만으로도 CRT TV의 개발이 가능했었고, 그러한 시기에는 경력 많고 자질 있는 senior engineer에 의한 소프트웨어 자원의 추정이 가능하였다. 그러나 그 이후에 digital TV 방송이 도입되고, 방송 수신을 위한 SOC chip들의 발전이 급격하게 진행되면서 digital software의 규모와 복잡성이 날이 다르게 커져갔다. 그리고 이렇게 software의 발전이 진행됨에 따라, project를 시작하기 전에 software team의 목표 설정을 하는 경우나 개발 완료 시의 성과 측정이 필요한 경우에는 적당한 기준을 찾지 못해 곤란을 겪어왔다. 또한, 대부분의 embedded 산업에서는 제품을 개발 할 때, 기존에 개발 되어왔던 과거 project에서 software의 일부만을 변경을 하여 다양한 modify model을 개발하는 경우가 많은데, 이 경우에는 변경 되는 부분을 작업할 programmer를 몇 명을 투입 할 것 인지, 예상 개발 비용과 기간에 대해서는 더욱 가늠하기 힘들다. 본 논문에서는 실제로 개발 중인 Digital TV의 일부 code만을 변경하는 경우를 고려하여, 표준화 작업을 수행 할 경우 작은 module의 변경만을 COCOMO II 모델링 기법을 적용하여, 예측 비용을 추산해 보았다. 이 방법을 통하여 소단위의 software의 변경이나 기능의 추가 시에 기대되는 비용의 효과를 예측 할 수 있고, 필요한 인원 선정에도 도움이 될 수 있다. 그 변경 될 module의 대상은 device driver level에 위치하고 있어, 매번 새로운 device가 개발 될 때마다, 추가로 작성되어야 하는 code 였다. 그러나, 이 code를 표준화 할 수 있는 부분과 device에 전적으로 의존적인 부분을 고려하여 표준화가 가능한 부분은 refactoring과 module 화를 통하여 Plat-formalization 을 시켜서, 표준 code 영역으로 옮겨서, device 추가 시 마다 다시 개발 되는 일이 없도록 하는 것을 본 논문의 목표로 삼았다. 또한 이때 code size를 추정하기 위하여 기존의 function points 기법을 사용 할 경우, 이 기법 자체가 대규모의 team project를 수행할 때 적합하도록 고안이 되어서, 소규모의 program을 변경할 경우에는 적용하기에 부적합하다는 것을 발견하였다. 이에 기존의 function points 기법을 소규모 embedded 환경에서 사용하기 적합하도록 parameter를 수정하여, 새로운 ‘Embedded functional point” 기법을 고안하여 이 기법을 사용하여 좀 더 정확한 추정이 이루어질 수 있도록 하였다. 이때 얻어지는 cost는 향후 새로운 device 를 이용하여 개발되는 모델의 개발 비용까지 고려될 수 있다. 본 논문에서는 기존의 software 측정 기법으로 잘 알려진 COCOMO(Constructive Cost Model) II 를 사용하여 가시적인 비용을 추정하였으며, 그 결과는 해당 모듈을 위하여는 programmer 한 명이 full 로 지원이 되었을 경우 약 9개월 정도 걸리는 것으로 나왔다. 따라서, 이 모듈을 표준화 했을 경우에는 이에 해당하는 비용의 절감 효과를 기대할 수 있다. 이러한 방법은 다른 모듈로의 확대가 가능하며 향후 Digital TV software project의 개발 할 경우, 계획을 세우거나, 성과 측정에 도움을 줄 수 있을 것이다. In this paper, we apply COCOMO II modeling method to digital TV by considering the modification of the partial code in case of the software standard and estimate a cost. Through the proposed method, we can estimate the cost and when the partial software code or additional function is modified. We also can estimate the number of the works to modify the code. When new devices are added or developed, the code has to be modified because the modified target module is located in device driver level. The focus of the paper is the decrease of the development costs by considering the partial code that is able to standardize and the other that is device dependant. Additionally, we discover that an existing method (functional points) is not suitable for the small team project to estimate a code size. Accordingly, we modify a parameter that is used in the existing method “Functional points” and propose a new method that is a suitable developing environment in embedded system. In section 4 (Estimation), we show that the proposed method is better than the existing method in terms of the estimated cost.

(A)Model-Driven Architecture Based Approach to Developing Cellular Phone Applications with Intensive User Interface

성연범 고려대학교 대학원 2008 국내석사

In developing the applications of the newest cellular phones, while the period of the development has been getting shorter, the software structure has become more complicated, it has been getting tougher to test, with a variety of functions and sumptuous graphics to fulfill consumers, and the software structure has been greatly changed with the changing software platforms and the using of various devices. Therefore, the new development paradigm has been needed to solve these problems fundamentally. By applying a MDA approach to the development of cellular phones, first, portability and interoperability were enhanced with designing all sorts of cell-phone requirements in a platform as an independent model using the modeling tool, the second repetitive, time-consuming test was changed conveniently and fast with automation, whether there are errors or not was ascertained before the creation of a source code through the test tool, and third, the source code that is suitable for a specific platform was created easily and fast by using a code generation transformation tool. In addition, the development process was integrated so modeling, simulation, and test could be conducted at the same time in one single operation. This cell-phone development approach has enabled to put the product consumers desire on the market and to produce the product with higher quality. The manufacturer with this technology comes to have more competitiveness than other cell-phone manufacturers. 최신 휴대전화 어플리케이션들을 개발함에 있어서 시장 선점을 위해 개발 기간은 점점 짧아지는 반면에 사용자의 욕구를 만족 시키기 위해 다양한 기능들과 화려한 그래픽들로 소프트웨어 구조는 점점 복잡해져 가고, 테스트는 점점 더 힘들어지며, 변화하는 소프트웨어 플랫폼과 다양한 부품들이 사용되어 짐에 따라 소프트웨어 구조도 많이 바뀌게 되면서 이러한 문제점들을 근본적으로 해결해줄 수 있는 새로운 개발 패러다임이 요구되기 시작하였다. MDA 방식을 휴대전화 개발에 도입으로 모델링 툴을 이용해서 각종 휴대전화 요구사항들을 플랫폼에 독립적인 모델로 설계하여 이식성과 상호운용성을 높였으며, 테스트 툴을 통해 반복적이고 시간 소요적인 테스트를 자동화로 편리하고 빠르게 해결하고 소스 코드 생성 전에 오류 여부를 확인하였으며, 코드 생성 변환 툴을 사용해서 빠르고 간편하게 특정 플랫폼에 맞는 소스 코드를 만들어냈다. 또한 한 번의 작업으로 모델링, 시뮬레이션, 테스트가 동시에 가능하도록 개발 과정을 통합하였다. 이러한 휴대전화 개발 방법 접근은 소비자들이 원하는 제품을 적시에 출시 가능하게 하고 보다 더 높은 품질의 제품 생산을 가능하게 하였다. 이렇게 시간과 비용을 줄여서 다른 휴대전화 제조사들보다 높은 경쟁력을 갖추게 된다.

Xen MicroC/OS-II에서의 네트워크 인터페이스 카드 가상화

강정원 高麗大學校 融合소프트웨어專門大學院 2011 국내석사

Xen 가상 머신 모니터는 여러 개의 운영 체제를 낮은 오버헤드로 동시에 실행할 수 있는 환경을 제공한다. 최근, 이러한 가상화 기술을 임베디드 시스템에 사용되는 운영체제 중 하나인 MicroC/OS-II 또한 Xen-ARM으로 포팅되었다. Xen은 split device driver model을 이용하여 물리적은 디바이스를 가상화한다. Xen split device driver model은 기존의 드라이버들을 재사용함으로써 개발의 노력을 줄여주는 동시에 driver의 domain을 시스템과 분리함으로써 높은 신뢰성을 제공한다. 최근의 임베디드 시스템은 대부분 외부세계와 통신을 하기위한 능력을 갖추고 있다. 하지만 MicroC/OS-II 같은 임베디드 시스템은 어떠한 네트워크 드라이버도 가지고 있지 않다. 따라서 Xen-ARM 위에 포팅된 MicroC/OS-II에서 NIC(network interface card)를 이용하기 위해서는 Xen split driver model을 적용할 수 있다. Xen split driver model에서는 네트워크 드라이버로 기존의 리눅스 드라이버를 사용하게 되며 이를 가상화하여 각 guest OS에 제공하게 된다. 그리고 각 guest OS에서는 이를 위한 인터페이스로 front-end driver라는 구조가 구현되어야 한다. Xen은 기본적으로 split driver model을 위한 인터페이스를 제공하지만, front-end driver는 guest OS 위에 구현되기 때문에 guest OS의 특성을 고려해서 구현되어야 할 것이다. 본 논문에서는 Xen-ARM 위에 포팅된 MicroC/OS-II에서 이러한 front-end driver에 해당하는 구조를 구현하기 위해 필요한 이슈들과 세부사항들을 제공한다.

소프트웨어 라우터에서 GPU를 사용하는 새로운 IP 패킷 라우팅 구조

권기둥 高麗大學校 融合소프트웨어專門大學院 2013 국내석사

최근 클라우드 컴퓨팅, CCN등 미래인터넷에 대한 관심이 높아지고 새로운 네트워크 시스템의 개발이 활발해 지면서 현재 인터넷에 확장성 및 유연성을 제공하고자 하는 노력들이 이루어져 왔다. 소프트웨어 라우터는 이러한 요구들을 제공할 수 있는 좋은 수단이 되고 있으나, 기존의 상용하드웨어 라우터에 비해 성능이 낮다는 단점이 존재한다. 이러한 성능 한계의 원인으로 CPU 병목현상이 지적되고 있는데, 본 논문에서는 이러한 문제점을 해결하기 위해 CPU에 주어지던 라우팅 처리를 GPU로 옮길 것을 제안한다. 먼저 라우팅 테이블을 프리픽스 단위로 나누고 CRC테이블을 통해 접근하는 방식으로 IP주`소 검색을 수행하는 방식으로 새로운 IP 라우팅 구조를 구현하였다. 기존에 존재하는 소프트웨어 라우터들과 비교했을 때, 검색 성능의 향상 뿐 아니라 라우팅 테이블의 갱신에 대한 이슈를 고려함으로써 실제 네트워크 환경에서 향상된 성능을 보일 수 있음을 보인다.

Cortex-A15 하드웨어 가상화 실시간성 지원 분석

김태경 고려대학교 융합소프트웨어전문대학원 2015 국내석사

최근 모바일, 스마트TV, 스마트카 등의 임베디드시스템에서도 가상화 기술의 필요성이 증가 하고 있다. 가상화 기술을 이런 임베디드시스템에 적용하기 위해서는 가장 먼저 게스트 운영체제가 실시간성을 만족 하여야만 한다. 대표적인 임베디드시스템인 모바일 기기의 경우 Communication Processor(CP)는 1ms 이하의 deadline을 가지며, 자동차 클러스터의 경우 micro second 단위의 응답성을 보여야 한다는 실시간성 요구 사항을 가진다. 따라서 이 논문에서는 임베디드 시스템에 가장 많이 사용되고, 가상화를 하드웨어적 지원하는 ARM Cortex-A15 프로세서에서의 가상화, 즉 Xen-ARM(HVM)에서의 실시간성 지원을 분석 하였다. 구현된 Xen-ARM(HVM)과 RTOS를 기반으로 실시간성에 영향을 미칠 수 있는 요소들을에 대해서 실험을 진행 하였다. CPU affinity변경, 인터럽트의 영향, 스케줄러에 따른 영향, I/O및 CPU workload에 의한 영향, 마지막으로 스케줄러 파라미터 변경에 따른 실시간성 지원여부 등의 실험을 하였으며 CPU affinity, SEDF스케줄러, SEDF스케줄러 파라미터 변경 등으로 통해 RT-task들의 deadline miss rate를 줄일 수 있는 효과를 거뒀다. 하지만 RTOS의 동작과 함께 GPOS에서 workload를 동작 시킬 경우 최대 31.52%의 deadline miss rate를 보이기도 했다. 또한 SEDF 파라미터 변경에 따라 RTOS의 deadline miss rate를 줄일 수는 있지만 worst case latency가 최대 480,000 timer count, 약 20ms까지 증가하는 것을 확인 할 수 있었다.

UPPAAL을 이용한 심박수 적응 듀얼 챔버 인공심장 박동기 정형 검증

이선영 高麗大學校 融合소프트웨어專門大學院 2014 국내석사

전자기기에서의 소프트웨어 비중과 복잡도가 점점 늘어나고 있다. 이러한 현상의 일환으로 소프트웨어 자체 오류로 인한 문제 사례가 많이 보고되고 있어 소프트웨어적 결함을 개발과정에서 방지하고 품질을 향상 시켜야 한다는 전 세계적 요구가 확산되고 있다. 특히, 소프트웨어적 결함으로 생명이나 재산상의 큰 손실을 유발하는 경우 소프트웨어 품질 향상과 안전성 보장은 절대적 전제조건이 된다. 이를 위해 세계의 여러 나라는 국제 표준을 만들어 준수하고 있다. 이러한 국제 표준에서 안전성을 보장하는 방법으로 정형기법 사용을 명시하고 있다. 본 논문에서는 위의 사례로 정형기법 커뮤니티에서 선정한 문제 중 하나인 인공심장 박동기의 기본 속성을 정형기법 도구를 이용한 모델링 및 검증을 통해 안전성을 확인한다. 현재 가장 많이 사용되고 있는 심박수 적응 듀얼 챔버 인공심장 박동기(rate-adaptive dual chamber pacemaker)를 대상으로 하며, 인공심장 박동기의 기본 사항은 인공심장 박동기 과제를 관리하고 있는 McMaster 대학의 SQRL에서 제공하는 보스턴 과학의 표준 사항을 포함한 관련 의학 정보를 기준으로 한다. 인공심장 박동기는 주입 후 인공심장 박동기에 의해 발생할 수 있는 부작용이 존재한다. 현재 의학계에서는 인공심장 박동기 증후군으로 분류하고 있으며, 증후군의 종류는 운영 모드에 따라 다르게 나타난다. 이는 인공심장 박동기의 안전성에 위반되는 사항이므로, 이를 방지해야만 한다. 따라서 이를 미연에 방지하기 위해 현재 인공심장 박동기에는 제조사 마다 각각의 알고리즘을 선택적으로 사용하고 있다. 본 논문에서는 보스턴 과학의 표준 알고리즘을 바탕으로 인공심장 박동기 모델을 확장하고 인공심장 박동기 증후군의 주원인이 되는 상심실성 빈맥의 검출 모델을 포함하여 알고리즘의 정확성을 확인하고 안전성을 보장한다.

(A) Runtime system behavior evaluation methodology and framework for autonomic systems

이종현 성균관대학교 일반대학원 2012 국내석사

An autonomic system provides self-adaptive ability that enables system to dynamically adjust its behavior on environmental changes or system failure. Fundamental process of adaptive behavior in an autonomic system is consists of monitoring system or/and environment information, analyzing monitored information, planning an adaptation policy and executing selected policy. Evaluating system behavior is one of a significant part among them, since inappropriate evaluation can lead system to perform unnecessary adaptation. We propose a novel approach on evaluating autonomic system at runtime. Our proposed method takes advantage of a goal model that has been widely used at requirement elicitation phase to capture system requirements. We suggest the state-based goal model that is dynamically activated as the system state changes. In addition, we defined types of constraints that can be used to evaluate goal satisfaction level. We implemented a prototype of autonomic computing software engine to verity our proposed method. We simulated the behavior of the autonomic computing engine with the home surveillance robot scenario and observed the validity of our proposed method and verified its efficiency. 다양한 고성능 기기의 출현으로 인해 소프트웨어 실행 환경은 점차 복잡 다양화되고 있다. 이러한 복잡환 환경에서 실행되는 소프트웨어는 제품 설계 및 개발 단계에서 예상하지 못한 상황이 발생하게 되지만 기존의 소프트웨어는 요구사항 분석 단계에서 정의된 상황만을 가정하고 설계되기 때문에 이러한 상황에 대처하기 어렵다. 이러한 문제를 해결하기 위한 방법으로 자가 적응 소프트웨어가 제안되었는데 크게 모니터링(monitoring), 분석(analysis), 계획(planning), 실행(execution)의 과정을 통해 소프트웨어 스스로 상황에 적응하여 오류(failure)의 발생을 최소화하는 것을 목표로 한다. 따라서 자가 적응 소프트웨어는 작동 중인 시스템의 행위를 평가하여 적응 정책이 수행되어야 하는지에 대한 판단이 필수적이며, 이러한 행위 평가의 정확성에 따라 시스템의 성능에 큰 영향을 미친다. 현재 시스템의 행위에 대한 평가가 부적절하게 내려지면 자가 적응 시스템은 정책 실행이 필요한 상황에서 아무런 조치를 취하지 않거나, 반대로 정상적인 상태에서 불필요한 정책을 반복적으로 수행하여 시스템 성능을 저하시킬 수 있기 때문이다. 본 논문에서는 자가 적응 시스템의 런타임에 이루어지는 행위 평가 방법론을 제안하고, 이를 위한 소프트웨어 프레임워크를 제안한다. 본 논문에서는 기존에 요구사항 분석 단계에서 시스템 설계 검증에 활용되던 목표 모델을 활용하여 행위 평가를 수행한다. 따라서 다양한 시스템 요구사항에 대한 표현 및 평가가 가능하며, 시스템 상태에 따라 동적으로 목표 모델이 활성화되므로 불필요한 데이터 전송 오버헤드를 줄일 수 있다. 시스템 성능 평가를 위해서 제안 방법론을 적용한 시스템을 기반으로 평가 결과의 정확성을 확인하였고, 메세지 전송 횟수를 측정하여 제안 시스템의 효율성을 입증하였다.