A Graded Approach to Requirement Satisfaction for Evolving Systems

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

106 Downloads (Pure)

Abstract

There has been a strong trend towards autonomous and semi-autonomous systems in recent years. Evolving and adaptive systems embody the notion of autonomy, by changing their behavior (and possibly their structure) in response to changes in their environment. A consequence is that a designer may not be able to fully define the functional behavior of a system. Hence, formal verification and testing may not be possible. As a result, the self-adapting aspect of an evolving system is often implemented in an informal, ad hoc, manner and there is potential for causing significant harm if a system malfunctions in some way. A safety case requires more than an assertion that a system will work because it has not failed in testing. A more rigorous approach is essential, in which we can formally show that an evolving system meets its requirements and specifications. This paper outlines initial work in combining the X-mu approach (to model fuzzy uncertainty) with flexible requirements for an evolving system specified in RELAX, a formal framework to capture the uncertainty in evolving system requirements. A simple case study is used to illustrate some of the principles.
Original languageEnglish
Title of host publication2019 IEEE International Conference on Fuzzy Systems
PublisherIEEE Computer Society
Number of pages6
ISBN (Electronic)978-1-5386-1728-1
ISBN (Print)978-1-5386-1729-8
DOIs
Publication statusPublished - 10 Oct 2019
EventIEEE International conference on Fuzzy Systems - New Orleans, United States
Duration: 23 Jun 201926 Jun 2019
https://attend.ieee.org/fuzzieee-2019/

Publication series

NameIEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
PublisherIEEE
ISSN (Print)1544-5615
ISSN (Electronic)1558-4739

Conference

ConferenceIEEE International conference on Fuzzy Systems
Abbreviated titleFUZZ IEEE 2019
CountryUnited States
CityNew Orleans
Period23/06/1926/06/19
Internet address

Keywords

  • Uncertainty
  • Software
  • Fuzzy sets
  • Standards
  • Adaptive systems
  • Testing
  • Robots

Fingerprint Dive into the research topics of 'A Graded Approach to Requirement Satisfaction for Evolving Systems'. Together they form a unique fingerprint.

  • Cite this

    Martin, T., & Anggraini, R. (2019). A Graded Approach to Requirement Satisfaction for Evolving Systems. In 2019 IEEE International Conference on Fuzzy Systems (IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)). IEEE Computer Society. https://doi.org/10.1109/FUZZ-IEEE.2019.8858795