@inproceedings{d9af1e37f326449b8ddf1a907c5ec273,
title = "Fuzzy Representation for Flexible Requirement Satisfaction",
abstract = "The need for adaptive systems is growing with the increasing number of autonomous entities such as software systems and robots. A key characteristic of adaptive systems is that their environment changes, possibly in ways that were not envisaged at design-time. These changes in requirements, model and context mean the functional behaviour of a system cannot be fully defined in many cases, and consequently formal verification of the system is not possible. In this research, we propose a fuzzy representation to describe the result of requirement verification. We use an adaptive assisted living system as the case study. The RELAX language is used to create a flexible system specification. We model and simulate the system using UPPAAL 4 and use a fuzzy approach to translate the simulation result into fuzzy requirement satisfaction. The result shows the benefit of a more flexible representation by describing the degree of requirement satisfaction rather than a strict yes/no Boolean judgment.",
keywords = "Adaptive system, Fuzzy, Requirement satisfaction",
author = "Anggraini, \{Ratih N.E.\} and Martin, \{T. P.\}",
note = "Publisher Copyright: {\textcopyright} 2018, Springer International Publishing AG.; 17th UK Workshop on Computational Intelligence, UKCI 2017 ; Conference date: 06-09-2017 Through 08-09-2017",
year = "2018",
doi = "10.1007/978-3-319-66939-7\_3",
language = "English",
isbn = "9783319669380",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer Verlag",
pages = "28--36",
editor = "Steven Schockaert and Qingfu Zhang and Fei Chao",
booktitle = "Advances in Computational Intelligence Systems - Contributions Presented at the 17th UK Workshop on Computational Intelligence",
address = "Germany",
}