Förderprojekte Förderprojekte
MES Company References Research Projects

Research Projects

SFAssist 2021-2023:

Automatic Structural Improvements of Stateflow Automata

Funded by Pro FIT

Project partners

Technische Universität (TU) Berlin Department of Software and Embedded Systems Engineering (formerly: Programming of Embedded Systems)

Lead partner

Prof. Dr. Sabine Glesner, TU Berlin

FuMaMa 2019-2021:

Fuzzy Measures Management

Funded by IBB Profit

Project partners

TU Berlin

Lead partner

Prof. Dr. Roland Jochem, TU Berlin

SAFE4I 2017-2021:

Safe Automatic Software Design for Industrial Plants 

Funded by the BMBF

Project partners

Infineon Technologies AG, Bosch Sensortec GmbH, Robert Bosch GmbH, Itemis AG, FZI Research Center for Information Technology, among others.

Lead partner

Prof. Dr. Wolfgang Ecker, Infineon Technologies AG

CrEST 2017-2020:

Collaborative Embedded Systems 

Funded by the BMBF

Project partners

Assystem Germany GmbH (previously: Berner & Mattner Systemtechnik GmbH), Bertrandt GmbH, FEV GmbH, insystems, Robert Bosch GmbH, Siemens AG, TU (Technische Universität) Berlin, among others.

Lead partner

Dr. Wolfgang Böhm, TU (Technische Universität) Munich

ENABLE-S3 2016-2019:

European Initiative to Enable Validation for Highly Automated Safe and Secure Systems

Funded by the European Union's Horizon 2020 program

Project partners

AVL GmbH, DENSO Automotive Deutschland GmbH, German Aerospace Center, IBM Ireland Ltd., Philips Medical Systems Nederland B.V., Siemens AG, Valeo Schalter und Sensoren GmbH, among others.

Lead partner

Sarah Woywod, AVL List GmbH

REVaMP² 2016-2019:

Round-trip Engineering and VAriability Management Platform and Process

Funded by the BMBF, ITEA 3

Project partners

ABB, AVL GmbH, Forschungszentrum Informatik (FZI), Robert Bosch GmbH, Saab AB, SOFTEAM Cadextan Research, among others

Lead partner

Andrey Sadovykh, SOFTEAM Cadextan Research

HPSV 2016-2019:

Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry 

Funded by the BMBF

Project partners

Zuse Institute Berlin (ZIB), Luxoft GmbH, University of Kiel

Lead partner

Prof. Dr. Dirk Nowotka, University of Kiel

ECoSMo 2016-2019

ECoSMo 2016-2019: Effective Quality of Software Models 

Funded by the BMBF & DLR as part of the Ministry's SME INNOVATIVE development program

Project partner

Technische Universität (TU) Berlin Department of Software and Embedded Systems Engineering (formerly: Programming of Embedded Systems)

Lead partner

Prof. Dr. Sabine Glesner, TU Berlin

AgQua 2016-2018:

Aggregation Procedures for Quality

Funded by ProFIT

Project partners

TU Berlin, Department of Quality Science

Lead partner

Prof. Dr. Roland Jochem, TU Berlin

ASSUME 2015-2018:

ASSUME 2015-2018: Affordable Safe & Secure Mobility Evolution 

Funded by the BMBF, ITEA 3

Projects partners

AbsInt Angewandte Informatik GmbH, BTC Embedded Systems AG, Daimler AG, Forschungszentrum Informatik (FZI), Robert Bosch GmbH, among others.

Lead partner

Wolfgang Köpf, Daimler AG

MCAS 2015-2018:

Model Check Methodology for Avionic Software

Funded by BMWi, ZIM

Project partners

TU Berlin Department for Flight Mechanics, Flight Control and Aeroelasticity (FMRA)

Lead partner

Prof. Dr. Robert Luckner, TU Berlin

CISMo 2013-2016:

Change Impact Analyses of Software Models

Funded by the BMBF, SME-INNOVATIVE

Project partners

Technische Universität (TU) Berlin Department of Software and Embedded Systems Engineering (formerly: Programming of Embedded Systems)

Lead partner

Prof. Dr. Sabine Glesner, TU Berlin