발간년도 : [2018]
| 논문정보 |
|
| 논문명(한글) |
[Vol.13, No.5] A Study of Timed Automata for Self-Adaptive System |
|
| 논문투고자 |
Wansik An |
|
| 논문내용 |
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. |
|
| 첨부논문 |
|
|
|
|
|
자료실 > 논문지 
