ASSUME

Future mobility solutions will increasingly rely on smart components that continuously monitor the environment and assume more and more responsibility for a convenient, safe and reliable operation. In order to realize this vision, the need for computing power will drastically increase beyond what can be provided by conventional sequential single-core hardware. 

While the required efficiency and scalability makes it mandatory for future embedded micro-controllers to rely on multi- and many-core architectures, the change in hardware architecture also entails fundamental changes to state of the art software development methodology. Replacing today’s essentially sequential technology by omnipresent communication between cores poses the tremendous challenge in software development to identify and exploit opportunities for concurrency in a way that still guarantees reliable and predictable behavior.

Aside from the evolution of new hardware architectures, software development must address the increasing level of complexity of new highly automatic mobility solutions. For automotive, the self-driving car is the next big revolution and it is still unclear how functional and non-functional guarantees can be given for this new class of assistance functions.

European industry heavily relies on the premium market segments. In these segments, innovative functions are the most important factor to influence buying decisions. New competitors, e.g. Google, enter the stage and challenge the established industry with eager visions. However, the single most important roadblock for this market is the ability to come up with an affordable, safe multi-core development methodology that allows industry to deliver trustworthy new functions at competitive prices. The ASSUME algorithm portfolio will be the key technology to bring innovative solutions from sandboxes into consumers’ daily lives.

ASSUME provides a seamless engineering methodology to overcome this roadblock. The problem is addressed on the constructive and on the analytic side. For efficient construction and synthesis of embedded systems, the project provides new tools, standards and methodologies to cover most of the challenges by design. 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 facilitate cooperation between different market players.

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.

Link to the ASSUME website

Contact Information: