Ada and SPARK at Welch Allyn: Beyond Static Analysis for Medical Devices

Medical Device software belongs to the category of highly critical software, both from a safety and a security standpoint - and the need for safety and security is only going to grow stronger. 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 guidance1 which recommends in particular the usage of static analysis technologies as part of the software verification process. Similar standards, such as IEC 60601-1-4, IEC 62304 and ISO 14791 also promote the usage of such techniques to improve overall software quality.

Attached Files

Last Updated: 3/20/2019
Posted on: 3/20/2019