IntegrationDistiller: Automating Integration Analysis and Testing of...
Introduction to IntegrationDistiller, a new automated solution to help in the testing of component integration scenarios, by Mehrdad Saadatmand. The paper has been published at the IEEE International...
View ArticleSantander hosts, on October 2 and 3, the 6th Plenary Meeting of the MegaM@Rt2...
The Santemar hotel in Santander, Spain, will be the meeting point for the 6th Plenary Meeting of the MegaM@Rt2 event, A scalable model-based framework for continuous development and runtime validation...
View ArticleTRILATERAL: Software Product Line based Multidomain IoT Artifact Generation...
Internet of Things (IoT) devices are usually advanced embedded systems that require functionalities monitoring and control. The design, development and validation of these devices is complex, even more...
View ArticleOn the Use of Hackathons to Enhance Collaboration in Large Collaborative...
The paper On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects – A Preliminary Case Study of the MegaM@Rt2 EU Project by A. Sadovykh, D. Truscan, P. Pierini, G. Widforss,...
View ArticleMegaM@rt2 presents in EFECS Event in Helsinki its new proposal: AIDOaRt, an...
Helsinki was the official venue for the EFECS event where MegaM@rt2 was represented by the Finnish and Swedish and Spanish consortium. The 19,20 and 21 of November in the Finish capital, the partners...
View ArticleAutomating Performance Antipattern Detection and Refactoring in UML Models
Performance-driven software evolution presents a high complexity due to two causes: (i) performance is a quality attribute that emerges from the combination of different factors (e.g., workload,...
View ArticleHierarchical Block Diagram Translations
Hierarchical block diagrams (HBDs) are at the heart of embedded system design tools, including Simulink. Numerous translations exist from HBDs into languages with formal semantics, amenable to formal...
View ArticleMegaM@Rt2 will host a hackathon about modelling and traceability, runtime...
MegaM@Rt2 is a European project involving 27 organizations, grouped in clusters from 6 different countries. Its main aim is providing a series of software modelling tools that help organizations to...
View ArticleExploratory Performance Testing Using Reinforcement Learning
Due to the widespread availability of high-speed Internet, the level of expectation of the users with respect to the performance of web-based software systems has changed dramatically. For instance,...
View ArticleMATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML...
Papyrus is a Unified Modeling Language (UML) modeling tool for the Eclipse Modeling Framework and provides tool support for executable UML modeling. It includes technologies for the simulation and...
View Article