ASSUME 2015-2018: Affordable Safe & Secure Mobility Evolution
Funded by the BMBF (German Federal Ministry of Education and Research), 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
The focus of the European development project ASSUME is the study and development of a continuous development methodology and toolchain as well as a new safeguarding procedure for software that is run on multi-core processors. As part of this, MES aims to highlight new ways to develop embedded software for mobility solutions. With the MES monitoring tool, the MES Quality Commander® (MQC), MES is developing an integrating framework to measure and track product quality in compliance with ISO 25010. By using the MES software tools, MES Model Examiner® (MXAM) for guideline checks and MES M-XRAY® for complexity tests, quality data is collected via an automated process. Together with the technology partner BTC Embedded Systems AG, the formalization of requirements with Simplified Universal Pattern was also implemented. This enables many application cases in the area of verification, such as consistency tests, automatic test case generation, formal test, or formal verification.
The ASSUME project thus delivers solutions for developing and verifying highly automated, safety-relevant, and performance-critical mobility systems. Furthermore, the definition, application, and consistent graphical depiction of the quality evaluation can all be visualized using the MES Quality Commander® (MQC).