Information Flow Analysis of Combined Simulink/Stateflow Models
Information Technology and Control, pp. 223-228, 2018.
Simulink and Stateflow are widely-used industrial tools for the development of embedded systems, e.g. in the automotive domain. In modern automotive control systems, multiple components are typically interconnected, and, nowadays, also have a connection to the internet. This poses severe threats, as safety-critical components may be subje...More
Full Text (Upload PDF)
PPT (Upload PPT)