Embed Size (px)
DESCRIPTION
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.
Citation preview
Modelio: Solutions for Embedded Systems
and Software @ HiPEAC 2014, Industrial session
Alessandra Bagnato, Softeam R&D
Vienna, 21st January 2014
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 !!
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/
20 ME
2006
17,5 ME
2005
60 ME
2012
Paris Rennes Nantes
Sophia
SOFTEAM – French IT services / Software vendor
• SOFTEAM
20 Years experience 700 experts Regular growth
• Specialist in OO technologies, new architectures, methodologies
• Finance, Banking, Insurance, Telecom, Media and Services industries.
23 ME
2008
Modelio for Software and System Engineering
• Modelio UML editor with more than 20 years’ history o SysML
o MARTE
o Code generation
o Documentation
o Teamwork
o World Wide Modeling, Distribute and share models on the web
• Available under: Modelio.org Modeliosoft.com
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
What is SysML ?
• Used for Systems Engineering Modeling
• Provides high level view of system and sub systems
• Enable requirements analysis
`
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
Modelio System Architect Solution
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 to System architects modeling with SysML, UML or BPMN and carrying out Requirements based analysis
Traceability Editor
Dedicated SysML editor
Influence in European Research Area
Being used in several EU FP7 and ARTEMIS projects for Embedded Systems Design
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
Modelio in MADES Project - Development of unique SysML/MARTE user interface
Diagram Explorer
MADES tab
Diagram Palette
Modelio in MADES Project - Development of unique SysML/MARTE user interface
Modelio in ENOSYS Project (https://sites.google.com/a/enosys-project.eu/www/home)
14
FalconML
Launcher to
carry out high
level synthesis
ENOSYS
properties
Diagram Palette
High-level specification of embedded systems with UML, SysML, MARTE. Application logic modeling with state charts and action code.
Modelio in ENOSYS Project – UML State Machines 2 C++ generation
Modelio in ENOSYS Project - C++ syntax checker command for UML Class
C++ syntax checker command
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.
Modelio in PRESTO Project – “Model Labelling”
Instrumentation UML Profile defined by THALES
Communications & Security
Modelio in PRESTO Project – PRESTO Instrumented code generation
Modelio in PRESTO Project – PRESTO Host and Target Execution
Instrumented
PRESTO
code on ARM
Cortex A9
PandaBoard
Modelio System Architect Solutions for increasing design productivity in the three projects
Modelio, Impact Analysis
Importing System requirements
Web model reports
Research in SOFTEAM
• System Engineering and Embedded Systems
• Software and Service Engineering Research areas
• Unified Modeling Language (UML), SoaML, CloudML
• System Engineering (SysML) and Real-time and Embedded Systems (MARTE)
Standardization - 15 years with OMG
• 15+ European and national projects
• Recent FP7: MONDO, JUNIPER, ModaClouds, OSSMETER, FITTEST, REMICS, PRESTO, MADES, ENOSYS
15+ Research projects
• HiPEAC, ECMFA, RCIS, ServiceWave, DATE, ERTS2, MDDay
Conferences
•Modelio.org Open source community
Contacts
Alessandra Bagnato
SOFTEAM
SOFTEAM R&D Web Site:
http://rd.softeam.com
Modelio Web Site :
http://www.modelio.org
IT Services / UML Tools
Research
Management
Standardization
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
M o d e l i n g s o l u t i o n s.
