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)
2019
- SADOVYKH, A.; TRUSCAN, D.; PIERINI, P.; WIDFORSS, G.; ASHRAF, A.; BRUNELIERE, H.; SMRŽ, P.; BAGNATO, A.; AFZAL, W.; HORTELANO, A. On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects. In Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Design Automation and Test in Europe Conference and Exhibition. New York: Institute of Electrical and Electronics Engineers, 2019.
p. 498-503. ISBN: 978-3-9819263-2-3. Detail
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