Advertisement

TAPPS - Trusted Apps for Open Cyber-Physical Systems

  • Christian PrehoferEmail author
  • George Kornaros
  • Michele Paolino
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 570)

Abstract

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.

References

  1. 1.
    GlobalPlatform. TEE system architecture v1.0 (2011). www.globalplatform.org
  2. 2.
    Gorla, A., Tavecchia, I., Gross, F., Zeller, A.: Checking app behavior against app descriptions. In: ICSE 2014: Proceedings of the 36th International Conference on Software Engineering (2014)Google Scholar
  3. 3.
    Paolino, M.: ARM Trustzone and KVM coexistence with RTOS for automotive, June 2015. http://events.linuxfoundation.org/sites/events/files/slides/als15_paolino.pdf
  4. 4.
    Kornaros, G., Christoforakis, I., Tomoutzoglou, O., Bakoyiannis, D., Vazakopoulou, K., Grammatikakis, M., Papagrigoriou, A.: Hardware support for cost-effective system-level protection in multi-core SoCs. In: Euromicro Conference on Digital System Design (DSD), August 2015, to appearGoogle Scholar
  5. 5.
    Prehofer, C.: From the internet of things to trusted apps for things. In: Green Computing and Communications (GreenCom), 2013 IEEE and Internet of Things (iThings/CPSCom), IEEE International Conference on and IEEE Cyber, Physical and Social Computing, pp. 2037–2042, August 2013Google Scholar
  6. 6.
    Tsiakis, T.: The role of information security and cryptography in digital democracy: (human) rights and freedom. In: Digital Democracy and the Impact of Technology on Governance and Politics: New Globalized Practices, p. 160 (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Christian Prehofer
    • 1
    Email author
  • George Kornaros
    • 2
  • Michele Paolino
    • 3
  1. 1.fortiss, An-Institut Technische Universität MünchenMunichGermany
  2. 2.Informatics Engineering DepartmentTEI CreteHeraklionGreece
  3. 3.Virtual Open Systems SASGrenobleFrance

Personalised recommendations