Verlaesslichkeit im Internet der Dinge

Projekt: Forschungsprojekt

Projektdetails

Beschreibung

2020 sollen im Internet der Dinge über 50 Milliarden intelligente Dinge smart things miteinander kommunizieren und so zahlreiche Alltagsanwendungen erst möglich machen. Wie etwa Autos, die miteinander auf der Straße kommunizieren und so Unfälle verhindern, oder maßgeschneiderte Möbel, die den Produktionsmaschinen in der industriellen Fertigung genau sagen, was an ihnen noch gemacht werden muss. Das Internet der Dinge in seiner Gesamtheit wird einmal so wichtig sein wie das Stromnetz heute. Die derzeitigen Forschungsansätze sind noch unzureichend, vor allem in Bezug auf die Verlässlichkeit des Internets der Dinge. Besonders kritische Anwendungen aus den Bereichen Gesundheit, Verkehr oder Produktion müssen zu jeder Zeit einwandfrei funktionstüchtig sein. Die Forschenden des Leadprojektes im Field of Expertise Information, Communication & Computing der TU Graz erarbeiten die Grundlagen, die Kleinstcomputer in Alltagsgegenständen selbst unter schwierigsten Bedingungen verlässlich arbeiten lässt.
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende1/01/1631/03/22

Fingerprint

Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen 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. (Hrsg.). Cham: Springer, S. 26-46 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13991 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    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 Mai 2023, Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 - Workshops. Association of Computing Machinery, S. 78-83 6 S. (ACM International Conference Proceeding Series).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

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

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

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Datei