Trustworthy and High Assurance Cyber-Physical Systems - A Research A genda

In the frame of the European ARTEMIS (Advanced Research and Technology for Embedded Intelligence and System) Inno-vation Pilot Project "Arrowhead" we address safety and security analysis methods as a part of 'safety and security co-engineering'. This is being combined with other research activities in e.g. the FP7 Project SECCRIT (Secure Cloud Computing for Critical Infrastructure IT) in which we investigate how to assure security proper ties in complex (cloud based) systems which are derived from safety and security analysis results. The goal is to create a uniform point of view for Sys-tems-of-Systems high-level security proper ties and assurance.