Security-aware functional modeling of Cyber-Physical Systems

Security is one of the major challenges for Cyber-Physical Systems (CPS) design. Identifying flaws as early as possible in the CPS design saves time and money [6]; between 5× to 10× less expensive [7] than finding them during the detailed design stages. This paper makes a case for finding cybersecurity flaws as early as possible. Not only for the temporal and cost benefits, but more importantly, for the integrity of the system once in operation. We introduce a security-aware functional modeling methodology, supported by simulation to validate the robustness of the system in the presence of attacks and countermeasures. Our ideas are implemented in a design automation tool in Amesim and Matlab/Simulink. We use an automotive use-case as an example to validate the methodology and the tool.