Scientific publications

This technical report describes the learnings and the state of the Canvas project at the end of 2023, a collaboration between Canon Production Printing (CPP) and TNO-ESI. The topic addressed in this project is systems architecting for environmental sustainability (carbon footprint in particular) and circularity (ES&C in short).

The purpose of this document is to guide ESI research in Systems Architecting (SA) and Systems Engineering (SE), including collaborative studies. ESI aims to address the upcoming needs of the high-tech equipment industry. For this purpose, industry needs and consequential research outlooks have been elaborated in this document as a vehicle to support coordination and alignment of ESI research with the high-tech equipment industry.

An execution trace is a model of a single system behavior. Execution traces occur everywhere in the system’s lifecycle as they can typically be produced by executable models, by prototypes of (sub)systems, and by the system itself during its operation. An execution trace can be visualized and analyzed with various techniques, providing insight into the dynamic behavior, performance, bottlenecks, etc.

Sustainability embodies the concept of responsible management and care of the planet's resources and the well-being of both current and future generations. In line with the European Green Deal (EGD), the high-tech industry wants to be climate-neutral by 2050 and is actively engaged in exploring methods to integrate sustainability into its product development processes.

This report presents an overview of the work done by TNO-ESI and ASML in the Matala 2023 project. The main objective of the Matala project is to show how model-based testing can be used to improve efficiency and effectiveness of testing system-of-systems (SoS) in industry. The focus of testing is to ensure that systems are syntactically and semantically interoperable with each other, and deliver on promised functionality in an operational context.

Manually writing test cases takes a lot of time in software development projects. Modelbased testing is a promising approach to automate most of this work by generating tests from models. This, however, shifts the problem to the creation of these models. In the research described here, we investigate the use of existing ComMA models which already have been constructed to describe and analyse software interfaces and component constraints.

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.

In this document, the specifications, commonalities, and fundamental differences between industrial use cases were gathered, analysed, and reported. Electron Microscopy (EM) and Unmanned Utility Vehicles (UUV) are the two target industrial use cases, which comprise sub use cases, are detailed down and described.

Model-based testing (MBT) promises a scalable solution to testing large systems, if a model is available. Creating these models for large systems, however, has proven to be difficult. Composing larger modelsfrom smaller ones could solve this, but our current MBT conformance relation uioco is not compositional, i.