Scientific publications

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.

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 high-tech equipment industry is adopting approaches like Model-Based Systems Engineering (MBSE) and Scaled Agile Framework (SAFe) to improve their practices. Instantiations of these approaches do not necessarily align across disciplines. Given the importance of software aspects in systems, the interplay between software and other engineering disciplines should be carefully addressed.

The inherently unreliable communication infrastructure compel WSN protocols to employ error control mechanisms. Traditionally, error control is achieved by a retransmission scheme using acknowledgment mechanisms. WSN architectures are severely resource constrained and the additional energy expense of transmitting error control messages can seriously degrade network lifetime.

Wireless Body Area Networks (WBANs) have characteristic properties that should be considered for designing a proper network architecture. Movement of on-body sensors, low quality and time-variant wireless links, and the demand for a reliable and fast data transmission at low energy cost are some challenging issues in WBANs.

Warehouses play a critical role in supply chains: they are responsible for the distribution of goods of many suppliers to many customers. Because of increasing customer demands, warehouse processes are becoming too complex to be controlled optimally by their traditional centralised control systems. Several results in the literature show that decentralised controllers are a viable alternative.

Peer-to-peer botnets, as exemplified by the Storm Worm, and the spreading phase of Stuxnet, are a relatively new threat to security on the internet: infected computers automatically search for other computers to be infected, thus spreading the infection rapidly. In a recent paper, such botnets have been modeled using Stochastic Activity Networks, allowing the use of discrete-event simulation to judge strategies for combating their spread.

The quality of the communication links in a Wireless Sensor Network often shows significant asymmetry and variation over time, due to, for example, heterogeneous settings of the transmission power, moving nodes or chang- ing external interference. This makes it difficult for nodes to accurately maintain system-level properties, such as the minimum-energy path from the node to a given reference node, as required by many protocols.

In many applications of Wireless Sensor Networks (WSNs), heterogeneity is a common property in terms of different sensor types and different circumstances like node location, link quality, and local node density. In many applications, there are several different sensor types with entirely different Quality-ofService (QoS) requirements.

Synthesizing an implementation from a model in a predictable way is one of the major challenges in real-time systemdesign. In our previous work we addressed this problem by generating in real-time an execution path through a modeland by synchronizing the model time with the physical time. The execution path as observed in model time has a timedifference with the execution path as observed in physical time.