News from the MegaM@Rt2 Project
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models
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 debugging of models, as well as editing facilities to produce...
Exploratory Performance Testing Using Reinforcement Learning
Two-thirds of the performance bottlenecks are triggered only on specific input values. Finding those values is a very challenging task. We use reinforcement learning to help you on this.
MegaM@Rt2 will host a hackathon about modelling and traceability, runtime analysis and systems engineering
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 improve their productivity and the quality of their results. The...
Hierarchical 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 verification. However, none of these translations has been proven...
Automating Performance Antipattern Detection and Refactoring in UML Models
PADRE (Performance Antipattern Detection and REfactoring) is a tool for detection and removal of performance antipatterns on UML models.
MegaM@rt2 presents in EFECS Event in Helsinki its new proposal: AIDOaRt, an AI-augmented automation for efficient DevOps Copy
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 showed the new steps that MegaM@rt2 project is going to follow and...