Skip to main content

TAPPS - Trusted Apps for Open Cyber-Physical Systems

  • Conference paper
  • First Online:

Part of the book series: Communications in Computer and Information Science ((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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. GlobalPlatform. TEE system architecture v1.0 (2011). www.globalplatform.org

  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. 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. 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 appear

    Google Scholar 

  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 2013

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Christian Prehofer .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Prehofer, C., Kornaros, G., Paolino, M. (2015). TAPPS - Trusted Apps for Open Cyber-Physical Systems. In: Katsikas, S., Sideridis, A. (eds) E-Democracy – Citizen Rights in the World of the New Computing Paradigms. e-Democracy 2015. Communications in Computer and Information Science, vol 570. Springer, Cham. https://doi.org/10.1007/978-3-319-27164-4_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27164-4_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27163-7

  • Online ISBN: 978-3-319-27164-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics