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: ECSEL Joint Undertaking
Program: Horizon 2020
Název česky
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ů
Typ
grant
Abstrakt
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ů.
Řešitelé
Smrž Pavel, doc. RNDr., Ph.D.
(UPGM FIT VUT)
, hlavní řešitel
Zemčík Pavel, prof. Dr. Ing. (UPGM FIT VUT) , spoluřešitel
Zemčík Pavel, prof. Dr. Ing. (UPGM FIT VUT) , spoluřešitel
Publikace
2019
- SADOVYKH Andrey, TRUSCAN Dragos, PIERINI Pierluigi, WIDFORSS Gunnar, ASHRAF Adnan, BRUNELIERE Hugo, SMRŽ Pavel, BAGNATO Alessandra, AFZAL Wasif a HORTELANO Alexandra E. 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, s. 498-503. ISBN 978-3-9819263-2-3. Detail
2018
- AFZAL Wasif, BRUNELIERE Hugo, DI Ruscio Davide, SADOVYKH Andrey, MAZZINI Sylvia, CARIOU Eric, TRUSCAN Dragos, CABOT Jordi, FIELD Daniel, POMANTE Luigi a 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, s. 494-501. ISBN 978-1-5386-2146-2. Detail
- 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 a 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, roč. 61, č. 9, 2018, s. 86-95. ISSN 0141-9331. Detail
2017
- FAJČÍK Martin, SMRŽ Pavel a ZACHARIÁŠOVÁ Marcela. 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, s. 15-20. ISBN 978-1-5386-3351-9. Detail