Scalable model-based framework for continuous development and runtime validation of complex 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@Rt2 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: – 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. – scalable methods and tools for application validation at runtime including scalable methods for models@runtime, verification and online testing. – infrastructure for efficient handling and management of numerous, heterogeneous and large models potentially covering several functional and non-functional domains. – holistic traceability — capable to link and manage models and their elements from different tools — suitable for large distributed cross-functional working teams. -specific demonstrators and validate MegaM@Rt technologies through 10 complementary industrial case studies.
