Skip to main navigation Skip to search Skip to main content

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.
  • An Adaptive, Provable Correct Simplex Architecture

    Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., 4 Feb 2025, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. 19 p., 2589.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Understanding Concurrent Transmissions over Ultra-Wideband Complex Channels

    Schuh, M., Baddeley, M., Römer, K. U. & Boano, C. A., 4 Nov 2024, SenSys '24: Proceedings of the 22nd ACM Conference on Embedded Networked Sensor Systems. Association for Computing Machinery (ACM), p. 757 - 770 14 p.

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

    Open Access
    File
  • 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