CrEST 2017-2020: Collaborative Embedded Systems

Gefördert durch BMBF
Projektpartner: u.a. Assystem Germany GmbH (früher: Berner & Mattner Systemtechnik GmbH), Bertrandt GmbH, FEV GmbH, InSystems Automation GmbH, Robert Bosch GmbH, Siemens AG, TU Berlin
Ansprechpartner: Dr. Wolfgang Böhm, Technische Universität München

Im Rahmen des CrEST-Projekts erfolgte die Untersuchung von dynamischen (SW-)Systemen. Ziel war dabei die Definition von Methoden zur modellbasierten Beschreibung von dynamischen nachladbaren Applikationen. Basierend auf den modellbasierten Systementwürfen, hat MES Analyseverfahren entwickelt, die notwendige Eigenschaften der Systeme absichern.