models, a unified environment for the design of system applications on parallel platforms based on...

ÉDITION 2016 | 16&17 NOVEMBRE

#OSSPARIS16

Eurostars MODELS Project, System modeling and design exploration of

applications for heterogeneous and parallel platforms

Alessandra Bagnato, Softeam R&D Department

#OSSPARIS16

• Exponentially increasing in complexity– Parallelism at both hardware and software levels

• “Design Productivity Gap” between HW and SW

development

• Increase in Time to Market and Overall Costs !!

Context: Embedded/Cyber-Physical Real-Time

Systems

#OSSPARIS16

• Elevate Design Abstraction Levels !!

– E.g. MDE, UML, SysML, MARTE

• Increases synergy, decreases design time

• Modeliosoft’s:

– Modelio System Architect (SA) Solution

• https://www.modeliosoft.com/en/products/modelio-sa-system-architects.html

– Open source version available at:

• https://www.modelio.org/

What to do?

https://www.modeliosoft.com/en/products/modelio-sa-system-architects.html

#OSSPARIS16

• Modelio UML editor with morethan 20 years’ history– SysML

– MARTE

– Code generation

– Documentation

– Teamwork

– World Wide Modeling, Distributeand share models on the web

Modelio for Systems & Software Engineering

#OSSPARIS16

• System modeling based on MARTE,SysML, UML and BPMN

• Requirements Engineering

• Traceability and Impact analysis

• Embedded systems modeling

• Code & document generation


#OSSPARIS16

• Requirements Modeling

– Tabular editors

– import/export MS Excel & Word

• Embedded Systems modeling viaMARTE

• Traceability Editor

• Impact Analysis

• Automatic Document Generation

• Support for Collaborative activities


TraceabilityEditor

DedicatedSysML editor

#OSSPARIS16

• Has been used in Horizon2020, EU FP7 and ARTEMIS projects

Influence in European Research Area

H2020 CPSWARM starting on 1st January2017

#OSSPARIS16

Eurostars MODELS Project

Time to completion: 24 monthsProject Started on 1st September 2016

http://models.epfl.ch/


#OSSPARIS16

• AKAtech, SWITZERLAND (PME), coordinator

• EPFL, SWITZERLAND (University)

• ULUND, SWEDEN (University)

• SOFTEAM, FRANCE (ETI)

• Magillem Design Sevices, FRANCE (PME)

Eurostars MODELS Consortium

#OSSPARIS16

– Softeam:

• Modelio: High level SysML/MARTE modeling environment

– AKAtech:

• Dataflow Wrapper Tool: automatic generic interface generator

• IP-XACT Dataflow Parser: Extracts hardware characteristics of IP-XACT model of platform

• Dataflow Code Design tool: based on Open source Xronos Forge/Orcc Tools and C++

Backend

– EPFL:

• Xronos: Tool suite for dataflow High Level synthesis

• Turnus: Dataflow simulation, analysis and profiling

MODELS Project - Partner Tools

#OSSPARIS16

• Partner Tools:

– Lund University:

• Tycho Dataflow Compiler: Front end for dataflow languages, transforming, analyzing andoptimizing dataflow programs

– Magillem:

• Magillem Platform Assembly: Design Environment for SoC

• Magillem IP-XACT Packager: IP-XACT description generator

• Magillem Register View: Managing registers for SoCs.

• Magillem X-Spec: For Embedded SW simulation and analysis

• Magillem Link Tracer: For traceability, from requirements to models , etc.

MODELS Project - Partner Tools

#OSSPARIS16

• Current limitations at high-abstraction levels

• Parallelism is not expressed at high abstraction levels

– Application Parallelism: Task and Data Parallelism?

– Execution Platform Parallelism: How to express many cores of an execution

platform, i.e. 64 cores of a platform?

Modelio in MODELS Project

#OSSPARIS16

• Current limitations in existing projects and tools/environments:

– No single environment or design tool present that spans all design levels: high-

level modeling, IP-reuse, design space exploration, platform independence,

automatic verification/validation, etc.

– Existing High-Level Synthesis (HLS) tools are usually tied to specific execution

platforms

MODELS Project

#OSSPARIS16

• Model will provide

– A platform-independent design framework and unified environment for next-generation parallel computing platforms.

– Model definition at different abstraction levels for high-level synthesis, automaticvalidation, IP reuse and design space exploration.

– Targeted dataflow applications: signal processing, video compression, 3D medicalimage processing, etc.

MODELS Project

#OSSPARIS16

• WP 1: Management

• WP 2: Design environment specifications, tools functionalities and

interfaces

• WP 3 : System Modeling Tools

• WP 4: Front-end tools and Design Space Exploration

• WP 5 : Runtimes libraries and Backends

• WP 6: Validation and market promotion of the unified environment

WPs in MODELS Project (1/4)

#OSSPARIS16

• WP1: Management and Coordination of Project

– Project management and coordination activities such as planning workshops,

preparing for plenary meetings, reviews, etc. Lead by Akatech

• WP2: Design Environment Specifications, tool functionalities and

interfaces

– Domain specific requirements definition, tools functionalities and interfaces.


#OSSPARIS16

• WP3: System Modeling Tools

– Development of MODELS system modelling Language definition.

– Develop customized diagrams for end-users to increase productivity

– Modelio will provide the modeling environment to model requirements, functional andhardware/software specifications, allocations etc.

– MODELS Design Publisher will be used for automatic document generation.

• WP4: Front-end tools and Design Space Exploration

– RVC-CAL dataflow language and Design Space Exploration.


#OSSPARIS16

• WP5: Runtime libraries and Backends

– Will specify the execution platforms using MARTE RSM subset (such as Adapteva,Kalray MPPA manycore platform).

• WP6: Validation and market promotion of the unified environment

– Developing a use case study based on video analysis data flow system.

– Carry out dissemination, exploitation and market promotion activities.

– Help in developing the MODELS Interest Industry Group


#OSSPARIS16

– Modelling of parallel executionplatforms

– Repetitive execution platforms andapplications can be modeled using aMARTE RSM (Repetitive StructureModeling) Subset

– Reference: MARTE RepetitiveStructure Modeling – SoC SIP 2009Presentation


#OSSPARIS16

• MODELS RSM subset main concepts:– Shaped: A concept that allows to define multiplicity of an element, i.e. no. of times the

element is repeated.• For e.g. instead of modeling 64 instances of a core, we can model one instance and have a

shaped value of 64

• Can be used for multi-dimensional layout: i.e. 4x4.

– Distribute: A type of Allocation dependency• Allows to determine which instance of source (application) is mapped to which instance of target

(platform)

– Reshape: A type of connection• Similar to distribute, allows to connect a source instance to a target instance when either one or

both (source/target) have a shaped value.


#OSSPARIS16

• Softeam delivered the first version of the Open Source E*MODELS

unified environment for the design of system applications on parallel

platforms based on CPU, multicore, manycore, FPGA and

heterogeneous SoCs on the Modelio (modelio.org) Forge at

– https://forge.modelio.org/projects/eurostarsmodels

– https://forge.modelio.org/projects/emodels-modelio35/files

Open Source Modelio E*MODELS module

https://forge.modelio.org/projects/eurostarsmodels

#OSSPARIS16


Development: Video Compression Case Study

Model

Explorer

MODELS tabDiagram

Palette

#OSSPARIS16


Development: Video Compression Case Study

#OSSPARIS16

Open Source Modelio E*MODELS module

#OSSPARIS16

Contacts Alessandra Bagnato

SOFTEAM, [email protected]

SOFTEAM R&D Web Site:

http://rd.softeam.com

MODELS Web Site:


https://twitter.com/MODELSProjectEU

Modelio Web Site :

http://www.modelio.org

IT Services / UML Tools

Research

Management

Standardization

http://rd.softeam.com/


https://twitter.com/MODELSProjectEU

models, a unified environment for the design of system applications on parallel platforms based on...

Technology