Using models at runtime to address assurance for self-adaptive systems
A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …
within the system or in its execution environment. The fulfillment of the system requirements …
On the impact of fuzzy-logic based BDI agent model for cyber–physical systems
Abstract Cyber–Physical Systems (CPS) interconnect embedded computing technologies
into the physical world, forming a complex, multi-disciplinary, physically-effective system …
into the physical world, forming a complex, multi-disciplinary, physically-effective system …
ACon: A learning-based approach to deal with uncertainty in contextual requirements at runtime
A Knauss, D Damian, X Franch, A Rook… - Information and software …, 2016 - Elsevier
Context: Runtime uncertainty such as unpredictable operational environment and failure of
sensors that gather environmental data is a well-known challenge for adaptive systems …
sensors that gather environmental data is a well-known challenge for adaptive systems …
Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems
Abstract Self-Adaptive Systems modify their behavior at run-time in response to changing
environmental conditions. For these systems, Non-Functional Requirements play an …
environmental conditions. For these systems, Non-Functional Requirements play an …
Towards run-time testing of dynamic adaptive systems
EM Fredericks, AJ Ramirez… - 2013 8th International …, 2013 - ieeexplore.ieee.org
It is challenging to design, develop, and validate a dynamically adaptive system (DAS) that
satisfies requirements, particularly when requirements can change at run time. Testing at …
satisfies requirements, particularly when requirements can change at run time. Testing at …
AutoRELAX: automatically RELAXing a goal model to address uncertainty
Dynamically adaptive systems (DAS) must cope with system and environmental conditions
that may not have been fully understood or anticipated during development. RELAX is a …
that may not have been fully understood or anticipated during development. RELAX is a …
Automated optimization of weighted non-functional objectives in self-adaptive systems
A self-adaptive system (SAS) can reconfigure at run time in response to adverse
combinations of system and environmental conditions in order to continuously satisfy its …
combinations of system and environmental conditions in order to continuously satisfy its …
Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence
Trustworthy artificial intelligence (Trusted AI) is of utmost importance when learning-enabled
components (LECs) are used in autonomous, safety-critical systems. When reliant on deep …
components (LECs) are used in autonomous, safety-critical systems. When reliant on deep …
SACRE: Supporting contextual requirements' adaptation in modern self-adaptive systems in the presence of uncertainty at runtime
Runtime uncertainty such as unpredictable resource unavailability, changing environmental
conditions and user needs, as well as system intrusions or faults represents one of the main …
conditions and user needs, as well as system intrusions or faults represents one of the main …
ARAS: adaptation requirements for adaptive systems: Handling runtime uncertainty of contextual requirements
Aradea, I Supriana, K Surendro - Automated Software Engineering, 2023 - Springer
Uncertainty is a major issue for system designers in developing an adaptive system,
especially when defining adaptation requirements. The design-time requirement becomes …
especially when defining adaptation requirements. The design-time requirement becomes …