-
Article
Guest editorial for the special section on MODELS 2021
-
Article
Open AccessAutomated generation of consistent models using qualitative abstractions and exploration strategies
Automatically synthesizing consistent models is a key prerequisite for many testing scenarios in autonomous driving to ensure a designated coverage of critical corner cases. An inconsistent model is irrelevant...
-
Article
Open AccessAutomated generation of consistent, diverse and structurally realistic graph models
In this paper, we present a novel technique to automatically synthesize consistent, diverse and structurally realistic domain-specific graph models. A graph model is (1) consistent if it is metamodel-compliant an...
-
Article
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime
The design of gas turbines is a challenging area of cyber-physical systems where complex model-based simulations across multiple disciplines (e.g., performance, aerothermal) drive the design process. As a resu...
-
Article
Open AccessMixed-semantics composition of statecharts for the component-based design of reactive systems
The increasing complexity of reactive systems can be mitigated with the use of components and composition languages in model-driven engineering. Designing composition languages is a challenge itself as both pr...
-
Article
Opportunities in intelligent modeling assistance
Modeling is requiring increasingly larger efforts while becoming indispensable given the complexity of the problems we are solving. Modelers face high cognitive load to understand a multitude of complex abstra...
-
Article
Open AccessDiversity of graph models and graph generators in mutation testing
When custom modeling tools are used for designing complex safety-critical systems (e.g., critical cyber-physical systems), the tools themselves need to be validated by systematic testing to prevent tool-specif...
-
Article
Open AccessDistributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
Smart cyber-physical systems (CPSs) have complex interaction with their environment which is rarely known in advance, and they heavily depend on intelligent data processing carried out over a heterogeneous and...
-
Chapter and Conference Paper
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
The automated generation of graph models has become an enabler in several testing scenarios, including the testing of modeling environments used in the design of critical systems, or the synthesis of test cont...
-
Article
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
The article “Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations”, written by Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró, was originally...
-
Article
Open AccessEnforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
Large-scale model-driven system engineering projects are carried out collaboratively. Engineering artefacts stored in model repositories are developed in either offline (checkout–modify–commit) or online (Goog...
-
Article
Open AccessThe Train Benchmark: cross-technology performance evaluation of continuous model queries
In model-driven development of safety-critical systems (like automotive, avionics or railways), well-formedness of models is repeatedly validated in order to detect design flaws as early as possible. In many i...
-
Article
Open AccessFoundations for Streaming Model Transformations by Complex Event Processing
Streaming model transformations represent a novel class of transformations to manipulate models whose elements are continuously produced or modified in high volume and with rapid rate of change. Executing stre...
-
Chapter and Conference Paper
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems
We present MoDeS3, a complex research demonstrator illustrating the combined use of model-driven development, formal verification, safety engineering and IoT technologies for smart and safe cyber-physical syst...
-
Chapter and Conference Paper
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
In safety-critical cyber-physical systems (CPS), a service failure may result in severe financial loss or damage in human life. Smart CPSs have complex interaction with their environment which is rarely known ...
-
Chapter
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
Automated model generation can be highly beneficial for various application scenarios including software tool certification, validation of cyber-physical systems or benchmarking graph databases to avoid tediou...
-
Chapter and Conference Paper
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
The validation of modeling tools of custom domain-specific languages (DSLs) frequently relies upon an automatically generated set of models as a test suite. While many software testing approaches recommend tha...
-
Article
Formal validation of domain-specific languages with derived features and well-formedness constraints
Despite the wide range of existing tool support, constructing a design environment for a complex domain-specific language (DSL) is still a tedious task as the large number of derived features and well-formedne...
-
Chapter and Conference Paper
Formalising openCypher Graph Queries in Relational Algebra
Graph database systems are increasingly adapted for storing and processing heterogeneous network-like datasets. However, due to the novelty of such systems, no standard data model or query language has yet eme...
-
Chapter and Conference Paper
Graph Constraint Evaluation over Partial Models by Constraint Rewriting
In the early stages of model driven development, models are frequently incomplete and partial. Partial models represent multiple possible concrete models, and thus, they are able to capture uncertainty and pos...
