Matala 2023 Technical Report
report
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. The three main results of 2023 are (i) state-of-the-art investigation on model-based testing and specification languages for SoS, (ii) a method for model-based interoperability and functionality testing of SoS (combines and extends existing research results), (iii) realization of the proposed method in a proof-of-concept and a demonstration of feasibility on cases from the virtual fab group at ASML. This report presents the general problem context, insights from our state-of-the-art investigation, posed research questions and concludes with an overview of the proposed method
with motivations for the chosen solution directions.
with motivations for the chosen solution directions.
TNO Identifier
993463
Publisher
TNO
Collation
30 p.
Place of publication
Eindhoven