—This paper describes a model-based test generation approach for testing autonomous systems interacting with their environment (i.e., world). Unlike other approaches that assume ...
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
—Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, ...
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel...
Abstract. Today’s industrial product lines in the automotive and construction equipment domain face the challenge to show functional safety standard compliance and argue for the ...
Abstract. Multi-level meta-modeling hinges on the precise conceptualization of the instantiation relation between elements of the meta-model and the model. In this paper, we propos...
— Model-Driven Security (MDS) for secure systems development still has limitations to be more applicable in practice. A recent systematic review of MDS shows that current MDS app...
Phu Hong Nguyen, Koen Yskout, Thomas Heyman, Jacqu...
Domain Specific Modeling Languages (dsmls) plays a key role in the development of Safety Critical Systems to model system requirements and implementation. They often need to integ...
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, M...
—To keep a DSL clean, readable and reusable in different contexts, it is useful to define a separate tagging language. A tag model logically adds information to the tagged DSL ...
Timo Greifenberg, Markus Look, Sebastian Roidl, Be...
The model-driven software development (MDSD) vision has booked significant advances in the past decades. MDSD was said to be very promising in tackling the “wicked” problems o...