RiskStructures: a design algebra for risk-aware machines
From MaRDI portal
Publication:1982648
DOI10.1007/s00165-021-00545-4OpenAlexW2941146594MaRDI QIDQ1982648
Mario Gleirscher, R. C. Calinescu, J. C. P. Woodcock
Publication date: 14 September 2021
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.10386
formal developmentsafety controllerscorrect constructionrisk awarenessrobots and autonomous systemsrun-time mitigation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A UTP semantics for \textsf{Circus}
- Understanding concurrent systems
- A brief account of runtime verification
- Multiobjective programming in optimization of the interval objective function
- Satisfying safety goals by probabilistic risk assessment.
- Specification and Development of Interactive Systems
- Reliability Engineering
- Risk Analysis of Changing and Evolving Systems Using CORAS
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
- Risk-Aware Control
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
This page was built for publication: RiskStructures: a design algebra for risk-aware machines