Scientific publications

Synthesis-based engineering (SBE) provides assistance needed to manage the complexity of guaranteeing safe control, by combining model-based engineering with computer-aided design. It builds on the synthesis procedure computing a correctby-construction controller from models of the to-be-controlled system and associated requirements.

Preference for noise reduction (NR) strength differs between individuals. The purpose of this study was (1) to investigate whether hearing loss influences this preference, (2) to find the number of distinct settings required to classify participants in similar groups based on their preference for NR strength, and (3) to estimate the number of paired comparisons needed to predict to which preference group a participant belongs.

Designing and maintaining robust interfaces for software components of component-based systems is a challenging task. To address this issue, TNO-ESI and Philips have employed model-driven engineering techniques by creating ComMA (Component Modelling and Analysis Suite), a framework that has been successfully used in the industry.

The diagnosis of complex systems benefits greatly from a differential, multistep approach that narrows down the list of possible conditions or failures that share the same observable effects to a single root cause. We provide a suitable and practically applicable methodology for this. In extension to existing work, it covers all types of diagnostic actions, i.

The target of the Vraaggestuurde Programma (VP) ESI is to drive advances in high-tech systems development by embedding cutting-edge engineering methodologies in the Dutch high-tech systems industry to cope with the ever-increasing complexity of their products: (i) creating impactful and industrially applicable methodologies and (ii) providing support to the high-tech industry to apply the results.

Model-Based Systems Engineering (called MBSE) promises streamlined communication, single-source information sharing, design automation, and tool support, which leads to improved project performance. It includes de-risking integration challenges, when sub-systems are combined for the future integration into a system-of-systems (SoS).

Switching max-plus linear system (SMPLS) models are an apt formalism for performance analysis of discrete-event systems. SMPLS analysis is more scalable than analysis through other formalisms such as timed automata, because SMPLS abstract pieces of determinate concurrent system behavior into atomic modes with fixed timing.

Companies operate invariably in an ecosystem of suppliers and competitors. For such companies, business strategies require a careful product portfolio positioning on basis of market differentiators. Relating business strategy to consequences on product architectures and components requires due-diligence analysis on how products function and their essential qualities in relation to the market differentiators looked for.

Model-based testing (MBT) offers the possibility of automatic generation and execution of tests. However, it is not yet widely used in industry due to the difficulty in creating and maintaining models. On the other hand, Behavior Driven Development (BDD) is becoming more popular in the agile development process to achieve a common understanding of the system under development among stakeholders and to automate testing.

In a constantly changing world, developers need to analyze and transform their code to keep it up-to-date and valuable. Currently, analysis and transformation is a time-consuming and largely manual activity. The Renaissance approach aims to enhance insight by analysis and to reduce complexity by transformation.