English
Related papers

Related papers: Using Models at Runtime to Address Assurance for S…

200 papers

Runtime adaptability is often a crucial requirement for today's complex software systems. Several approaches use an architectural model as a runtime representation of a managed system for monitoring, reasoning and performing adaptation. To…

Software Engineering · Computer Science 2018-05-22 Thomas Vogel , Holger Giese

Advanced systems such as IoT comprise many heterogeneous, interconnected, and autonomous entities operating in often highly dynamic environments. Due to their large scale and complexity, large volumes of monitoring data are generated and…

Software Engineering · Computer Science 2020-04-09 Lucas Sakizloglou , Sona Ghahremani , Thomas Brand , Matthias Barkowsky , Holger Giese

Self-adaptive software is considered as the most advanced approach and its development attracts a lot of attention. Decentralization is an effective way to design and manage the complexity of modern self-adaptive software systems. However,…

Software Engineering · Computer Science 2018-01-01 Nianyu Li , Di Bai , Zhuoqun Yang , Wenpin Jiao

Software systems are increasingly making decisions on behalf of humans, raising concerns about the fairness of such decisions. Such concerns are usually attributed to flaws in algorithmic design or biased data, but we argue that they are…

Software Engineering · Computer Science 2021-04-09 Ali Farahani , Liliana Pasquale , Amel Bennaceur , Thomas Welsh , Bashar Nuseibeh

Self-adaptive systems are able to change their behaviour at run-time in response to changes. Self-adaptation is an important strategy for managing uncertainty that is present during the design of modern systems, such as autonomous vehicles.…

Systems and Control · Electrical Eng. & Systems 2023-04-04 Simon Diemert , Jens H. Weber

Self-adaptive software systems are often structured into an adaptation engine that manages an adaptable software by operating on a runtime model that represents the architecture of the software (model-based architectural self-adaptation).…

Software Engineering · Computer Science 2018-04-04 Thomas Vogel

Self-adaptation equips a computing system with a feedback loop that enables it dealing with change caused by uncertainties during operation, such as changing availability of resources and fluctuating workloads. To ensure that the system…

Software Engineering · Computer Science 2022-03-08 Danny Weyns , M. Usman Iftikhar

Designing a Cyber-Physical System (CPS), including modeling the control components and services, is a challenging task. Using models and simulations during run-time is crucial for successfully implementing advanced control and prediction…

Other Computer Science · Computer Science 2023-03-15 Raheleh Biglari , Joachim Denil

Machine learning (ML) provides us with numerous opportunities, allowing ML systems to adapt to new situations and contexts. At the same time, this adaptability raises uncertainties concerning the run-time product quality or dependability,…

Software Engineering · Computer Science 2022-10-18 Lalli Myllyaho , Mikko Raatikainen , Tomi Männistö , Jukka K. Nurminen , Tommi Mikkonen

Cloud-based software systems are increasingly becoming complex and operating in highly dynamic environments. Self-adaptivity and self-awareness have recently emerged to cope with such level of dynamicity and scalability. Meanwhile,…

Software Engineering · Computer Science 2019-12-12 Maria Salama , Rami Bahsoon , Rajkumar Buyya

With the intensified use of intelligent things, the demands on the technological systems are increasing permanently. A possible approach to meet the continuously changing challenges is to shift the system integration from design to run-time…

Artificial Intelligence · Computer Science 2018-08-13 Andreas Niederquell

In the rapidly evolving landscape of software engineering, the demand for robust and secure systems has become increasingly critical. This is especially true for self-adaptive systems due to their complexity and the dynamic environments in…

Cryptography and Security · Computer Science 2026-04-07 Irdin Pekaric , Raffaela Groner , Alexander Raschke , Thomas Witte , Jubril Gbolahan Adigun , Michael Felderer , Matthias Tichy

Checking software application suitability using automated software tools has become a vital element for most organisations irrespective of whether they produce in-house software or simply customise off-the-shelf software applications for…

Software Engineering · Computer Science 2015-08-05 Rajesh Mathur , Scott Miles , Miao Du

Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries in the safety-critical domain. However, the task of…

Software Engineering · Computer Science 2024-06-11 Ran Wei , Tim P. Kelly , Xiaotian Dai , Shuai Zhao , Richard Hawkins

This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document presents example safety argument templates covering: the…

Software Engineering · Computer Science 2021-03-12 Robin Bloomfield , Gareth Fletcher , Heidy Khlaaf , Luke Hinde , Philippa Ryan

The development of self-adaptive software requires the engineering of an adaptation engine that controls the underlying adaptable software by feedback loops. The engine often describes the adaptation by runtime models representing the…

Software Engineering · Computer Science 2018-05-22 Thomas Vogel , Holger Giese

Mission critical software is often required to comply with multiple regulations, standards or policies. Recent paradigms, such as cloud computing, also require software to operate in heterogeneous, highly distributed, and changing…

Software Engineering · Computer Science 2016-11-18 Jesús García-Galán , Liliana Pasquale , George Grispos , Bashar Nuseibeh

Modern systems are designed to operate in increasingly variable and uncertain environments. Not only are these environments complex, in the sense that they contain a tremendous number of variables, but they also change over time. Systems…

Software Engineering · Computer Science 2022-10-04 Simon Diemert , Jens H. Weber

Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only parameters but also the software architecture. However, monitoring…

Software Engineering · Computer Science 2018-05-23 Thomas Vogel , Stefan Neumann , Stephan Hildebrandt , Holger Giese , Basil Becker

Self-adaptive systems manage themselves to deal with uncertainties that can only be resolved during operation. A common approach to realize self-adaptation is by adding a feedback loop to the system that monitors the system and adapts it to…

Software Engineering · Computer Science 2021-12-14 Danny Weyns , Usman Iftikhar