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