3 papers
cs.SE2023
SimSched: A tool for Simulating Autosar Implementaion in Simulink
Jian Chen, Manar H. Alalfi, Thomas R. Dean +1
AUTOSAR (AUTomotive Open System ARchitecture) is an open industry standard for the automotive sector. It defines the three-layered automotive software architecture. One of these la…
cs.SE2023
Timed Model-Based Mutation Operators for Simulink Models
Jian Chen, Manar H. Alalfi, Thomas R. Dean
Model-based mutation analysis is a recent research area, and real-time system testing can benefit from using model mutants. Model-based mutation testing (MBMT) is a particular bran…
cs.CR2014
USBcat - Towards an Intrusion Surveillance Toolset
Chris Chapman, Scott Knight, Tom Dean
This paper identifies an intrusion surveillance framework which provides an analyst with the ability to investigate and monitor cyber-attacks in a covert manner. Where cyber-attack…