After 6 months of work, the first deliverable of Work Package 3 – MegaM@Rt Runtime Analysis has been released and published on the website. WP3 focuses on defining new methods and tools for creating and managing models at runtime. These methods should be able to use large specifications, should incorporate means for traceability of requirements, and should allow performance-efficient runtime verification, test generation and analysis of execution and test/verification logs.
“While researchers put a lot of effort into the development of monitoring, adaptation, and synchronization mechanisms, we think that there is a strong need for process-related enhancements when designing and implementing systems which are augmented by runtime models……We believe that a tool-assisted selection of architectures, techniques, kinds of models, and testing mechanisms would boost the development and adoption of applications using models at runtime.”
This first deliverable, Deliverable D3.1 – Foundations for Model-based Runtime Analysis Methods, has the goal to provide a succinct overview of the state-of-the-art and accompanying tool support for model-based runtime methods and technologies in order to support the innovation tasks of WP3. Throughout the deliverable, we highlight limitations and potential for improvement of current methods that will be investigated in the MegaMa@Rt2 project.
The content of the deliverable is organized around four main topics
- Automated code and model generation for runtime – techniques for obtaining some parts of the final and running system directly and automatically from design models, including using aspect-oriented methods.
- Runtime verification and Online testing – how the behavior of the system can be monitored and validated with respect to different properties
- Runtime trace analysis – with emphasis not only on monitoring solutions for both hardware and software systems, but also method for analysis, prediction and debugging of test execution.
- Model-based system monitoring through “models@run.time” – discussing how models can be used during the execution of software systems to make decisions and drive the behavior of the system.
The D3.1 deliverable also includes a preliminary list of relevant methods and tools provided by the MegaM@Rt2 project partners as baseline technologies in the project. The deliverable is over 60 pages long so make sure you take a closer look to the lots of runtime models knowledge we have summarized there!.