Philips Engineering Solutions builds product test equipment for customers all over the world. The control software is created, verified and deployed remotely using the model-based low-code approach supported by the Cordis Suite development platform. The tooling allows the engineers in Eindhoven to have the testers up and running without ever having seen them.
Smit Thermal Solutions created the control software for its latest oven with a limited amount of manual coding. The software was then thoroughly tested before the hardware was available by running it on a digital twin of the machine. These advancements were to a large extent enabled by the model-based low-code approach supported by the Cordis Suite development platform.
Het Eindhovense Cordis integreert de MCRL2-modelchecker van de Technische Universiteit Eindhoven in zijn toolset voor modelgebaseerde software-engineering.