Affordable Safe & Secure Mobility Evolution
ASSUME provides a seamless engineering methodology for delivering trustworthy new mobility assistance functions on multi and many core architectures. The problem is addressed on the constructive and on the analysis side. For efficient construction and synthesis of embedded systems, the project provides new tools, standards and a methodology to cover most of the challenges by design.
École normale supérieure, Eindhoven University of Technology, FZI Forschungszentrum Informatik, Karlsruhe Institute of Technology, Kiel University, Koç University, KTH Royal Institute of Technology, OFFIS, Technische Universität München, University of Twente, AbsInt Angewandte Informatik GmbH, Airbus, Arcelik, Arcticus Systems AB, Berner & Mattner Systemtechnik GmbH, BTC Embedded Systems AG, Daimler, Ericsson Ar-Ge, Esterel Technologies, FindOut Technologies AB, INRIA, Kalray SA, KoçSistem Information Communications Services, Model Engineering Solutions GmbH, NXP, Recore Systems BV, Robert Bosch GmbH, Sagem, Scania, Snecma, Thales Group, TNO, UNIT Information Technologies R&D Ltd., VDL Bus & Coach bv, Verum
Project manager at MDH
Description of the project
In addition, ASSUME provides a well-integrated sound static analysis solution that allows proving the absence of problems even in a multi -core environment. New algorithms will be integrated in exploitable tools. New interoperability standards and requirements formalization standards will facility tools and market player cooperation.
The ASSUME consortium includes leading European industry partners for mobility solutions, tool and service providers for embedded system development as well as leading research institutes for static analysis for model-driven and traditional embedded systems development.