87 citations · 294 across the 41 of their papers we have counts for
17 papers · 1 filter
Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs
Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu
Normative requirements specify social, legal, ethical, empathetic, and cultural (SLEEC) norms that must be observed by a system. To support the identification of SLEEC requirements…
Normative Requirements Operationalization with Large Language Models
Nick Feng, Lina Marsso, S. Getir Yaman +9
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As thes…
Formal Synthesis of Uncertainty Reduction Controllers
Marc Carwehl, Calum Imrie, Thomas Vogel +3
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behavio…
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, Sinem Getir Yaman +11
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empat…
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu +3
Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compli…
Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
Danny Weyns, Paris Avegriou, Radu Calinescu +3
Over the past two decades, researchers and engineers have extensively studied the problem of how to enable a software system to deal with uncertain operating conditions. One promin…
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Xinwei Fang, Radu Calinescu, Colin Paterson +1
Self-adaptive systems are expected to mitigate disruptions by continually adjusting their configuration and behaviour. This mitigation is often reactive. Typically, environmental o…
Quantitative Verification with Adaptive Uncertainty Reduction
Naif Alasmari, Radu Calinescu, Colin Paterson +1
Stochastic models are widely used to verify whether systems satisfy their reliability, performance and other nonfunctional requirements. However, the validity of the verification d…
Uncertainty in Self-Adaptive Systems: A Research Community Perspective
Sara M. Hezavehi, Danny Weyns, Paris Avgeriou +3
One of the primary drivers for self-adaptation is ensuring that systems achieve their goals regardless of the uncertainties they face during operation. Nevertheless, the concept of…
Fast Parametric Model Checking through Model Fragmentation
Xinwei Fang, Radu Calinescu, Simos Gerasimou +1
Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the sys…
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
Simon Foster, Mario Gleirscher, Radu Calinescu
The use of autonomous vehicles in real-world applications is often precluded by the difficulty of providing safety guarantees for their complex controllers. The simulation-based te…
Risk Structures: Towards Engineering Risk-aware Autonomous Systems
Mario Gleirscher
Inspired by widely-used techniques of causal modelling in risk, failure, and accident analysis, this work discusses a compositional framework for risk modelling. Risk models captur…
Perpetual Assurances for Self-Adaptive Systems
Danny Weyns, Nelly Bencomo, Radu Calinescu +10
Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplet…
Efficient Parametric Model Checking Using Domain Knowledge
Radu Calinescu, Colin Paterson, Kenneth Johnson
We introduce an efficient parametric model checking (ePMC) method for the analysis of reliability, performance and other quality-of-service (QoS) properties of software systems. eP…
Observation-Enhanced QoS Analysis of Component-Based Systems
Colin Paterson, Radu Calinescu
We present a new method for the accurate analysis of the quality-of-service (QoS) properties of component-based systems. Our method takes as input a QoS property of interest and a…
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
Radu Calinescu, Danny Weyns, Simos Gerasimou +3
Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in…
Large-scale Complex IT Systems
Ian Sommerville, Dave Cliff, Radu Calinescu +5
This paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, deriv…