Skip to content

A Graded Approach to Requirement Satisfaction for Evolving Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication2019 IEEE International Conference on Fuzzy Systems
Publisher or commissioning bodyIEEE Computer Society
Number of pages6
ISBN (Electronic)978-1-5386-1728-1
ISBN (Print)978-1-5386-1729-8
DOIs
DateAccepted/In press - 25 Jan 2019
DatePublished (current) - 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

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.

    Research areas

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

Event

IEEE International conference on Fuzzy Systems

Abbreviated titleFUZZ IEEE 2019
Duration23 Jun 201926 Jun 2019
CityNew Orleans
CountryUnited States
Web address (URL)
Degree of recognitionInternational event

Event: Conference

Download statistics

No data available

Documents

Documents

  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the author accepted manuscript (AAM). The final published version (version of record) is available online via IEEE at https://ieeexplore.ieee.org/document/8858795. Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 464 KB, PDF document

DOI

View research connections

Related faculties, schools or groups