Scientific publications

The high-tech equipment industry is undergoing significant socio-technological transformations that will impact system engineering practices across the entire product lifecycle. This document outlines a vision for lifecycle excellence of high-tech equipment, focusing on quality assurance, diagnostics, sustainability, and supply chain management.

The energy transition in the Netherlands aims to achieve net zero greenhouse gas emissions by 2050. Over the next 10 years, network operators will be tasked with increasing the capacity of the electricity grid by a factor of roughly 5. The main challenges in this regard are as follows:1. Land acquisition: Finding and acquiring suitable land for infrastructure expansion is challenging due to limited space and competing interests.

When engineering complex cyber-physical systems, the interplay between Systems Engineering (SE) and Software Engineering (SWE) is often perceived as a practical challenge. Common symptoms include issues with emergent behavior and system qualities in (integrated) products, as well as errors, rework, and performance problems.

A broad spectrum of scientific software engineering research can benefit from the use of precise component descriptions. CommaSuite1 is an open-source research tool designed to support the specification and design of software interfaces and components (Kurtev et al., 2024). It utilizes DSLs (Domain Specific Languages) to model interface and component behavior in an implementation technology agnostic notation.

This report documents the second phase of the MBSE study conducted by TNO-ESI and its partners, focusing on the deployment and added value of Model-Based Systems Engineering (MBSE) in the Dutch high-tech equipment industry. MBSE is increasingly adopted as a means to improve systems engineering effectiveness.

Recently, hybrid Petri nets with a single general one-shot transition (HPnGs) have been introduced together with an algorithm to analyze their underlying state space using a conditioning/deconditioning approach. In this paper we propose a considerably more efficient algorithm for analysing HPnGs. The proposed algorithm maps the underlying state-space onto a plane for all possible ring times of the general transition s and for all possible systems times t.

This paper presents an approach to construct execution views, which are views that describe what the software of a software-intensive system does at runtime and how it does it. The approach represents an architecture reconstruction solution based on a metamodel, a set of viewpoints, and a dynamic analysis technique.

Due to the increasing scarcity of human operators and the fast development of technology, there is a trend towards higher levels of automation in warehouses. The increased automation level results in a large warehouse complexity and a correspondingly large warehouse design effort. To support the warehouse designer in his effort, Vanderlande Industries and the Embedded Systems Institute started the Falcon project in October 2006.

Large Language Models (LLMs) have transformed code assistants by enabling personalization, interactivity, and higher abstraction. However, these assistants often struggle with a common limitation; they generate responses based on a limited set of relevant code snippets retrieved from the codebase using semantic similarity search.

The performance and dependability of critical infrastructures, such as water-treatment facilities is essential. In this paper we use various performance and dependability measures to analyze a simplified model of a water treatment facility. Building on the existing architectural framework Arcade a model is derived in XML format and then automatically mapped to the model checker PRISM Using the stochastic model checking capabilities that PRISM offers, we compare different repair strategies, with respect to their costs, system reliability, availability and survivability.