Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Tue 23-Jul-24 . 13:45

Web Map



Santander Info

GIM>Research>project>ECSEL 737494-2 MegaM...
 ECSEL 737494-2 MegaMart2
   Select this link to see PUBLICATIONS within this project
Title:ECSEL 737494-2 MegaMart2
Payer:H2020 & MinEco 
Partners:Softeam, Thales, Smarttesting, ClearSy, Armines, Univ. Pau, Atos, Univ. Oberta de Catalunya, Schneider Electric, Ikerlan, Fentiss, Tekne, Univ. degli Studi dell’Aquila, Intecs, Ro Tech., Abo Univ., Ainacom, Space Systems, Nokia, VTT, Conformiq, Bombardier 
Budget:361344€ Years, begin:2017  end:2020 
Director:Eugenio Villar 
R&D Lines: Design and verification of HW/SW embedded systems
Staff: Eugenio Villar
Héctor Posadas
Description:MegaM@Rt will create a framework incorporating methods and tools for continuous development and validation leveraging the advantages in scalable model-based methods to provide benefits in significantly improved productivity, quality and predictability of large and complex industrial systems.
European industry faces stiff competition on the global arena. The electronic systems become more and more complex and call for modern engineering practices to tackle productivity and quality. The model-driven technologies promise significant productivity gains, which have been proven in several studies. However, these technologies need more development to scale for real-life industrial projects and provide advantages in runtime. MegaM@Rt brings the model-driven engineering to the next level in order to help European industry to reduce development and maintenance costs as well as to reinforce productivity and quality.
The specific scientific and technological objectives include development of:
a) scalable methods and tools for modelling of functional and non-functional properties such as performance, consumption, security and safety with mechanisms for representation of results of runtime analysis.
b) scalable methods and tools for application validation at runtime including scalable methods for models@runtime, verification and online testing.
c) infrastructure for efficient handling and management of numerous, heterogeneous and large models potentially covering several functional and non-functional domains.
d) holistic traceability
1) capable to link and manage models and their elements from different tools as well as
2) suitable for large distributed cross-functional working teams.
e) specific demonstrators and validate MegaM@Rt technologies through 10 complementary industrial case studies.  

© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster