30 citations · 88 across the 9 of their papers we have counts for
9 papers
Soft Gripping: Specifying for Trustworthiness
Dhaminda B. Abeywickrama, Nguyen Hao Le, Greg Chance +9
Soft robotics is an emerging technology in which engineers create flexible devices for use in a variety of applications. In order to advance the wide adoption of soft robots, ensur…
Assessing Trustworthiness of Autonomous Systems
Gregory Chance, Dhaminda B. Abeywickrama, Beckett LeClair +2
As Autonomous Systems (AS) become more ubiquitous in society, more responsible for our safety and our interaction with them more frequent, it is essential that they are trustworthy…
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Dhaminda B. Abeywickrama, James Wilson, Suet Lee +7
The behaviours of a swarm are not explicitly engineered. Instead, they are an emergent consequence of the interactions of individual agents with each other and their environment. T…
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3
Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…
On Specifying for Trustworthiness
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance +12
As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first ne…
Safety Validation of Autonomous Vehicles using Assertion Checking
Christopher Harper, Greg Chance, Abanoub Ghobrial +3
Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks…
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
Greg Chance, Abanoub Ghobrial, Kevin McAreavey +3
Game engines are increasingly used as simulation platforms by the autonomous vehicle (AV) community to develop vehicle control systems and test environments. A key requirement for…
CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
Carsten Maple, Peter Davies, Kerstin Eder +3
Existing approaches to cyber security and regulation in the automotive sector cannot achieve the quality of outcome necessary to ensure the safe mass deployment of advanced vehicle…
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification
Greg Chance, Abanoub Ghobrial, Severin Lemaignan +2
Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficient…