Activities per year
Scalable model-based framework for continuous development and runtime validation of complex systemsEuropean 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.
- France: SOFTEAM, Thalès, ClearSy, Smartesting, ARMINES, Uni. Pau
- Spain: ATOS, Schneider Electric, fentISS, Uni. Cantabria, Uni. Oberta de Catalunya / ICREA, IKERLAN
- Italy: TEKNE, Uni. Aquila, Intecs, Ro Technology
- Finland: Åbo Akademi Uni, AinaCom, Space Systems Finland, Nokia, VTT, Conformiq
- Sweden: Mälardalen Uni, SICS, Bombardier, Volvo CE
- Check Republic: Brno University, Camea
|Effective start/end date||01/04/17 → 31/03/20|
- ECSEL JU: €691,196.69
- model-based testing
- model-based design
- test generation
- runtime analysis
- test automation
- 1 Organising a conference, workshop, ...
4th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
Mehrdad Saadatmand (Chair), Dragos Truscan (Chair) & Eduard Paul Enoiu (Chair)24 Oct 2020
Activity: Participating in or organising an event › Organising a conference, workshop, ...
Enabling Fast Exploration and Validation of Thermal Dissipation Requirements for Heterogeneous CPU PlatformsÖhrling, J., Truscan, D. & Lafond, S., 2021, IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2021. IEEE
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-reviewOpen AccessFile2 Downloads (Pure)
Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software DevelopmentTruscan, D., Ahmad, T. & Tran, C., 2020, Frontiers in Software Engineering Education. Bruel, J., Capozucca, A., Mazzara, M., Meyer, B., Naumchev, A. & Sadovykh, A. (eds.). Springer, p. 310–323
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Tran, C., Truscan, D. & Ahmad, T., 2020, 6th International Conference on Higher Education Advances (HEAd’20). Domenech, J., Merello, P., de la Poza, E. & Peña-Ortiz, R. (eds.). Universitat Politècnica de València Press, p. 1155–1163
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-reviewOpen AccessFile1 Citation (Scopus)4 Downloads (Pure)