The continuous rapid evolution of modern embedded systems has given rise to new challenges: such as increasingly complex design processes that cause delays in time to market and escalation of overall design costs. Additionally, these systems are more prone to containing errors, and it becomes more relevant to provide designers with effective tools to aid them in overcoming the difficulties related to the overall system design, verification and validation as soon as possible. During research carried out in several European projects related to real-time embedded systems, relevant industrial and academic end users feedback were gathered and summarized. This resulted in creation of novel design methodologies that were integrated in a high level modelling environment to increase the overall system design productivity. The requests and feedback deriving from the carried out research projects and aiming to guide embedded system designers taking full advantage of high level methodologies by utilizing the UML standard and its SysML and MARTE profiles are summarized in the presentation.
HiPEAC2014 modelio - softeam systems software engineering - a.bagnato
1. Modelio:
Solutions for Embedded Systems
and Software @ HiPEAC 2014,
Industrial session
Alessandra Bagnato, Softeam R&D
Alessandra.bagnato@softeam.fr
Vienna, 21st January 2014
2. Real-Time and Embedded Systems
Exponentially increasing in
complexity
“Design Productivity Gap”
between HW and SW
development
Increase in Time to Market and
Overall Costs !!
3. What to do ?
Elevate Design Abstraction Levels !!
E.g. MDE, UML, SysML, MARTE
Increases synergy, decreases design time
SOFTEAM Modeliosoft’s
Modelio System Architect Solution
http://www.modelio.org/
http://www.modeliosoft.com/
4. SOFTEAM – French IT services / Software vendor
• SOFTEAM
• Specialist in OO technologies,
new architectures,
20 Years experience
700 experts
methodologies
Regular growth
• Finance, Banking, Insurance,
Telecom, Media and Services
60 ME
industries.
Paris
Rennes
Nantes
23 ME
17,5 ME
20 ME
Sophia
2005
2006
2008
2012
5. Modelio for Software
and System Engineering
• Modelio UML editor with
more than 20 years’
history
o
o
o
o
o
o
SysML
MARTE
Code generation
Documentation
Teamwork
World Wide Modeling,
Distribute and share
models on the web
• Available under:
Modelio.org
Modeliosoft.com
6. What it helps you with ....
• System modeling based on MARTE,
SysML, UML and BPMN
• Requirements Engineering
• Traceability and Impact analysis
• Embedded systems modeling
• Code & document generation
7. What is SysML ?
• Used for Systems
Engineering Modeling
• Provides high level view
of system and sub
systems
• Enable requirements
analysis
`
8. What is MARTE ?
• Used for Embedded Systems
Modeling
• Can be compliment to SysML
• Introduces non functional
aspects such as related to
time, performance and
scheduling
• Hardware/Software concepts
9. Modelio System Architect Solution
Dedicated to System architects modeling with SysML, UML or BPMN and
carrying out Requirements based analysis
Modeling with UML, SysML and BPMN
Requirements Modeling
o Tabular editors
o import/export MS Excel & Word
Embedded Systems modeling via MARTE
Traceability Editor
Impact Analysis
Automatic Document Generation
Support for Collaborative activities
Dedicated
SysML editor
Traceability
Editor
10. Influence in European Research Area
Being used in several EU FP7 and ARTEMIS projects
for Embedded Systems Design
11. Modelio in MADES Project
(http://www.mades-project.org/)
Developed MADES methodology for
Avionics and surveillance based
embedded systems
Developed Demonstrator case study
related to an Anti Collision
Car Avoidance System
12. Modelio in MADES Project - Development of unique
SysML/MARTE user interface
13. Modelio in MADES Project - Development of unique
SysML/MARTE user interface
Diagram Palette
Diagram Explorer
MADES tab
14. Modelio in ENOSYS Project
(https://sites.google.com/a/enosys-project.eu/www/home)
High-level specification of embedded systems with UML,
SysML, MARTE. Application logic modeling with state
charts and action code.
Diagram Palette
FalconML
Launcher to
carry out high
level synthesis
ENOSYS
14
properties
16. Modelio in ENOSYS Project - C++ syntax checker
command for UML Class
C++ syntax checker command
17. Modelio in PRESTO Project Application Modelling
(www.presto-embedded.eu )
The PRESTO project aims at improving test-based embedded
systems development and validation, while considering the
constraints of industrial development processes.
18. Modelio in PRESTO Project – “Model Labelling”
Instrumentation UML Profile defined by THALES
Communications & Security
20. Modelio in PRESTO Project – PRESTO Host and
Target Execution
Instrumented
PRESTO
code on ARM
Cortex A9
PandaBoard
21. Modelio System Architect Solutions for increasing design
productivity in the three projects
Importing System requirements
Web model reports
Modelio, Impact Analysis
22. Research in SOFTEAM
Research areas
Standardization 15 years with OMG
15+
Research projects
Conferences
Open source
community
• System Engineering and Embedded Systems
• Software and Service Engineering
• Unified Modeling Language (UML), SoaML, CloudML
• System Engineering (SysML) and Real-time and Embedded
Systems (MARTE)
• 15+ European and national projects
• Recent FP7: MONDO, JUNIPER, ModaClouds,
OSSMETER, FITTEST, REMICS, PRESTO, MADES,
ENOSYS
• HiPEAC, ECMFA, RCIS, ServiceWave, DATE, ERTS2,
MDDay
•Modelio.org
23. Contacts
IT Services /
UML Tools
Research
Management
Standardization
Alessandra Bagnato
SOFTEAM
Alessandra.bagnato@softeam.fr
SOFTEAM R&D Web Site:
http://rd.softeam.com
Modelio Web Site :
http://www.modelio.org
24. THANKS FOR YOR ATTENTION
Q&A
For Open Source/Commercial Modelio Versions
See us at Softeam HiPEAC Industry Exhibit booth (with
live/video demo)
Links to models to be hosted at:
www.modeliosoft.com
www.modelio.org