INDIN 2013 Tutorial: Demonstration of an Open Source framework for Embedded Systems Verification and Simulation (EU FP7 MODUS Project)

Soler, J. (Speaker)

Activity: Talks and presentationsConference presentations

Description

Synopsys - The tutorial will serve as an introductory session to the developments made in the EU FP7 Project MODUS (Methodology and supporting tool set advancing embedded systems quality. http://www.modus-fp7.eu/ ) with the objective of enabling small and medium size enterprises (SMEs) to incorporate advanced embedded system development procedures with reduced costs.

The MODUS Project focus on four differentiated processes applicable to embedded systems development:

- Formal Verification and Validation (FVV): allows testing a system model against a set of constraints, assuring consistency and security of operation against an initial specification.
- Hardware and Software co-simulation(HSCS): allows simulating together software and hardware parts of a system, with the objective of design optimisation, early bugs detection, and shorter development life-cycle.
- Performance Optimization (PO): enables the application of different types of optimisations for the generated source code, from a formal description model of the embedded system software.
- Customizable Source-code Generation (CSCG): allows the customisable model-driven source code generation, according to specific coding conventions/standards with respect to formal representations.The tutorial will introduce some applications of each of the previous four differentiated processes and finally it will illustrate them with examples, using the open source tools developed within the MODUS project, demonstrating the usability of the developed integrated environment and its applicability:
* FVV: Based on an initial model of the system under test, the MODUS toolset integrates different formal model verification (FMV) tools, as well as the corresponding model format translators: XMI, Promela, RSL, SPIN and RAISE-SAL. Several examples will be provided demonstrating the applicability of FMV techniques to embedded systems development.
* HSCS: on a model of the HW part of the system under test, the MODUS toolset generates a SystemC/TLM2.0 skeleton virtual platform of the system. This virtual platform has to be filled with SystemC behavioural models of components and compiled. The MODUS user is then free to run its software on this virtual platform and collect information from simulations.
* PO: Based on an initial model of the system under test and user configurations, different code generation strategies are applied for the generation of an optimised source code in terms of code execution, memory usage, safety precaution etc.
* CSCG: Based on the different user configurations on the target source code, programming language and a set of coding conventions and standards rules (e.g. MISRA, ESA) for embedded systems software development, several use cases could be provided demonstrating the improvement in software readability and lifetime maintenance.

The tutorial is assumed to be demonstrative and didactic, therefore the audience level target, as requested, is basic - medium.

2 hours tutorial held during INDIn 2013 Conference, higlighting background, purpose and developed open source tools, within the EU FP7 MODUS Project. Co responsible for the tutorial together with Hao Yu, also from DTU Fotonik
Period29 Jul 2013
Held atRuhr University Bochum, Germany