Department of Computer Systems
MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems
|Czech title:||MegaModelování v době běhu - škálovatelný rámec založený na modelu pro plynulý vývoj a ověřování v době běhu komplexních systémů|
|Research leader:||Smrž Pavel|
|Team leaders:||Zemčík Pavel|
|Agency:||ECSEL Joint Undertaking - Horizon 2020|
|Keywords:||Systems engineering, Simulation and design tools, Software design validation and maintenance, Embedded systems, Model-based System Engineering, Model-based Testing, Models@Runtime, Megamodelling, Runtime verification, Runtime validation, Online testing, Traceability, Continuous development.|
|European industry faces stiff competition on the global arena. Electronic Components and Systems become more and more
complex, thus calling for modern engineering practices to be applied in order to better tackle both productivity and quality.
Model-based technologies promise significant productivity gains, which have already been proven in several studies and
applications. However, these technologies still need more enhancements to scale up for real-life industrial projects and to
provide more benefits in different contexts.
The ultimate objective of improving productivity, while reducing costs and ensuring quality in development, integration and
maintenance, can be achieved by using techniques integrating seamlessly design time and runtime aspects. Industrial scale
system models, which are usually multi-disciplinary, multi-teams and serving to several product lines have to be be exploited
at runtime, e.g. by advanced tracing and monitoring, thus boosting the overall quality of the final system and providing
lessons-learnt for future product generations. MegaM@Rt brings model-based engineering to the next level in order to help
European industry reducing development and maintenance costs while reinforcing both productivity and quality.
To achieve that, MegaM@Rt will create a framework incorporating methods and tools for continuous development and
runtime validation to significantly improve productivity, quality and predictability of large and complex industrial systems.
MegaM@Rt addresses the scalability challenges with advanced megamodelling and traceability approaches, while runtime
aspects will be tackled via so-called "models@runtime", online testing and execution traces analysis.
MegaM@Rt brings together a strong international consortium involving experts from France, Spain, Italy and Finland. The
partners cover the whole value chain from research organizations to tool providers, including 9 end-users with large
industrial case studies for results validation.|
|2018||AFZAL Wasif, BRUNELIERE Hugo, DI Ruscio Davide, SADOVYKH Andrey, MAZZINI Sylvia, CARIOU Eric, TRUSCAN Dragos, CABOT Jordi, FIELD Daniel, POMANTE Luigi and SMRŽ Pavel. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. In: Proceedings of the Euromicro Conference on Digital System Design (DSD). Vienna: IEEE Computer Society, 2018, pp. 494-501. ISBN 978-1-5386-2146-2.|
| ||AFZAL Wasif, BRUNELIERE Hugo, DI Ruscio Davide, SADOVYKH Andrey, MAZZINI Sylvia, CARIOU Eric, TRUSCAN Dragos, CABOT Jordi, GÓMEZ Abel, GORRONOGOITIA Jesús, POMANTE Luigi and SMRŽ Pavel. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. Microprocessors and Microsystems. Amsterdam: Elsevier Science, 2018, vol. 61, no. 9, pp. 86-95. ISSN 0141-9331.|
|2017||FAJČÍK Martin, ZACHARIÁŠOVÁ Marcela and SMRŽ Pavel. Automation of Processor Verification Using Recurrent Neural Networks. In: 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV). Austin, Texas: Institute of Electrical and Electronics Engineers, 2017, pp. 15-20. ISBN 978-1-5386-3351-9.|