정보과학회논문지 (Journal of KIISE)
Current Result Document :
| 한글제목(Korean Title) |
IoT 시스템의 시스템 행위를 예측하기 위한 확률 프로세스 대수 |
| 영문제목(English Title) |
The Probabilistic Process Algebra to Predict System Behaviors of IoT Systems |
| 저자(Author) |
송준섭
이문근
Junsup Song
Moonkun Lee
|
| 원문수록처(Citation) |
VOL 47 NO. 03 PP. 0247 ~ 0265 (2020. 03) |
한글내용
(Korean Abstract) |
특정 불확실한 상황에서 IoT 시스템의 예측 가능성을 모델링할 필요가 있다. 확률 프로세스 대수는 이러한 불확실성을 다루기 위해 확률 개념을 기반으로 IoT 시스템 행위의 예측 가능성을 모델링할 수 있다. 예를 들어, PAROMA, PACSR 등과 같은 확률 속성을 포함하는 여러 프로세스 대수들이 있다. 그러나 이러한 프로세스 대수들은 단순한 이산 모델이나 지수 모델에만 기반을 두고 있기 때문에 IoT 시스템을 분석하는데 한계가 있다. 이러한 프로세스 대수들의 한계를 다루기 위해, 본 논문은 dTP-Calculus 라고 하는 새로운 프로세스 대수를 제시한다. dTP-Calculus는 복잡한 불확실성을 가진 스마트 IoT 시스템에 네 가지의 확률 모델을 적용할 수 있는 기능을 제공한다. 본 논문에서 제시하는 접근 방법의 실용성을 입증하기 위해 dTP-Calculus를 사용하여 IoT 시스템을 모델링하기 위한 SAVE라고 하는 도구가 개발되었다.
|
영문내용
(English Abstract) |
It is necessary to model the predictability of IoT systems under uncertainty. Probabilistic process algebra can model the predictability of the IoT systems behaviors based on the probability concept, in order to handle the uncertainty. For example, there are a few process algebras with probability property, such as PAROMA, PACSR, etc. However, these algebras are limited to analyzing IoT systems because they are based on simple discrete or exponential models. In order to overcome the existing limitations, this paper presents new process algebra, namely, dTP-Calculus. It enables application of four probabilistic models to smart IoT systems under complex uncertainty. In order to demonstrate the feasibility of the approach, a tool suite, called SAVE, for modeling the IoT system with dTP-Calculus has been developed.
|
| 키워드(Keyword) |
dTP-calculus
프로세스 대수
확률
SAVE
ADOxx 메타-모델링 플랫폼
dTP-calculus
process algebra
probability
SAVE
ADOxx meta-modeling platform
|
| 파일첨부 |
PDF 다운로드
|
