Simulation of a Railway Control System: Dynamic Analysis of Scoped Memory Consumption.

Hamza Hamza Steve Counsell

Published in: UKSim (2011)

Keyphrases

dynamic analysis
control system
static analysis
reverse engineering
matlab simulink
matlab simulation
databases
model checking
times faster
closed loop
simulation model
control algorithm
real time
real environment
malicious behavior