Scientific publications

We combine Behavior-Driven Development (BDD) and formal Model-Based Testing (MBT), to benefit from the smooth collaboration among stakeholders in BDD, and from automated testing with precise test cases in MBT. However, textual BDD scenarios written in natural language are not sufficient for formal MBT, as they might be ambiguous and lack the required information for testing.

In today’s digital society, diverse computing de-vices-from edge devices to data centers-support various applications, each with specific performance and energy characteristics. Analyzing application energy consumption is crucial for improving energy efficiency, optimizing resources, and reducing environmental impact.

This is the artifact accompanying the paper: Dennis Hendriks and Wytse Oortwijn, "gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior", submitted to the International Journal on Software and Systems Modeling (SoSyM) in 2024. This artifact includes all models, code and scripts needed to reproduce the results from the paper.

Large, complex systems are often divided into components. As these systems and their software inevitably evolve, engineers must understand the (communication) behavior of the software to properly change it, and understand the impact of their changes to prevent costly regressions and reduce risks. Creating an overview of the software behavior is challenging, time-consuming and error-prone, even with the available code, tests and documentation.

Supervisor synthesis is a means to algorithmically derive a supervisory controller from a discrete-event model of a system and a requirements specification. For large systems, synthesis suffers from state space explosion. To mitigate this, synthesis can be applied to a symbolic representation of the models by using Binary Decision Diagrams (BDDs).

For software maintenance and evolution, insight into the codebase is crucial. One way to enhance insight is the application of static analysis to extract and visualize program-specific relations from the code itself, such as call graphs and inheritance trees. Yet, software often contains in-house libraries: unique, domain-specific libraries whose usage is typically scattered throughout the codebase.

The systems being developed by the high-tech industry do not operate in isolation. They are combined with other systems to provide value to their owners. This report is concerned with an important type of systems of systems of which high-tech systems are a part, namely manufacturing systems (of systems).

The Systems Modeling Language (SysML) is a widely used standard for systems engineering, supported by INCOSE and OMG, that provides tools for specifying system structure and behavior through diagrams like block diagrams, use cases, and state machines. The upcoming release of SysML v2 introduces significant improvements, including a graphical and textual syntax, a standardized API for model exchange, and enhanced extensibility for domain-specific extensions.