6 citations · 9 across the 4 of their papers we have counts for
6 papers
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…