Log messages have been used widely in many software systems for a variety of purposes
during software development and field operation. There are two phases in software logging …

The Human Machine Teaming (HMT) paradigm focuses on supporting partnerships
between humans and autonomous machines. HMT describes requirements for …

Software vulnerabilities can affect critical systems within an organization impacting
processes, workflows, privacy, and safety. When a software vulnerability becomes known …

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

Runtime monitoring is critical for ensuring safe operation and for enabling self-adaptive
behavior of Cyber-Physical Systems (CPS). Monitors are established by identifying runtime …

Abstract Cyber–Physical Systems (CPS) are increasingly used in safety–critical scenarios
where ensuring their correct behavior at runtime becomes a crucial task. Therefore, the …

Abstract Executable Domain-Specific Languages (xDSLs) allow the definition and the
execution of behavioral models. Some behavioral models are reactive, meaning that during …

Ordering and replaying of execution traces of distributed systems is a challenging problem.
State-of-the-art approaches annotate the traces with logical or physical timestamps …

Live modeling has been recognized as an important technique to edit behavioral models
while being executed and helps in better understanding the impact of a design choice. In the …

The iterative and incremental nature of software development using models typically makes
a model of a system incomplete (ie, partial) until a more advanced and complete stage of …