A framework repairs CPS requirements in Simulink by leveraging system execution data and is evaluated as effective on six real-world case studies covering 12 requirements.
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
7 Pith papers cite this work, alongside 4 external citations. Polarity classification is still indexing.
7
Pith papers citing it
4
external citations · external index
citation-role summary
background 2
citation-polarity summary
years
2026 7roles
background 2polarities
background 2representative citing papers
Presents a method to dynamically adapt probabilistic models for autonomous systems outside their ODD with formal verification and guarantees on improved reliability.
A combined SHARD and STPA hazard analysis of a mammography support robot reveals interaction-based risks and translates them into safety constraints that reduce dependence on perfect human timing.
SAFT-GT is a new toolchain that bridges safety and security analysis for self-adaptive systems using Attack-Fault Tree generation and model combination, validated by a domain-expert user study.
xDECAF is an extensible, open-source framework for architecture-based data flow analysis with a constraint DSL, web editor, and a catalog of 26 example models for information security.
FormIDEAble models human-agent cooperation as a Priced Timed Markov Decision Process and solves cost-bounded reachability to produce socially-aware strategies with safety guarantees, shown in an evacuation example.
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.
citing papers explorer
-
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
A framework repairs CPS requirements in Simulink by leveraging system execution data and is evaluated as effective on six real-world case studies covering 12 requirements.
-
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
Presents a method to dynamically adapt probabilistic models for autonomous systems outside their ODD with formal verification and guarantees on improved reliability.
-
Hazard Management in Robot-Assisted Mammography Support
A combined SHARD and STPA hazard analysis of a mammography support robot reveals interaction-based risks and translates them into safety constraints that reduce dependence on perfect human timing.
-
Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
SAFT-GT is a new toolchain that bridges safety and security analysis for self-adaptive systems using Attack-Fault Tree generation and model combination, validated by a domain-expert user study.
-
xDECAF: An Extensible Data Flow Diagram Analysis Framework for Information Security
xDECAF is an extensible, open-source framework for architecture-based data flow analysis with a constraint DSL, web editor, and a catalog of 26 example models for information security.
-
FormIDEAble: Safe and Socially-aware Autonomous Systems
FormIDEAble models human-agent cooperation as a Priced Timed Markov Decision Process and solves cost-bounded reachability to produce socially-aware strategies with safety guarantees, shown in an evacuation example.
-
Engineering Reliable Autonomous Systems: Challenges and Solutions
A workshop report catalogues challenges and solution pathways for verification, engineering, and architecting reliable autonomous systems.