ASSUME 2015-2018: Affordable Safe & Secure Mobility Evolution

May 31, 2018

Funded by the BMBF (German Federal Ministry of Education and Research), ITEA 3

Project Partners

Model Engineering Solutions GmbH (MES) Go to About Us Page of MES
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 Get more Infos

Project Overview

The European development project ASSUME focused on studying and developing a continuous development methodology and toolchain. In addition, it aimed to create a new safeguarding procedure. This procedure targets software that runs on multi-core processors.

Objectives and Benefits

The objective was to create an integrated framework for measuring and tracking product quality in compliance with ISO 25010.

Used tools:

MES Quality Commander^® (MQC) enabled automated quality monitoring and consistent evaluation across development activities.
MES Model Examiner^® (MXAM) supported automated guideline and compliance checks.
MES M-XRAY^® (MXRAY) provided automated complexity analysis. All of MXRAY functions are now integrated into MXAM.

Together with BTC Embedded Systems AG, requirements were formalized using Simplified Universal Pattern. This approach enabled advanced verification use cases, including consistency checks and automatic test case generation. It also supported formal testing and formal verification activities.

The ASSUME project has thus brought benefits for the development of safety-relevant, performance-critical, and highly automated mobility systems.