EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.

  • Bloem, Roderick (Teilnehmer (Co-Investigator))
  • Könighofer, Robert (Teilnehmer (Co-Investigator))

Projekt: Forschungsprojekt

Projektdetails

Beschreibung

In diesem Projekt setzt sich ein Konsortium von führenden Europäischen akademischen und industriellen Akteuren auf die Entwicklung eines integrierten, Cross-Layer-Modellierung basierenden Tool Frame für Faultmanagement, Verifikation und zuverlässiges Design von Cyber-Physical Systems (CPS) zum Ziel.
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende1/03/15 → 28/02/18

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.
Vollständigen Fingerprint anzeigen
  • 4 Beitrag in einem Konferenzband

  • Automata Learning for Symbolic Execution

    Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (Hrsg.). IEEE CS, S. 130 - 138 9 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Formal Verification of Masked Hardware Implementations in the Presence of Glitches

    Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

    Open Access
    Datei

  • Cooperative Reactive Synthesis

    Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, S. 394-410 (Lecture Notes in Computer Science; Band 9364).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

    Open Access
    Datei
Alle 4 Veröffentlichungen anzeigen