Anna Arestova

Anna Arestova, M. Sc.

Department Informatik (INF)
Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)

Raum: Raum 06.138
Martensstr. 3
91058 Erlangen

Weitere Informationen

Publikationen

2024

2023

2022

2021

2020

Projekte

  • MBPLE4Mobility - Durchgehend modellbasierte Entwicklung und Produktlinienentwicklung für Steuerungssystem in der Fahrzeugtechnik

    (Drittmittelfinanzierte Einzelförderung)

    Laufzeit: 2021-07-01 - 2024-06-30
    Mittelgeber: Bundesministerium für Wirtschaft und Technologie (BMWi)

    Als Teil eines großen Konsortiums befasst sich der Lehrstuhl Informatik 7 im Rahmen des Projekts mit dem modellbasierten Systementwurf der Fahrzeug-Kommunikationssysteme unter Einbezug von Variantenvielfalt. Hierfür wird zum einen eine Optimierung für die Konfiguration und die Ressourcenauslegung der Netzwerkarchitektur für verschiedene Kommunikationsprotokolle und -mechanismen realisiert. Zum anderen werden Safety-Analysen unter Verwendung von Fehlerbäumen und Erweiterung dieser für Produktlinien durchgeführt.

    Für den formalen Nachweis der erforderlichen Echtzeiteigenschaften wird Network Calculus herangezogen. Dafür müssen geeignete Ansätze für die in den Vernetzungstechnologien verwendeten Scheduling-Verfahren (z.B. TAS, prioritätsbasiert, CBS, usw.) formuliert werden.

    Für eine automatisierte und beschleunigte Erstellung der Netzwerkoptimierungen und der Safety- und Echtzeit-Analysen werden Modell- und Codegeneratoren entwickelt. Die Ergebnisse dieser Auswertungen werden in die Modellierung des Gesamtsystems zurückgeführt.

  • Engineering von zukünftigen Zugsteuer- und Managementsystemen

    (Drittmittelfinanzierte Einzelförderung)

    Laufzeit: 2018-10-01 - 2021-09-30
    Mittelgeber: Siemens AG
    Mit den sich entwickelnden Technologien und Methoden im Bereich der Echtzeitkommunikation und der stetig steigenden, zu übertragenden Datenmenge ist die Bahnindustrie auf den Zug der Modernisierung ihrer Prozesse aufgesprungen.

    Bei den Bahnanwendungen liefern verschiedene Hersteller bis heute unterschiedliche und meist nicht kompatible Lösungen.  Diese Lösungen werden für eine bestimmte Konstellation eines Zuges spezifiziert, sind in den meisten Fällen aber nicht in der Lage, bei einer Veränderung der Zugkonstellation die korrekte Funktionalität zu bieten.  Um sicherheits- und zeitkritische Bereiche von unkritischen Bereichen zu trennen, die z. B. Dienstleistungen für Fahrgäste wie Wireless LAN anbieten, müssen darüber hinaus getrennte Netze mit einer eigenen Infrastruktur aufgebaut werden, die für den Zug und seine Hersteller mehr Gewicht und Kosten bedeuten.

    Im Bereich der Echtzeitkommunikation hat sich Time-Sensitive Networking (TSN) als mögliche Lösung zur Überwindung der oben genannten Probleme herausgestellt.  Es stellt Verfahren und Mechanismen für die Ethernet-Technologie bereit, die sie mit Aspekten des Determinismus und der Zuverlässigkeit bereichern.

    Mit Time-Sensitive Networks (TSN) können die sicherheits- und zeitkritischen Domänen mit unkritischen Bereichen zusammengeführt werden, so dass den sicherheitskritischen und zeitsensiblen Domänen noch genügend Zuverlässigkeit und Determinismus garantiert werden kann und die Bedürfnisse der Passagiere befriedigt werden.

    Ziel dieses Forschungsprojektes ist es, die Eignung von TSN im Bahnbereich zu testen.  Vorrangiges Ziel des Projekts ist es, zu analysieren, ob die Anforderungen der sicherheits- und zeitkritischen Anwendungen in Bezug auf eine deterministische Netzwerkkommunikation und beschränkte Latenzen im Netzwerk erfüllt werden können und gleichzeitig nachzuweisen, dass die Erfüllung der Ansprüche der kritischen Anwendungen nicht zu einer signifikanten Beeinträchtigung unkritischer Anwendungen führt.

Lehre

Sommersemester 2024

Sommersemester 2020