Cyber-physical systems (CPS) are devices with sensors and actuators which link the physical with the virtual world. For CPS there is a strong trend towards open systems, which can be extended during operation by instantly adding functionalities on demand. The main goal of the TAPPS (Trusted Apps for open CPS) project is the development of a platform for CPS apps which can also access and modify safety critical device internals. As current, rich execution platforms for apps are limited in security, TAPPS will provide and validate an end-to-end solution for development and deployment of trusted apps. The project will develop a dedicated, real-time Trusted Execution Environment (TEE) for highly-trusted CPS apps. Additionally, TAPPS also includes an App Store and a model-based tool chain for trusted application development including verification tools. The multi-level trusted apps platform and tool chain are matured and validated in health and automotive application domains using industrial, realistic use cases paving the way for future exploitation in further demanding application domains.
[1]
Alessandra Gorla,et al.
Checking app behavior against app descriptions
,
2014,
ICSE.
[2]
Miltos D. Grammatikakis,et al.
Hardware Support for Cost-Effective System-Level Protection in Multi-core SoCs
,
2015,
2015 Euromicro Conference on Digital System Design.
[3]
Theodosios Tsiakis,et al.
The Role of Information Security and Cryptography in Digital Democracy: (Human) Rights and Freedom
,
2015
.
[4]
Christian Prehofer.
From the Internet of Things to Trusted Apps for Things
,
2013,
2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.