0

Temporal Models on Time Series Databases

With the emergence of Cyber-Physical Systems (CPS), several sophisticated runtime monitoring solutions havebeen proposed in order to deal with extensive execution logs. One promising development in this respect is the integration oftime series …

Sensyml: Simulation Environment for large-scale IoT Applications

IoT systems are becoming an increasingly important component of the civil and industrial infrastructure. With the growth of these IoT ecosystems, their complexity is also growing exponentially. In this paper we explore the problem of testing and …

22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019

This joint volume of proceedings gathers together papers from the satellite and collocated events with MODELS 2019 including the workshops (listed below), Educators and Doctoral Symposia, and Posters and Tools & Demonstrations sessions. These events …

A Feature-Based Classification of Formal Verification Techniques for Software Models

Contents for a Model-Based Software Engineering Body of Knowledge

Although Model-Based Software Engineering (MBE) is a widely accepted Software Engineering (SE) discipline, no agreed-upon core set of concepts and practices (i.e., a Body of Knowledge) has been defined for it yet. With the goals of characterizing the …

How do we teach Modelling and Model-Driven Engineering? A survey

Towards a Body of Knowledge for Model-Based Software Engineering

CPS/IoT Ecosystem: A Platform for Research and Education

The CPS/IoT Ecosystem project aims to build an IoT infrastructure that will be used as a platform for research and education in multiple disciplines related to CPS and IoT. The main objective is to provide a real-world infrastructure, and allow …

A Systematic Review of Cloud Modeling Languages

Modern cloud computing environments support a relatively high degree of automation in service provisioning, which allows cloud service customers (CSC) to dynamically acquire services required for deploying cloud applications. Cloud modeling languages …

Model-Driven Time-Series Analytics