The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

The increasing complexity of embedded systems renders software verification more
complex, requiring monitoring and formal techniques, like model-checking. However, to use …

To accurately make adaptation decisions, a self-adaptive system needs precise means to
analyze itself at runtime. To this end, runtime verification can be used in the feedback loop to …

We present a model-based architecture for monitoring executions of models of real-time and
embedded systems. This architecture is highly configurable and allows for the combination …

Embedded systems are more and more connected to a variety of networks, which increases
their attack surface. At the same time, more and more objects are augmented with …

Abstract The Systems Modeling Language (SysML) represents a significant and increasing
segment of industrial support for building critical systems. The Object Management Group …

La complexité croissante des systèmes embarqués les expose à davantage de bogues
logiciels, d'erreurs de conception et de failles de sécurité. Les besoins en vérification et en …

This paper presents a UML implementation of the MDETools' 19 challenge problem with EMI
(our Embedded/Experimental Model Interpreter). EMI is a model interpreter that can be used …

Functional integration of human cognition and machine reasoning is an industry-wide
problem where failure risks health or safety. Differences in human versus machine …

To design embedded systems, multiple models of their environments are typically required
for different purposes such as simulation, verification, and actual execution. Some of these …