Detail projektu
MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems.
Období řešení: 1. 4. 2017 – 31. 3. 2020
Typ projektu: grant
Kód: 737494
Agentura: Evropská unie
Program: Horizon 2020

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.
Projekt MegaM@Rt vytvoří rámec zahrnující metody a nástroje pro plynulý vývoj
a ověřování v době běhu, které zásadním způsobem zvýší produktivitu, kvalitu
a předpověditelnost výsledků velkých a komplexních systémů.
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (UPGM)
2018
- AFZAL, W.; BRUNELIERE, H.; DI RUSCIO, D.; SADOVYKH, A.; MAZZINI, S.; CARIOU, E.; TRUSCAN, D.; CABOT, J.; FIELD, D.; POMANTE, L.; SMRŽ, P. 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.
p. 494-501. ISBN: 978-1-5386-2146-2. Detail - AFZAL, W.; BRUNELIERE, H.; DI RUSCIO, D.; SADOVYKH, A.; MAZZINI, S.; CARIOU, E.; TRUSCAN, D.; CABOT, J.; GÓMEZ, A.; GORRONOGOITIA, J.; POMANTE, L.; SMRŽ, P. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. Microprocessors and Microsystems, 2018, vol. 61, no. 9,
p. 86-95. ISSN: 0141-9331. Detail
2017
- FAJČÍK, M.; SMRŽ, P.; ZACHARIÁŠOVÁ, M. Automation of Processor Verification Using Recurrent Neural Networks. In 18th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV). Austin, Texas: Institute of Electrical and Electronics Engineers, 2017.
p. 15-20. ISBN: 978-1-5386-3351-9. Detail