TU/e HTSC Research Meet 'Digital Engineering'

Experience with Digital Engineering at Stamicarbon
Dr. Rob Faessen
Stamicarbon is world leader in design, licensing and development of urea plants for the fertilizer industry. It offers full life cycle support to urea producers worldwide and develops innovative future-proof solutions for applications ranging from NOx reduction in diesel engines to improving and optimizing production of farmers. Rob Faessen will share experiences of Stamicarbon with the automation of design steps and explain the importance of further integration of the various disciplines.
 

Analysis of Discrete Behaviour in Supervisory Control Software
Thomas Neele, MSc.
Software is playing an ever more important role in high-tech industry, for example to perform supervisory control. Bugs in software that is already on the market can be very costly. Therefore, we develop analysis methods that can catch errors early in the development cycle. Model checking, a classical technique for behavioural analysis, typically suffers from scalability issues, which we try to address. I will present my work on model checking of infinite-state systems and model checking of an industrial system at ASML.

Bringing Domain-Specific Languages Closer to End-Users
Mauricio Verano Merino MSc.

In this talk, I will show how we generate generic tools that make DSLs closer to end-users. In particular, I will explain how we have integrated Jupyter notebooks and block-based environments, such as Scratch, with domain-specific languages and language workbenches.

The Computer Science, the Bridge Between Scientific Domains which Facilitates the Integration of Disciplines to Improve Model-Based Systems Engineering Approach
Prof.dr. Ion Baroson

With his experience in model-based systems engineering in various domains with a focus on automotive, Ion Barosan is a driving force behind the research of systems engineering in software-intensive systems. He will explain how Computer Science contributes to the integration of disciplines and how it facilitates systems engineering at different departments. Also, he will present a new framework for educating students in system engineering, based on creativity and system engineering patterns approach and its applicability in automotive and other domains.