Dependable Internet of Things

Project: Research project

Project Details

Description

It is predicted that over 50 billion intelligent objects - smart things - will communicate with each other in the Internet of Things by 2020, allowing for numerous everyday applications. For example, cars will be able to communicate with each other on the streets to prevent accidents, and tailor-made furniture will be able to tell industrial production machines what exactly needs to be done to them. One day, the Internet of Things will be as important as the power grid is today. There is, however, still much research to be done, especially regarding the reliability of the Internet of Things. In particular, critical applications in health, traffic and production need to function perfectly at all times. Lead project researchers in the Field of Expertise Information, Communication & Computing at TU Graz are working on fundamental aspects that will enable computers embedded into everyday objects to function reliably, even under the most difficult conditions.
StatusFinished
Effective start/end date1/01/1631/03/22

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • A Modeling Concept for Formal Verification of OS-Based Compositional Software

    Batista Ribeiro, L., Lorber, F., Nyman, U., Guldstrand Larsen, K. & Baunach, M. C., Apr 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings: International Conference on Fundamental Approaches to Software Engineering. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Cham: Springer, p. 26-46 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
  • Applying NLOS Classification and Error Correction Techniques to UWB Systems: Lessons Learned and Recommendations

    Stocker, M., Gallacher, M., Boano, C. A. & Röemer, K., 9 May 2023, Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 - Workshops. Association of Computing Machinery, p. 78-83 6 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access
  • Formal Verification of Arithmetic Masking in Hardware and Software

    Gigerl, B., Primas, R. & Mangard, S., 29 May 2023, Applied Cryptography and Network Security : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I. Tibouchi, M. & Wang, X. (eds.). Cham: Springer, p. 3-32 30 p. (Lecture Notes in Computer Science; vol. 13905).

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    File