47 citations · 155 across the 18 of their papers we have counts for
6 papers · 1 filter
I'm Sorry Driver, I'm Afraid I Can't Do That: Appraising the Safety of LLMs within Automotive Contexts
Shaun Feakins, Ibrahim Habli, Kim Littler +1
This paper appraises recent frameworks within AI development to integrate LLMs into control tasks in automotive contexts from the perspective of safety assurance. This work has bui…
Formal Evidence Generation for Assurance Cases for Robotic Software Models
Fang Yan, Simon Foster, Ana Cavalcanti +2
Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured argu…
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Ran Wei, Simon Foster, Haitao Mei +7
Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created do…
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)
Richard Hawkins, Rob Alexander, Matt Osborne +4
Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications wh…
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…
Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?
Ibrahim Habli, Andrew Rae
Safety and assurance standards often rely on the principle that requirements errors can be minimised by expressing the requirements more formally. Although numerous case studies ha…