Invasives Laufzeitunterstützungssystem (iRTSS) (C01)

Invasives Laufzeitunterstützungssystem (iRTSS) (C01)

(Drittmittelfinanzierte Gruppenförderung – Teilprojekt)

Titel des Gesamtprojektes: TRR 89: Invasives Rechnen
Projektleitung: Wolfgang Schröder-Preikschat, Daniel Lohmann, Timo Hönig
Projektbeteiligte: Jens Schedel, Christoph Erhardt, Jürgen Kleinöder, Sebastian Maier, Florian Schmaus, Gabor Drescher
Projektstart: 1. Juli 2010
Projektende: 30. Juni 2022
Akronym: SFB/TRR 89 InvasIC (C01)
Mittelgeber: DFG / Sonderforschungsbereich / Transregio (SFB / TRR)
URL:

Abstract

Teilprojekt C1 erforscht Systemsoftware für invasiv-parallele Anwendungen. Bereitgestellt werden Methoden, Prinzipien und Abstraktionen zur anwendungsgewahren Erweiterung, Konfigurierung und Anpassung invasiver Rechensysteme durch eine neuartige, hochgradig flexible Betriebssystem-Infrastruktur. Diese wird zur praktischen Anwendung in ein Unix-Wirtssystem integriert. Untersucht werden (1) neue Entwurfs- und Implementierungsansätze nebenläufigkeitsgewahrer Betriebssysteme, (2) neuartige AOP-ähnliche Methoden für die statische und dynamische (Re-)konfigurierung von Betriebssystemen sowie (3) agentenbasierte Ansätze für die skalierbare und flexible Verwaltung von Ressourcen.

Publikationen

• Wägemann P., Distler T., Janker H., Raffeck P., Sieh V., Schröder-Preikschat W.:
  Operating Energy-Neutral Real-Time Systems
  In: ACM Transactions on Embedded Computing Systems 17 (2017), S. 11:1-11:25
  ISSN: 1539-9087
  DOI: 10.1145/3078631
  URL: https://www4.cs.fau.de/Publications/2017/waegemann_17_tecs.pdf
• Schuster S., Ulbrich P., Stilkerich I., Dietrich C., Schröder-Preikschat W.:
  Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness
  In: ACM Transactions on Embedded Computing Systems 16 (2017), S. 180:1-180:19
  ISSN: 1539-9087
  DOI: 10.1145/3126503
  URL: http://doi.acm.org/10.1145/3126503
• Sieh V., Burlacu R., Hönig T., Janker H., Raffeck P., Wägemann P., Schröder-Preikschat W.:
  An End-To-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis
  20th International Symposium on Real-Time Distributed Computing (ISORC 2017) (Toronto, Canada, 16. Mai 2017 - 18. Mai 2017)
  In: Proceedings of the 20th International Symposium on Real-Time Distributed Computing (ISORC 2017) 2017
  DOI: 10.1109/ISORC.2017.10
  URL: https://www4.cs.fau.de/Publications/2017/sieh_17_isorc.pdf
• Wägemann P., Distler T., Eichler C., Schröder-Preikschat W.:
  Benchmark Generation for Timing Analysis
  23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17) (Pittsburgh, USA, 18. April 2017 - 20. April 2017)
  In: Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17) 2017
  DOI: 10.1109/RTAS.2017.6
  URL: https://www4.cs.fau.de/Publications/2017/waegemann_17_rtas.pdf
• Dietrich C., Rothberg V., Füracker L., Ziegler A., Lohmann D.:
  cHash: Detection of Redundant Compilations via AST Hashing
  2017 USENIX Annual Technical Conference (ATC '17) (Santa Clara, CA, 12. Juli 2017 - 14. Juli 2017)
  In: USENIX Association (Hrsg.): Proceedings of the 2017 USENIX Annual Technical Conference (ATC '17) 2017
  URL: https://www4.cs.fau.de/Publications/2017/dietrich_17_atc.pdf