Machiel van der Bijl [Axini], Julien Schmaltz [ICT] & Eddy de Boer [Prorail]

In control of safety-critical systems with modeling and no-code test automation

13:50 – 14:30

A big problem with complex communicating systems is slowness/delay of delivery. Serious errors are found late in the project. As a result, it’s hard to stay in control, resulting in delays, budget overruns and production problems.

We present a novel approach to stay in control of the development of complex communicating systems. Crux of our solution is (formal) modeling and no-code test automation. We explain the techniques and their benefits with data from client projects. An example is ETIS at Prorail, a project in the ERTMS program. It has safety-critical SIL1 level and it has to adhere to the Cenelec EN-50126 standards.

Our test automation technique is model based. This means that we automatically compute and execute test cases based on the model without human intervention. The approach is no-code: you don’t need to program and maintain your test scripts anymore. The model is the only artifact to create and maintain.

Machiel van der Bijl is the founder and CEO of Axini in Amsterdam, the Netherlands. He has a broad experience in both theoretical and practical computer science. He’s specialized in formal methods and model-driven engineering. Before founding Axini, he worked for several companies in the financial and embedded/high-tech sector. He holds an MSc and a PhD degree in computer science from the University of Twente.

Eddy de Boer is an enterprise architect at Prorail. He’s responsible for several safety-critical systems in the logistics domain. He holds an MSc in electronic engineering from the University of Twente.

Julien Schmaltz is a principal consultant at ICT Group, where he’s guiding customers in the digitalization of their software engineering process. He holds a PhD degree in electrical engineering from the University of Grenoble, France. Before joining ICT, he was an associate professor in computer science at Eindhoven University of Technology, conducting research and education in the field of model-driven engineering with applications in hardware and software systems. He’s actively engaged in facilitating the transfer of technology created by academic research to the market through cooperation with students and spinoff companies.