eurostars models project, system modeling and design exploration of applications for heterogeneous...
TRANSCRIPT
É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?
#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
Modelio for Systems & Software Engineering
#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
Modelio for Systems & Software Engineering
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.
WPs in MODELS Project (2/4)
#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.
WPs in MODELS Project (3/4)
#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
WPs in MODELS Project (4/4)
#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
Modelio in MODELS Project
#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.
Modelio in MODELS Project
#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
#OSSPARIS16
Modelio in MODELS Project
Development: Video Compression Case Study
Model
Explorer
MODELS tabDiagram
Palette
#OSSPARIS16
Modelio in MODELS Project
Development: Video Compression Case Study
#OSSPARIS16
Modelio in MODELS Project
Development: Video Compression Case Study
#OSSPARIS16
Modelio in MODELS Project
Development: Video Compression Case Study
#OSSPARIS16
Modelio in MODELS Project
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:
http://models.epfl.ch/
https://twitter.com/MODELSProjectEU
Modelio Web Site :
http://www.modelio.org
IT Services / UML Tools
Research
Management
Standardization