Self-Adaptive System Verification based on SysML

초록

In the development of current technology, systems are being used in various fields. The system may be newly configured depending on the environment, and may be added to the existing environment. There are also cases where the systems need to collaborate with each other due to environmental changes. Especially, in real-time systems, it is necessary to cope with continuously changing environment. And, you should check whether the result of the correspondence adversely affects other systems. Recognition requirements engineering has been studied for self-adaptive system configuration. A variety of self-adaptation frameworks have also been studied. Formal verification techniques are also being studied to verify the self-adaptive system. However, there is a lack of research to verify self-adaptive systems based on requirements. In this paper, we propose a self-adaptive system verification scheme using Requirement Diagram and State Diagram used in SysML. Requirement analysis contents are expressed as Requirement Diagram and system state information is displayed as State Diagram to establish the basis for verifying whether the requirements are functionally satisfied. Also, based on the Awareness Requirement, the requirements specification technique is used to provide a basis for expressing non-functional requirements.

키워드