Scientific publications

Today’s complexity of high-tech systems makes diagnosing system failures a tough task for service engineers. Increasing product variability and fast market introduction of new generation systems prohibit the expertise build-up that served service engineers in the past. Traditionally, system knowledge is transferred to the service organization through service manuals and training.

Rijkswaterstaat staat voor een enorme uitdaging wat betreft vervangen en renovatie (VenR) van objecten. Momenteel behelst dit voor elk object maatwerk, wat flexibiliteit biedt, maar ook bijzonder inefficiënt is. Voor het specificeren, ontwerpen, realiseren en testen van veilige besturingssoftware voor het object werkt het programma Industriële Automatisering Sourcing (IAS) daarom aan standaardisatie.

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.

Applying Model-Driven Engineering can improve development efficiency. But gaining such benefits for legacy software requires models, and creating them manually is both laborious and error prone. Active automata learning has the potential to make it cost-effective, but practitioners face practical challenges applying it to software components of industrial cyber-physical systems.

In runtime verification, a monitor is used to return a Boolean verdict on the behavior of a system. We present several exaniples of the use of monitors to instead document system behavior. In doing so, we demonstrate how runtime verification can be combined with techniques from data science to provide novel forms of program analysis.

The ComMA language has been developed to specify interfaces of software components, including protocol state machines, time and data constraints, and constraints on relations between events of multiple interfaces. The language has been devised in close collaboration with an industrial partner where it has been used to model a large number of interfaces.

Model-based testing involves testing a system under test for conformance to a model that specifies its behaviour. An important aspect for model-based testing is the implementation relation that defines precisely when a system under test conforms to its model. The implementation relation ioco has often been used and studied in model-based testing when models are expressed as labelled transition systems, and there are tools implementing ioco-based test generation.

Industrial Cyber-Physical Systems (CPS) are complex heterogeneous and distributed computing systems, typically integrating and interconnecting a large number of subsystems and containing a substantial number of hardware and software components. Producers of these distributed Cyber-Physical Systems (dCPS) face serious challenges with respect to designing the next generations of these machines and require proper support in making (early) design decisions to avoid expensive and time consuming oversights.

Software-intensive systems constantly evolve. To prevent software changes from unintentionally introducing costly system defects, it is important to understand their impact to reduce risk. However, it is in practice nearly impossible to foresee the full impact of software changes when dealing with huge industrial systems with many configurations and usage scenarios.