본문 바로가기
  • Home

A Study of Timed Automata for Self-Adaptive System

  • Journal of Knowledge Information Technology and Systems
  • Abbr : JKITS
  • 2018, 13(5), pp.639-644
  • DOI : 10.34163/jkits.2018.13.5.015
  • Publisher : Korea Knowledge Information Technology Society
  • Research Area : Interdisciplinary Studies > Interdisciplinary Research
  • Published : October 31, 2018

wan-sik an 1

1성결대학교

Accredited

ABSTRACT

Many phenomenons and systems in real world can be adapted their behavior in reaction to a given usage situation, and using the possibilities of sensors. We are surrounded with a hugh number of communicating and interacting things. Such a system is characterized by being distributed with a smart device or component from a large class. In addition, many cellular phone applications are able to provide a context-aware behavior, in which expose more flexible service and conventional software APP. However, by changing conditions on the dynamic environment act in an undesire behavior on their system. And also, by the undesirable behavior, web services such as power cells and embedded systems can be rely on their resources. Moreover, It can also be caused by the failure of certain resources or nodes in their system that provide to the quality of service and accuracy. After all, Adaptive systems typically use information about their system environment to adapt themselves to certain usage situations. Accordingly, this paper is required newly design methodology for Self-Adaptive with enable to a various systems. For this reason, we design formal description exploration model-based architecture. Especially, we present to optimization with synthesizing and optimizing system level for self-adaptive system, as well as propose Formal specification method for designing self-adaptive system. Futhermore, we show a classification of big data with methodological approach, and provide useful implications with their formation and evolution method.

Citation status

* References for papers published after 2023 are currently being built.