Ada is a programming language with a long history designed to support high quality software development especially for safety and secure applications such as avionics. SPARK is a version of Ada that ...

Bath-based software firm Altran Praxis has appointed Stuart Matthews as SPARK product manager. SPARK is a programming language used to detect flaws or kinks in systems where safety is critical.

Discover a real-life example of CPS in action. Find out more about the Ada SPARK language and how it can be used to benefit CPS. Learn how to achieve higher assurance, clearer software architecture, ...