6 citations · 15 across the 10 of their papers we have counts for
10 papers
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles
Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan +6
The challenges in implementing SAE Level 4/5 autonomous vehicles are manifold, with intersection navigation being a pervasive one. We analyze a novel road topology invented by a co…
Separating Technological and Clinical Safety Assurance for Medical Devices
Spencer Deevy, Tiago de Moraes Machado, Amen Modhafar +3
The safety and clinical effectiveness of medical devices are closely associated with their specific use in clinical treatments. Assuring safety and the desired clinical effectivene…
Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity
Sajid Rahim, Kourosh Sabri, Anna Ells +4
Retinopathy of Prematurity (ROP) is a potentially blinding eye disorder because of damage to the eye's retina which can affect babies born prematurely. Screening of ROP is essentia…
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford +2
Machine learning (ML) is finding its way into safety-critical systems (SCS). Current safety standards and practice were not designed to cope with ML techniques, and it is difficult…
Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines
Guy Meyer, Alan Wassyng, Mark Lawford +2
A sudden reliance on the internet has resulted in the global standardization of specific software and interfaces tailored for the average user. Whether it be web apps or dedicated…
Supporting Modularity in Simulink Models
Monika Jaskolka, Vera Pantelic, Alan Wassyng +1
Model-Based Development (MBD) is widely used for embedded controls development, with Matlab Simulink being one of the most used modelling environments in industry. As with all soft…
Building Confidence in Scientific Computing Software Via Assurance Cases
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng
Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases…
Assurance via workflow+ modelling and conformance
Zinovy Diskin, Nicholas Annable, Alan Wassyng +1
We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process i…
Secure and trusted white-box verification
Yixian Cai, George Karakostas, Alan Wassyng
Verification is the process of checking whether a product has been implemented according to its prescribed specifications. We study the case of a designer (the developer) that need…
Formal Verification of Real-Time Function Blocks Using PVS
Linna Pang, Chen-Wei Wang, Mark Lawford +4
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems…