3 citations · 6 across the 4 of their papers we have counts for
6 papers
Towards Continuous Assurance with Formal Verification and Assurance Cases
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler +1
Autonomous systems must sustain justified confidence in their correctness and safety across their operational lifecycle-from design and deployment through post-deployment evolution…
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler +1
This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic…
Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation
Dhaminda B. Abeywickrama, Suet Lee, Chris Bennett +5
The emergent behaviour of autonomous robotic swarms poses a significant challenge to their safety assurance. Assurance tasks encompass adherence to standards, certification process…
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…