HMK Collaboration

I collaborate with a local Aalborg company HMK Bilcon, which produce tanker trucks. They started using H-Uppaal for modeling their control software, along the way inventing their own semantics.

They continue to develop on this tool for Model Based Development and their own verification engine. Along the way this has spawned a number of student projects.

Comments are closed.