direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

  • Lehrveranstaltungen im Wintersemester 2021/22
    Bitte beachten Sie, dass aufgrund des IT-Angriffs auf die TU Berlin zur Zeit kein Zugriff auf IT-Systeme möglich ist, die für die Pflege dieser Webseite notwendig sind, daher sind leider nicht alle Angaben aktuell gehalten.
    Unser Lehrangebot im Wintersemester 2021/22 finden Sie daher gesammelt unter diesem Link.
     
  • Abschlusspräsentationen Programmierpraktika verfügbar
    Die Endpräsentationen unserer Studierenden im Programmierpraktikum sind ab sofort als Video auf unserer Website verfügbar! Link: https://www.sese.tu-berlin.de/menue/studium_und_lehre/studierendenprojekte/programmierpraktika_202021/
     
  • Angebot Sommersemester 2021 online
    Ab sofort finden Sie unser Angebot für das kommende Sommersemester unter dem Menüpunkt "Nächstes Semester". Aufgrund der fortbestehenden Corona-Pandemie bieten wir auch im Seommersemester unser Lehrangebot in vollständig digitaler Form an. Unser Bachelor- und Masterseminar und AOES finden nicht statt. Stattdessen bieten wir das Modul QES an.

    Informationen zu einzelnen Veranstaltungen entnehmen Sie bitte den Modulseiten auf ISIS und dieser Website
    . Hinweis: wenn Sie einem ISIS Kurs beitreten, ist dies keine verbindliche Prüfungsanmeldung.

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

SESE-Newsletter

Wer Interesse an unserem Kolloquium und anderen Vorträgen hat, kann sich für den SESE-Newsletter .

Aktuelle Veröffentlichungen

Verena Klös and Thomas Göthel and Sabine Glesner (2017). Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 13–18.


Thomas Göthel and Nils Jähnig and Simon Seif (2017). Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems. Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM). Springer, 157–173.


Joachim Fellmuth and Paula Herber and Tobias F. Pfeffer and Sabine Glesner (2017). Securing Real-Time Cyber-Physical Systems using WCET-Aware Artificial Diversity. 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing (DASC'17), 454-461.


Lydia Jaß and Paula Herber (2017). Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Timed Path Conditions in MATLAB/Simulink. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866

Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin