Author Archives: Pascal

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

Posted on March 7, 2010 by Pascal

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

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

Posted on June 4, 2009 by Pascal

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

Posted on May 15, 2009 by Pascal

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