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. 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.
First Name | Last Name | Title |
---|---|---|
Björn | Lisper | Professor |
Husni | Khanfar | Doctoral student |
Linus | Källberg | Associated Senior Lecturer |
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae (Sep 2017) Björn Lisper Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'17)