Technische Universität Braunschweig
  • Studium & Lehre
    • Vor dem Studium
      • Informationen für Studieninteressierte
      • Studiengänge von A-Z
      • Bewerbung
      • Fit4TU - Self-Assessment
      • Beratungsangebote für Studieninteressierte
      • Warum Braunschweig?
    • Im Studium
      • Erstsemester-Hub
      • Semestertermine
      • Lehrveranstaltungen
      • Studien-ABC
      • Studienorganisation
      • Beratungsnavi
      • Zusatzqualifikationen
      • Finanzierung und Kosten
      • Besondere Studienbedingungen
      • Gesundheit & Wohlbefinden
      • Campusleben
    • Nach dem Studium
      • Exmatrikulation und Vorlegalisation
      • Nach dem Abschluss
      • Alumni*ae
    • Strategien und Qualitätsmanagement
      • Qualitätsmanagement
      • Systemakkreditierung
      • Studienqualitätsmittel
      • TU Lehrpreis
    • Für Lehrende
      • Informationen für Lehrende
      • Konzepte
      • Lernmanagementsystem Stud.IP
    • Kontakt
      • Studienservice-Center
      • Sag's uns - in Studium und Lehre
      • Zentrale Studienberatung
      • Immatrikulationsamt
      • Abteilung 16 - Studium und Lehre
      • Career Service
      • Projekthaus
  • Forschung
    • Forschungsprofil
      • Forschungsschwerpunkte
      • Exzellenzcluster der TU Braunschweig
      • Forschungsprojekte
      • Forschungszentren
      • Forschungsprofile der Professuren
    • Frühe Karrierephase
      • Förderung in den frühen Phasen der wissenschaftlichen Karriere
      • Promotion
      • Postdocs
      • Nachwuchsgruppenleitung
      • Junior Professur und Tenure-Track
      • Habilitation
      • Service-Angebote für Wissenschaftler*innen
    • Forschungsdaten & Transparenz
      • Transparenz in der Forschung
      • Forschungsdaten
      • Open Access Strategie
      • Digitale Forschungsanzeige
    • Forschungsförderung
      • Netzwerk Forschungsförderung
      • Datenbanken und Stiftungen
    • Kontakt
      • Forschungsservice
      • Graduiertenakademie
  • International
    • Internationale Studierende
      • Warum Braunschweig?
      • Studium mit Abschluss
      • Austauschstudium
      • TU Braunschweig Summer School
      • Geflüchtete
      • International Student Support
      • International Career Service
    • Wege ins Ausland
      • Studium im Ausland
      • Praktikum im Ausland
      • Lehren und Forschen im Ausland
      • Arbeiten im Ausland
    • Internationale Forschende
      • Welcome Support for International Researchers
      • Service für gastgebende Einrichtungen
    • Sprachen und interkulturelle Kompetenzvermittlung
      • Deutsch lernen
      • Fremdsprachen lernen
      • Interkulturelle Kompetenzvermittlung
    • Internationales Profil
      • Internationalisierung
      • Internationale Kooperationen
      • Strategische Partnerschaften
      • Internationale Netzwerke
    • International House
      • Wir über uns
      • Kontakt & Sprechstunden
      • Aktuelles und Termine
      • International Days
      • 5. Studentische Konferenz: Internationalisierung der Hochschulen
      • Newsletter, Podcast & Videos
      • Stellenausschreibungen
  • Die TU Braunschweig
    • Unser Profil
      • Ziele & Werte
      • Ordnungen und Leitlinien
      • Allianzen & Partner
      • Hochschulentwicklung 2030
      • Internationale Strategie
      • Fakten & Zahlen
      • Unsere Geschichte
    • Karriere
      • Arbeiten an der TU
      • Stellenmarkt
      • Berufsausbildung an der TU
    • Wirtschaft & Unternehmen
      • Unternehmensgründung
      • Freunde & Förderer
    • Öffentlichkeit
      • Veranstaltungskalender
      • Check-in für Schüler*innen
      • Hochschulinformationstag (HIT)
      • CampusXperience
      • Kinder-Uni
      • Das Studierendenhaus
      • Gasthörer*innen & Senior*innenstudium
      • Nutzung der Universitätsbibliothek
    • Presse & Kommunikation
      • Stabsstelle Presse und Kommunikation
      • Medienservice
      • Ansprechpartner*innen
      • Tipps für Wissenschaftler*innen
      • Themen und Stories
    • Kontakt
      • Allgemeiner Kontakt
      • Anreise
      • Für Hinweisgeber
  • Struktur
    • Leitung & Verwaltung
      • Das Präsidium
      • Stabsstellen
      • Verwaltung
      • Organe, Statusgruppen und Kommissionen
    • Fakultäten
      • Carl-Friedrich-Gauß-Fakultät
      • Fakultät für Lebenswissenschaften
      • Fakultät Architektur, Bauingenieurwesen und Umweltwissenschaften
      • Fakultät für Maschinenbau
      • Fakultät für Elektrotechnik, Informationstechnik, Physik
      • Fakultät für Geistes- und Erziehungswissenschaften
    • Institute
      • Institute von A-Z
    • Einrichtungen
      • Universitätsbibliothek
      • Gauß-IT-Zentrum
      • Zentrale Personalentwicklung
      • International House
      • Projekthaus
      • Transferservice
      • Hochschulsportzentrum
      • Einrichtungen von A-Z
    • Studierendenschaft
      • Studierendenparlament
      • Fachschaften
      • Studentische Wahlen
    • Lehrer*innenbildung
      • Lehrer*innenfortbildung
      • Forschung
    • Chancengleichheit
      • Gleichstellung
      • Familie
      • Diversität
    • Kontakt
      • Personensuche
  • Suche
  • Schnellzugriff
    • Personensuche
    • Webmail
    • cloud.TU Braunschweig
    • Messenger
    • Mensa
    • TUconnect (Studierendenportal)
    • Lehrveranstaltungen
    • Im Notfall
    • Stud.IP
    • UB Katalog
    • Status GITZ-Dienste
    • Störungsmeldung GB3
    • IT Dienste
    • Informationsportal (Beschäftigte)
    • Beratungsnavi
    • Linksammlung
    • DE
    • Instagram
    • YouTube
    • LinkedIn
    • Mastodon
    • Bluesky
Menü
  • Struktur
  • Fakultäten
  • Fakultät für Elektrotechnik, Informationstechnik, Physik
  • Institute
  • Institut für Datentechnik und Kommunikationsnetze
  • Forschungsgruppe Controlling Concurrent Change (CCC)
Logo Forschungsgruppe Controlling Concurrent Change (CCC) der TU Braunschweig
Ergebnisse
  • Forschungsgruppe Controlling Concurrent Change (CCC)
    • Motivation
    • Forschungsprogramm
    • Beteiligte
    • Ergebnisse

Ergebnisse

Demonstratoren

Autonomous Space Robot Demonstrator (D1)

Zwei Roboter, ausgestattet mit Kameras und Greifern, kooperieren bei der Kartierung unbekannten Terrains sowie bei der Suche nach und der Manipulation von Objekten. Das verwendete eingebettete System setzt sich aus ARM-Prozessoren, einem rekonfigurierbaren IC (FPGA) und Speichern zusammen. Dies ist ein typischer Aufbau für neuere Raumfahrtmissionen. Die Besonderheit besteht in der automatischen Integration von Hardwarefunktionen in das rekonfigurierbare IC. Die Hardwarefunktionen umfassen einen schnellen Algorithmus zur Bildanalyse, eine redundante Architektur, die auch noch zuverlässige Operationen unter höherer Strahlenbelastung zulässt, sowie eine kooperative Funktion, die den Ausfall der Kamera eines der Roboter kompensiert. Beide Störungen werden im Demonstrator simuliert. Die begrenzten Ressourcen des FPGA können zeitgleich nur einen Teil der Funktionen ausführen. Die Integration erfordert dabei ein Layout der zugewiesenen Funktionen, das im zentralen Softwaremodul des CCC-Projekts, dem MCC, durchgeführt wird. Die zugehörige Laufzeitumgebung wird automatisch konfiguriert. 

Autonomous Space Demonstrator (D1)

Bitte beachten Sie: Sobald Sie sich das Video ansehen, werden Informationen darüber an YouTube/Google übermittelt. Weitere Informationen dazu finden Sie unter Google Privacy

Video aktivieren | Hinweis ausblenden

Automated Vehicle Demonstrator (D2)

Dieser Demonstrator nutzt das in parallelen Arbeiten entstandene Experimentalfahrzeug MOBILE als Versuchsträger. Als Anwendungsfall wurde ein automatisiertes Ausweichmanöver ausgestaltet, für das MOBILE mit Sensorik zur Umfelderfassung ausgestattet wurde. Zudem wurden eine fehlertolerante modellprädiktive Trajektorienplanung und -regelung als notwendige Bestandteile der Fahrzeugautomatisierung implementiert. Für die Demonstration funktionaler Updates innerhalb eines bestehenden Systems wurde das Teilsystem zur gitterbasierten Umfeldwahrnehmung aus dem „Stadtpilot“-Projekt in das CCC-Framework portiert. Dies ermöglichte Applikations-Updates über den entwickelten MCC. Die Updatefähigkeit des Systems wurde anhand einer Umfeldwahrnehmung demonstriert, indem der Demonstrator mit einer Basisversion zur Wahrnehmung statischer Objekte ausgestattet wurde. Unter Nutzung der CCC-Updatemechanismen wurde ein funktionales Systemupdate durchgeführt, so dass das System anschließend zusätzlich in der Lage war, Fahrbahnmarkierungen wahrzunehmen.

Automated Vehicle Demonstrator (D2)

Bitte beachten Sie: Sobald Sie sich das Video ansehen, werden Informationen darüber an YouTube/Google übermittelt. Weitere Informationen dazu finden Sie unter Google Privacy

Video aktivieren | Hinweis ausblenden

Cooperative Maneuver Demonstrator (D3)

Dieser Demonstrator hatte insbesondere das Ziel zu zeigen, wie in CCC entwickelte und untersuchte Mechanismen zur Fahrzeug-Fahrzeug-Kommunikation (V2V) genutzt werden können und wie dabei ein eigens entworfenes Vereinbarungsprotokoll angewendet werden kann, um koordinierte Manöverwechsel zu ermöglichen. Dabei wird das jeweilige Verhalten beobachtet und es wird eine Absicherung bzgl. Änderungen bei einzelnen Partnern erzielt. Zudem sollten die sich dabei ergebenden Systemeigenschaften gezeigt werden. Wenn autonome Fahrzeuge per V2V verschiedene Informationen untereinander austauschen, dann können sie hiermit Fahrsicherheit und Effizienz verbessern. So können geplante Manöver anderen Fahrzeugen mitgeteilt werden, bspw. das Einfädeln an der Auffahrt einer Autobahn. Andere Fahrzeuge können darauf reagieren und ggf. den Verkehrsfluss optimieren sowie das Unfallrisiko verringern. Solche Szenarien wurden in CCC diskutiert und erarbeitet. Der D3-Demonstrator zeigt mittels eines simulativen Ansatzes, wie solch eine Manöverkoordination erfolgt und visualisiert das Fahrverhalten jedes einzelnen Fahrzeugs. Es wird ebenso verdeutlicht, dass durch eine V2V-basierte Manöverkoordination die Verkehrseffizienz verbessert werden kann. Das Kommunikationsprotokoll ist dabei so gestaltet, dass widersprüchliche Entscheidungen von Fahrzeugen verhindert werden.

Cooperative Maneuver Demonstrator (D3)

Bitte beachten Sie: Sobald Sie sich das Video ansehen, werden Informationen darüber an YouTube/Google übermittelt. Weitere Informationen dazu finden Sie unter Google Privacy

Video aktivieren | Hinweis ausblenden

Publikationen

2019
  • A. Dörflinger, M. Albers, B. Fiethe, H. Michalik, M. Möstl, J. Schlatow, and R. Ernst: Demonstrating Controlled Change for Autonomous Space Vehicles. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Colchester, UK, July 2019.S.P. Fekete, J. Grosse-Holz, P. Keldenich, A. Schmidt: Parallel Online Algorithms for the Bin Packing Problem. Proc. 17th Workshop on Approximation and Online Algorithms (WAOA 2019).
  • S.P. Fekete, P. Keldenich, C. Scheffer: Packing Disks into Disks with Optimal Worst-Case Density: Proc. 35th Int. Symp. Computational Geometry (SoCG 2019), pp. 35:1-35:19.M. Hamad, M. Tsantekidis, and V. Prevelakis: Red-Zone: Towards an Intrusion Response Framework for Intra-Vehicle System. Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS), Crete, Greece, Mai 2019.
  • M. Möstl, A. Dörflinger, M. Albers, H. Michalik und R. Ernst: Self-Adaptation for Availability in CPU-FPGA Systems under Soft Errors. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Colchester, UK, Jul. 2019”M. Möstl, M. Nolte, J. Schlatow, and R. Ernst: A Multiview Approach Toward Updatable Vehicle Automation Systems. Proceedings of the DATE Workshop on Autonomous Systems Design (ASD2019), Florence, Italy, March 2019.
  • J. Schlatow, M. Möstl, and R. Ernst: Self-aware scheduling for mixed-criticality component-based systems. Proceedings of the Real-Time and Embedded Technology and Applications Symposium (RTAS), Montreal, Canada, April 2019.Reference Trajectories for Investigating Fault-Tolerant Trajectory Tracking Control Algorithms for Automated Vehicles. In Proc. of the 9th IFAC International Symposium on Advances in Automotive Control (AAC). Orléans, France, Jun. 2019, pp. 40–47
  • T. Thüm, A. Knüppel, S. Krüger, S. Bolle, and I. Schaefer: Feature-Oriented Contract Composition. In Journal of Systems and Software (JSS), Elsevier, 2019.M. Tsantekidis, and V. Prevelakis: Efficient Monitoring of Library Call Invocation. In the 2nd IEEE International Symposium on Future Cyber Security Technologies (FCST 2019). Spain. 2019.
  • W. Xu, A. Willecke, M. Wegner, L. Wolf and R. Kapitza: Autonomous Maneuver Coordination via Vehicular Communication, in 5th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2019), Portland, USA, June 2019
2018
  • Z. Abel, V. Alvarez, E. D. Demaine, S. Fekete, A. Gour, A. Hesterberg, P. Keldenich, and C. Scheffer: Conflict-Free Coloring of Planar Graphs. To appear in SIAM Journal on Discrete Mathematics, 2018.
  • A. T. Becker, S. P. Fekete, P. Keldenich, D. Krupke, C. Rieck, C. Scheffer, and A. Schmidt: Tilt Assembly: Algorithms for Micro-Factories that Build Objects with Uniform External Forces. In Algorithmica, Special Issue: Algorithms and Computation, pp. 1-23, 2018.
  • G. Bagschik, M. Nolte, S. Ernst, and M. Maurer: A System’s Perspective Towards an Architecture Framework for Safe Automated Vehicles. Proceedings of 21st IEEE Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, November 2018.
  • A. Dörflinger, M. Albers, B. Fiethe and H. Michalik: Hardware Acceleration in Genode OS Using Dynamic Partial Reconfiguration. Proceedings of 31st International Conference on Architecture of Computing Systems (ARCS), Braunschweig, Germany, April 2018.
  • A. Dörflinger, M. Albers, B. Fiethe, J. Schlatow, H. Michalik, P. Keldenich, and S. P. Fekete: Hardware and Software Task Scheduling for ARM-FPGA Platforms. Proceedings of 12th NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Edinburgh, UK, August 2018.
  • A. Dörflinger, M. Albers, J. Schlatow, B. Fiethe, H. Michalik, P. Keldenich, and S. P. Fekete: Hardware and Software Task Scheduling for ARM-FPGA Platforms. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Edinburgh, UK, August 2018.
  • E. D. Demaine, S. P. Fekete, P. Keldenich, H. Meijer, and C. Scheffer: Coordinated Motion Planning: Reconfiguring a Swarm of Labeled Robots with Bounded Stretch. Proceedings of the 34th International Symposium on Computational Geometry (SoCG 2018), Budapest, Hungary, June 2018.
  • B. Fiethe, M. Albers, A. Dörflinger, T. Lange, and H. Michalik: Controlling Concurrent Change in Aerospace Electronics. In Proceedings of the 4th ESA Space FPGA Users Workshop, Noordwijk, NL, April 2018.S. P. Fekete and P. Keldenich: Conflict-free coloring of intersection graphs. International Journal of Computational Geometry and Applications, 2018.
  • S. P. Fekete, R. Gmyr, S. Hugo, P. Keldenich, C. Scheffer, and A. Schmidt: CADbots: Using Finite Automata to Manipulate Programmable Matter. Proceedings of 13th International Workshop on the Algorithmic Foundations of Robotics (WAFR), Mérida, México, December 2018.
  • K. Garlichs, M. Wegner, and L. Wolf: Realizing Collective Perception in the Artery Simulation Framework.  Proceedings of IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, December 2018.
  • M. Hamad, M. R. Agha, and V. Prevelakis: ProSEV: Proxy-Based Secure and Efficient Vehicular Communication.  Proceedings of IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, December 2018.
  • M. Hamad, M. R. Agha, and V. Prevelakis: ProSEV: Proxy-Based Secure and Efficient Vehicular Communication. Proceedings of the IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, IEEE, 2018.
  • M. Hamad, Z. A. H. Hammadeh, S.Saidi, V. Prevelakis, and R. Ernst: Prediction of Abnormal Temporal Behavior in Real-Time Systems. Proceedings of 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Pau, France, April 2018.
  • I. Jatzkowski, D. Wilke, and M. Maurer: A Deep Learning Approach for the Detection of Overexposure in Automotive Camera Images. Proceedings 2018 IEEE Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, November 2018.
  • P. Keldenich, S. Manzoor, L. Huang, D. M. Krupke, A. Schmidt, S. P. Fekete, and A. Becker: On Designing 2D Discrete Workspaces to Sort or Classify 2D Polyominoes. Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, October 2018.
  • A. Knüppel, C. I. Pardylla, T. Thüm, and I. Schaefer: Scalability of Deductive Verification Depends on Method Call Treatment. Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’18), Limassol, Cyprus, November 2018.
  • A. Knüppel, T. Thüm, C. I. Pardylla, and I. Schaefer: Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.  Proceedings of International Conference on Interactive Theorem Proving (ITP), Oxford, UK, July 2018.
  • A. Knüppel, T. Thüm, C. I. Pardylla, and I. Schaefer: Experience Report on Formally Verifying Parts of OpenJDK’s API with KeY. Proceedings of 4th Workshop on Formal Integrated Development Environment (F-IDE), Oxford, UK, July 2018.
  • B. Lehmann, H.-J. Günther, and L. Wolf: A Generic Approach towards Maneuver Coordination for Automated Vehicles. Proceedings of 21st International IEEE Conference on Intelligent Transportation Systems, Mauio, Hawaii, USA, November 2018. 
  • M. Möstl and R. Ernst: Cross-Layer Dependency Analysis with Timing Dependence Graphs. Proceedings of the 55th Design Automation Conference (DAC), San Francisco, CA, USA, June 2018.
  • M. Möstl, J. Schlatow, R. Ernst, N. Dutt, H. Nassar, A. Rahmani, F. J. Kurdahi, T. Wild, A. Sadighi, and A. Herkersdorf: Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS. Proceedings of the IEEE, vol. 106, issue 9, 2018, pp. 1543-1567.
  • M. Möstl, J. Schlatow, and R. Ernst: Synthesis of Monitors for Networked Systems with Heterogeneous Safety Requirements. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 37, no. 11, 2018, pp. 2824-2834.
  • T. Stolte, T. Liao, M. Nee, M. Nolte, and M. Maurer: Investigating Cross-domain Redundancies in the Context of Vehicle Automation – A Trajectory Tracking Perspective. IEEE Conference on Intelligent Transportation Systems (ITSC), Maui, Hawaii, USA, November 2018.
  • J. Schlatow, M. Möstl, S. Tobuschat, T. Ishigooka, and R. Ernst: Data-Age Analysis and Optimisation for Cause-Effect Chains in Automotive Control Systems. Proceedings of IEEE Symposium on Industrial Embedded Systems (SIES), Graz, Austria, June 2018.
  • M. A. Siddiqi, R. M. Seepers, M. Hamad, V. Prevelakis, and C. Strydis: Attack-tree-based Threat Modeling of Medical Implants. Proceedings of 7th International Workshop on Security Proofs for Embedded Systems (PROOFS), Amsterdam, Netherlands, September 2018.
  • M. Wegner, T. Schwarz, and L. Wolf: Connectivity Maps for V2I communication via ETSI ITS-G5. Proceedings of IEEE Vehicular Networking Conference (VNC), Taipei, Taiwan, IEEE, December 2018.
  • W. Xu, S. Rüsch, B. Li and R. Kapitza: Hybrid Fault-Tolerant Consensus in Asynchronous and Wireless Embedded Systems. 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Leibniz International Proceedings in Informatics (LIPIcs), pp. 15:1-15:16, 2018.
  • W. Xu and R. Kapitza: RATCHETA: Memory-bounded Hybrid Byzantine Consensus for Cooperative Embedded Systems. Proceedings of the 37th IEEE International Symposium on Reliable Distributed Systems (SRDS 18), Salvador, Brazil, October 2018..
2017
  • Z. Abel, V. Alvarez, E. D. Demaine, S. Fekete, A. Gour, A. Hesterberg, P. Keldenich, and C. Scheffer: Three Colors Suffice: Conflict-Free Coloring of Planar Graphs. Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Barcelona, Spain, 2017, pp. 1951-196.
  • M. Ayoub, W. Adi, and V. Prevelakis: Using Ciphers for Failure Recovery in ITS systems. International Conference on Availability, Reliability and Security (ARES 2017), 29. August, Italy, 2017.
  • M. E. Bender, M. Farach-Colton, S.P. Fekete, J. Fineman, and S. Gilbert: Cost-Oblivious Storage Reallocation. ACM Transactions on Algorithms, 2017.
  • Benduhn, T. Thüm, I. Schaefer, and G. Saake: Modularization of Refinement Steps for Agile Formal Methods. Proceedings of the International Conference on Formal Engineering Methods (ICFEM), Xi’an, China, November 2017.
  • A. Dörflinger, B. Fiethe, H. Michalik, S. P. Fekete, P. Keldenich, and C. Scheffer: Resource-Efficient Dynamic Partial Reconfiguration on FPGAs for Space Instruments. In Proceedings of 11th NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2017), Pasadena, CA, USA,  July 24-27, 2017.
  • S. P. Fekete, H.-F. Hoffmann: Online Square-in-Square Packing. In Algorithmica, vol. 77, no.3, 2017, pp. 867-901.S. P. Fekete, P. Keldenich: Conflict-free coloring of intersection graphs. Proceedings of European Workshop on Computational Geometry (EuroCG 2017), Malmö, Sweden, 2017, pp. 197-200.
  • S. P. Fekete, J.-M. Reinhardt, and C. Scheffer: An Efficient Data Structure for Dynamic Two-Dimensional Reconfiguration. Journal of Systems Architecture, vol. 75, 2017, pp. 15-25.
  • H.-J. Günther, J. Timpner, M. Wegner, R. Riebl, and L. Wolf: Extending a Holistic Microscopic IVC Simulation Environment with Local Perception Sensors and LTE Capabilities. Elsevier Vehicular Communications, Special Issue on Heterogeneous Vehicular Networking, Elsevier, 2017.
  • M. Hamad and V. Prevelakis: Secure APIs for Applications in Microkernel-based Systems. Proceedings of the 3rd International Conference on Information Systems Security and Privacy – Volume 1: ICISSP, 553-558, Porto, Portugal, 2017.
  • M. Hamad, M. Nolte, and V. Prevelakis: A Framework for Policy Based Secure Intra Vehicle Communication. IEEE Vehicular Networking Conference (VNC), Torino, Italy, November 2017.
  • Michel, H. Guzmán-Miranda, A. Dörflinger, H. Michalik, and M. A. Echanove: SEU fault classification by fault injection for an FPGA in the space instrument SOPHI. Proceedings of NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Pasadena, Canada, pp. 9-15, 2017.
  • M. Möstl, S. Schlatow, R. Ernst, H. Hoffmann, A. Merchant, and A. Shraer: Self-aware systems for the internet-of-things. Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, Pittsburgh, Pennsylvania, USA, Oct 2016, Special Session Paper.
  • M. Möstl, J. Schlatow, M. Nolte, M. Maurer, and R. Ernst: Automating Future (Function-)Updates. Tagungsband ELIV-Marketplace: E/E im Pkw, Düsseldorf, Germany, VDI Wissensforum GmbH, Oktober 2016, ISBN: 978-3-945435-05-2.
  • M. Nolte, G. Bagschik, I. Jatzkowski, T. Stolte, A. Reschka, and M. Maurer: Towards a Skill- And Ability-Based Development Process for Self-Aware Automated Road Vehicles. In Proceedings of IEEE Conference on Intelligent Transportation Systems (ITSC), Yokohama, Japan, 2017.
  • M. Nolte, I. Jatzkowski,  M. Maurer, J. Schlatow, M. Möstl, and R. Ernst: Ein Beitrag zur Selbstüberwachung von automatisierten Fahrzeugsystemen. Diagnosetagung Dresden, 2017.
  • M. Nolte, M. Rose, T. Stolte, and M. Maurer: Model Predictive Control Based Trajectory Generation for Autonomous Vehicles – An Architectural Approach. IEEE Intelligent Vehicles Symposium (IV), Los Angeles, USA, 2017.
  • V. Prevelakis and W. Adi: LS-ARP: a lightweight and secure ARP. Proceedings of the 7th International Conference on Emerging Security Technologies (EST), September, 2017, Kent, UK.
  • J. Schlatow and R. Ernst: Response-Time Analysis for Task Chains with Complex Precedence and Blocking Relations. International Conference on Embedded Software (EMSOFT), ACM Transactions on Embedded Computing Systems ESWEEK Special Issue, vol. 16, 2017, pp. 172:1-172:19.
  • J. Schlatow, M. Möstl, R. Ernst, M. Nolte, I. Jatzkowski, M. Maurer, C. Herber, and A. Herkersdorf: Self-awareness in autonomous automotive systems. Proceedings of Design, Automation and Test in Europe (DATE), Lausanne, Switzerland, Mar. 2017.
  • J. Schlatow, M. Nolte, M. Möstl, I. Jatzkowski, R. Ernst, and M. Maurer: Towards model-based integration of component-based automotive software systems. Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IECON17), Beijing, China, Oct. 2017.
  • M. Tsantekidis and V. Prevelakis: Library-Level Policy Enforcement. Proceedings of the Eleventh International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2017), September 2017, Rome, Italy.
  • W. Xu, M. Wegner, R. Kapitza, and L. Wolf: Byzantine Agreement Service for Cooperative Embedded Systems. Proceedings of 3rd International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2017), Denver, USA, 2017.
  • W. Xu, M. Wegner, L. Wolf and R. Kapitza: Byzantine Agreement Service for Cooperative Wireless Embedded Systems, 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Denver, USA, June 2017.
2016
  • R. Ernst: Controlling Concurrent Change - A self-aware Infrastructure for Continuous Change and Evolution in Automotive Systems. Proceedings of the Embedded Systems Week Conference (ESWEEK 16), Shanghai, China, Oct. 2016
  • S. P. Fekete and H.-F. Hoffmann: Online Square-in-Square Packing. Algorithmica, vol. 77, no. 3, 2016.
  • S.P. Fekete, J.-M. Reinhardt,  and C. Scheffer:  An Efficient Data Structure for Dynamic Two-Dimensional Reconfiguration. Proceedings of the 29th International Conference on Architecture for Computing Systems (ARCS 2016), Nuremberg, Germany, Apr. 2016, pp. 306-318.
  • H. Hamad, M. Nolte, and V. Prevelakis: Towards Comprehensive Threat Modeling for Vehicles. Proceedings of 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Porto, Portuga, Dec. 2016, pp. 31-36.
  • S. Holthusen, M. Nieke, T. Thüm, and I. Schaefer: Proof-Carrying Apps: Contract-Based Deploy-ment-Time Verification. Proc. of the International Symposium on Leveraging Applications (ISoLA), pages 839–855, Berlin, Heidelberg, October 2016. Springer.
  • S. Holthusen, S. Quinton, J. Schlatow, I. Schaefer, and M. Wegner: Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. Proceedings PrePost, 2016.
  • M. Hamad, J. Schlatow, V. Prevelakis, and R. Ernst: A communication framework for distributed access control in microkernel-based systems. Proceedings of 12th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT16), Toulouse, France, Jul. 2016, pp. 11-16.
  • H. Michel: Integration of SRAM-FPGas for Hardware Acceleration of a Data Processing Module for Space Instruments, PhD Thesis EITP Faculty TUBS, 2016.
  • M. Moestl and R. Ernst: Handling complex dependencies in system design. Proceedings of Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Germany, Mar. 2016, pp. 1120 – 1123.
  • J. Schlatow and R. Ernst: Response-Time Analysis for Task Chains in Communicating Threads. Proceedings of 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016), Vienna, Austria, Apr. 2016, 10 pp.
  • J. Timpner, M. Wegner, H. Günther, and L. Wolf: High-Resolution Vehicle Telemetry via Heterogeneous IVC. Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc): IoV-VoI Workshop, Paderborn, Germany, Jul. 2016, pp. 19-24.
  • J. Timpner, M. Wegner, H. Günther, and L. Wolf: Towards a Multi-Protocol Microscopic IVC Simulation Environment for ADASs. Humboldt University, Berlin, Germany, Mar. 2016.
  • M. Wegner, S. Rottmann, and L. Wolf: SCTPCL: An SCTP Convergence Layer Protocol for DTN.  Proceedings of the 11th ACM MobiCom Workshop on Challenged Networks, Oct. 2016, New York, NY, USA, pp. 19-24.
  • M. Wegner, W. Xu. R. Kapitza, and L. Wolf: Byzantine Consensus in Vehicle Platooning via Inter-Vehicle Communication. Proceedings of the 4th GI/ITG KuVS Fachgespraech Inter-Vehicle Communication (FG-IVC 2016), Berlin, Germany, Mar. 2016, 4 pp.
2015
  • M. E. Bender, M. Farach-Colton, S. P. Fekete, J. Fineman, and s. Gilbert: Cost-Oblivious Reallocation for Sum of Completion Times. Proceedings of the twenty-seventh annual ACM Symposium on Parallelism in Algorithms and Architecture (SPAA), Portland, Oregon, USA, Jun. 2015, pp. 143-154.
  • M.E. Bender, M. Farach-Colton, S.P. Fekete, J. Fineman, S. Gilbert: Reallocation Problems in Scheduling. Algorithmica, October 2015, Volume 73, Issue 2, pp. 389-409.
  • H. Michel, A. Belger, T. Lange, B. Fiethe, H. Michalik: Read Back Scrubbing for SRAM FPGAs in a Data Processing Unit for Space Instruments. NASA/ESA Conference on Adaptive Hardware and Systems. Montreal, Canada, 2015.
  • M. Moestl and R. Ernst: Cross-Layer Dependency analysis for safety-critical systems design. Proceedings of the11th GI/ITG Workshop on Dependability and Fault Tolerance (VERFE’15), Porto, Portugal, Mar. 2015, 7 pp.
  • V. Prevelakis, and M. Hamad: Extending the Operational Envelope of Applications. Proceedings of the Conference on Trust and Trustworthy Computing (TRUST) 2015, Heraklion, Crete, Aug. 2015, 2 pp.
  • V. Prevelakis, and M. Hamad: Implementation and Performance Evaluation of IPSEC in Microkernel OS. Proceedings of the Symposium On Computer Networks and Information Security (WSCNIS) 2015, Hammamet, Tunisia, Sep. 2015, 7 pp.
  • V. Prevelakis, and M. Hamad: A Policy-Based Communications Architecture for Vehicles. Proceedings of the 2015 International Conference on Information Systems Security and Privacy. Angers, France, Feb. 2015. pp. 155-162.
  • A. Reschka, S. Ulbrich, G. Bagschik, M. Nolte, M. Maurer: Ability and Skill Graphs for System Modeling, Online Monitoring, and Decision Support for Vehicle Guidance Systems. Proceedings of the IEEE Intelligent Vehicles Symposium (IV 2015), Seoul, South Korea, Jun./Jul. 2015, pp. 933-939.
  • S. Schlatow, M. Moestl, and R. Ernst: An extensible autonomous reconfiguration framework for complex component-based embedded systems. 12th International Conference on Autonomic Computing (ICAC 2015), Grenoble, France, Jul. 2015 pp. 239-242.
  • W. Xu, Z. A. H.Hammadeh, S. Quinton, A. Kröller, and R. Ernst: Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis. Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS ’15), Lund, Sweden, Jul. 2015, pp. 247-256.
2014
  • P. Bergmiller: Towards Functional Safety in Drive-by-Wire Vehicles (Phd thesis).
  • M. E. Bender, M. Farach-Colton, S. P.  Fekete, J. Fineman, and S. Gilbert: Cost-Oblivious Storage Reallocation. Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS’14), Utah, USA, Jun. 2014, pp. 278-288.
  • F. Bubenhagen: Analysis and Enhancement of a Fault-Tolerant NoC for SRAM-based FPGAs in Space Application  (PhD Thesis).
  • S. P. Fekete, B. Fiethe, S. Friedrichs, H. Michalik, and C. Orlis: Efficient Reconfiguration of Processing Modules on FPGAs for Space Instruments. Proceedings of NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Leicester, UK, Jul. 2014, pp. 15-22.
  • S. P. Fekete, J.-M. Reinhardt, and N. Schweer: A Competitive Strategy for Distance-Aware Online Shape Allocation. Theoretical Computer Science, 555, 2014, pp. 43-54.
  • Z. A. H. Hammadeh, S. Quinton, and R. Ernst: Extending Typical Worst-Case Analysis Using Response-Time Dependencies to Bound Deadline Misses. Proceedings of International Conference on Embedded Software, New Delhi, India, Oct. 2014, no. 10, 10 pp.
  • M. Neukirchner: Establishing Sufficient Temporal Independence Efficiently – A Monitoring Approach (PhD. dissertation).
  • B. Osterloh: Reliable dynamic partial hardware reconfiguration in space applications. (Ph.D. dissertation).
  • A. Paschalis, H. Michalik, N. Kranitis, C. López-Ongil, and P. R. Vasallo: Dependable Reconfigurable Space Systems: Challenges, New Trends and Case Studies. Proc. of IEEE 20th International On-Line Testing Symposium (IOLTS), Platja d’Aro, Spain, Jul. 2014, pp. 222-227.
  • A. Reschka, M. Nolte, T.  Stolte, S. Schlatow, R. Ernst, and M. Maurer: Specifying a middleware for distributed embedded vehicle control systems. Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES), Hyderabad, India, Dec. 2014, pp. 117 – 122.
2013
  • S. P. Fekete and H.-F. Hoffmann: Online Square-into-Square Packing. APPROX-RANDOM 2013, 77: 867, pp. 126-141.
  • B. Fiethe, F. Bubenhagen, T. Lange, H. Michalik, and H. Michel: Dynamically Reconfigurable Processing Module (DRPM) and its Application on a Space Science Instrument. In Proceedings of the Workshop on Reconfigurable Computing (WRC). HiPEAC, Berlin, Germany, Jan. 2013.
  • M. Neukirchner, K. Lampka, S. Quinton, and R. Ernst: Multi-mode monitoring for mixed-criticality real-time systems. In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, Montreal, Quebec, Canada, Sep. – Oct. 2013, IEEE Press, no. 34, 10 pp.
Bildnachweise dieser Seite

Für alle

Stellen der TU Braunschweig
Jobbörse des Career Service
Merchandising
Sponsoring- & Spendenleistungen
Drittmittelgeförderte Forschungsprojekte
Vertrauenspersonen für Hinweisgeber

Für Studierende

Semestertermine
Lehrveranstaltungen
Studiengänge von A-Z
Informationen für Erstsemester
TUCard

Interne Tools

Status GITZ-Dienste
Handbuch für TYPO3 (Intern)
Corporate Design-Toolbox (Intern)
Glossar (DE-EN)
Meine Daten ändern
Hochschulöffentliche Bekanntmachungen

Kontakt

Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0

Anreise

© Technische Universität Braunschweig
Impressum Datenschutz Barrierefreiheit

Zur anonymisierten Reichweitenmessung nutzt die TU Braunschweig die Software Matomo. Die Daten dienen dazu, das Webangebot zu optimieren.
Weitere Informationen finden Sie in unserer Datenschutzerklärung.