Advertisement

Fuzzy Representation for Flexible Requirement Satisfaction

  • Ratih N. E. AnggrainiEmail author
  • T. P. Martin
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 650)

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

Fuzzy Requirement satisfaction Adaptive system 

References

  1. 1.
    Tamura, G., Villegas, N., et al.: Towards practical runtime verification and validation of self-adaptive software systems. In: de Lemos, R., et al., (eds.) Software Engineering for Self-adaptive Systems II, Revised Selected and Invited Papers, Dagstuhl Castle, Germany, 24–29 October 2010, pp. 108–132. Springer, Heidelberg (2013)Google Scholar
  2. 2.
    Whittle, J., Sawyer, P., et al.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15, 177–196 (2010). ISSN 1432-010XCrossRefGoogle Scholar
  3. 3.
    Ahmad, M., Belloir, N., Bruel, J.-M.: Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems. J. Syst. Softw. 107, 50–70 (2015)CrossRefGoogle Scholar
  4. 4.
    Systems and software engineering – Vocabulary. ISO/IEC/IEEE 24765:2010(E), pp. 1–418. (2010). http://www.uppaal.org/
  5. 5.
    UPPAAL website (2017). http://www.uppaal.org/
  6. 6.
    Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338–353 (1965)CrossRefzbMATHGoogle Scholar
  7. 7.
    Martin, T.P.: The X-μ representation of fuzzy sets. Soft. Comput. 19(6), 1497–1509 (2015)CrossRefGoogle Scholar
  8. 8.
    Moon, S., Lee, K.H., Lee, D.: Fuzzy branching temporal logic. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 34(2), 1045–1055 (2004)CrossRefGoogle Scholar
  9. 9.
    David, A., et al.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397–415 (2015)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Intelligent Systems LabUniversity of BristolBristolUK
  2. 2.Informatics DepartmentInstitut Teknologi Sepuluh NopemberSurabayaIndonesia

Personalised recommendations