[Taikonerd]

> My current project chose SPARK due to its tooling and legacy applications in the high-integrity, high-assurance demands of the mission-critical sector.

Interesting! Can I ask what industry you're in? Aviation, military, medical...?

[eggy]

I've been involved in many sectors, but the current application is for show control software to operate stage lifts, performer flying rigs, scenic winches, car catapults, and on and on. Overhead hoisting and effects with people requires very high safety standards, and at the moment, most of this type of software is audited to decent safety standards, but not formally verified the way applications are in Ada/SPARK for the aerospace, railway, and military sectors. The tooling for SPARK has been tried and tested. I have been designing, building, installing, and maintaining specialized equipment for almost 30 years in the water, on land, in the air, and even in space.