Ada and SPARK: Beyond Static Analysis for Medical Devices

The need for safe and secure software — including Medical Device software — is becoming more important as cybersecurity threats in the healthcare sector become more frequent and severe. Constant innovation drives more and more complex life-supporting devices, which can malfunction either from design defects or malicious attacks. In order to mitigate these risks, the Food and Drug Administration (FDA) in the US has published guidance that recommends, in particular, the use of static analysis technologies as part of the software verification process. Similar standards, such as IEC 62304, also promote the use of such techniques to improve overall software quality.

Last Updated: 4/2/2022
Posted on: 3/20/2019