Tag Archives: static analysis

Discomfort with Computerized Medical Devices

Here are some thoughts regarding the article: I feel a little uncomfortable about computerized medical devices, and here’s why. Just about all medical devices are computerized these days. Most will not harm or kill you if their software fails (Class … Continue reading

Posted in FDA, Medical Devices, Software Quality | Tagged | 1 Comment

Guest Article: Static Analysis in Medical Device Software (Part 3) — Formal specifications

The third and last guest post by Pascal Cuoq on software verification. This part is about formal specifications. Continue reading

Posted in Software Quality, Tools | Tagged , | Leave a comment

The Challenges of Developing Software for Medical Devices

Developing Software for Medical Devices – Interview with SterlingTech gives a good overview of the challenges that especially face young medical device companies. In particular (my emphasis): Make sure that your company has a good solid Quality System as it … Continue reading

Posted in FDA, Medical Devices, Programming, Software Quality, Tools | Tagged , | Leave a comment

Guest Article: Static Analysis in Medical Device Software (Part 2) — Methodology

Pascal Cuoq at Frama-C continues his discussion of static analysis for medical device software. This is part 2 of 3. Part 1 is here. In the second part of this article I write about methodology, where tools and engineering come … Continue reading

Posted in Programming, Software Quality | Tagged , , | 4 Comments

Guest Article: Static Analysis in Medical Device Software (Part 1) — The Traps of C

Any software controlled device that is attached to a human presents unique and potentially life threatening risks.  A recent article on the use of static analysis for medical device software prompted Pascal Cuoq at Frama-C to share his thoughts on … Continue reading

Posted in Programming, Software Quality | Tagged , , | 4 Comments