Abortion Clinic In Springs ](+27832195400*)[ 🏥 Safe Abortion Pills in Springs...
Mega m@rt decps_presentation final
1. The MegaM@Rt Approach
DeCPS Workshop
16 June 2017, Vienna, Austria
Silvia Mazzini (Intecs Solutions)
Hugo Bruneliere (ARM)
Andrey Sadovykh (SOFTEAM)
2. Outline
▪ European dimension
▪ Mission
▪ Technical innovation
▪ Business value chain
▪ Overall approach
▪ Work packages
▪ Phases
▪ Preliminary developments
2
3. European dimension
3
Project Coordinator
Gunnar Widforss
Institution
MAELARDALENS HOEGSKOLA
Email
gunnar.widforss@mdh.se
Website
https://megamart2-ecsel.eu/
Start & Duration
1-4-2017 36
Total investment
16,5 €M
Participating organisations
27
Number of countries
6
4. Mission
▪ To create a framework incorporating methods and tools for continuous
system engineering and validation, leveraging on
• Scalability to support real world scenarios implied by the full deployment and use
of complex electronic components & systems
• Efficient traceability, integration and communication between two fundamental
system levels: design time and runtime, especially for verification and validation of
non-functional properties
4
Challenges:
Boosting productivity
Costs reductions
Ensuring quality and safety
5. Technical Innovation
▪ Scale up the use of model-based
techniques
▪ Provide efficient traceability
support between design time
and runtime models
▪ Collect and analyse runtime
information to provide feedback
to design phase
▪ Validate the designed and
developed approach in concrete
industrial cases involving
complex systems
▪ Deploy a scalable mega-
modelling approach to manage
• different models, workflows &
configurations
• large diversity in terms of
nature, number, size &
complexity
5
6. Business value chain
6
MegaM@Rt2 brings together tool vendors and research
organisations with state-of-the-art methods and tools to
be validated in highly relevant European industrial case
studies.
8. Work packages
8
WP3: MegaM@Rt Runtime
Analysis (SMA)
1. Foundations (ABO)
2. Automatic code generation and model
execution for runtime (SOFT)
3. Runtime verification and online testing
(ABO)
4. Traces analysis (VTT)
5. Case studies support and feedback analysis
(SMA)
WP4: MegaM@Rt Global Model and Traceability
Management (ARM)
1. Foundations (ARM)
2. Scalable model management (ARM)
a. megamodelling
3. Scalable model-based techniques (ARM)
a. scalable transformations
b. iterative verification and validation
4. Traceability / Provenance (UAQ)
a. metamodels, formats
b. techniques for horizontal and vertical traceability
c. continuous development and patterns detect
5. Case studies support and feedback analysis (SOFT)
WP2: MegaM@Rt System Engineering (INT)
1. Foundations (UOC)
a. standard techniques, paradigms
b. collaborative modelling (DSLS, viewpoints, facets)
2. Systems modelling (INT)
a. Requirement,
b. Functional,
c. NFP
d. Platform-specific models (Software, Hardware Platform)
e. Integration of engineering practices
3. Verification and Validation (UCAN)
a. Static analysis
b. Simulation
4. Case studies support and feedback analysis (INT)
WP1: Case Study Requirements Analysis and Architecture Specification (TEK)
1. Case Study Requirements (TEK)
2. Case Study Definition (TRT)
3. Case Study Baseline Experiments (IKER)
4. Architecture and Roadmap (SOFT)
WP5: Integration, Case Study Development and Evaluation (NOK)
1. MegaM@Rt framework integration (ATOS)
2. Case Study Development (NOK)
3. Case Study Evaluation (NOK)
WP7:Management
WP6:DisseminationandExploitation