MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems.

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ů

grant

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.

Smrž Pavel, doc. RNDr., Ph.D. (UPGM FIT VUT) , research leader
Zemčík Pavel, prof. Dr. Ing. (UPGM FIT VUT) , team leader