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.

• 2020 Spring Sw8 : HMKAAL.pdf
• 2020 Spring Sw10: Tick Tock Automata a Modelling Formalism for Real World Industrial Systems.df (AAU website) 
• 2021 Autumn Sw9: AALTITOAD A Tick Tock Automata Verification Engine.pdf (AALTITOAD on github)
• 2022 Spring Sw6: HAALT – HAWK and AALTITOAD Automatic Likeness Testing (HAALT on github)