-
Recent Posts
- Creating an Emacs package: ‘password-menu’
- Introducing elfeed-curate
- Dealing with ClojureScript Cross-build NPM Dependencies
- On Selecting Clojure
- Full Cycle Teams in a FDA regulated setting
- VirtualBox 6.1.x Windows 10 2004 Upgrade Problem Resolution
- 314 Digits of Pi (Python to Clojure)
- Bioimpedance Analysis to Detect Sleep Apnea
- EEG Devices at CES 2020
- Exploring Clojure (and FP vs OOP)
Popular Posts
- Software Verification vs. Validation
- Validation of Off-The-Shelf Software Development Tools
- Bioimpedance Analysis to Detect Sleep Apnea
- Exploring Clojure (and FP vs OOP)
- Creating an Emacs package: ‘password-menu’
- OTS/SOUP Software Validation Strategies
- Introducing elfeed-curate
- 314 Digits of Pi (Python to Clojure)
- Selecting a MVC/MVP Implementation for a Winforms Project
- BCI: Brain Computer Interface
Categories
- .NET (19)
- Agile (11)
- Clojure (4)
- Cloud Computing (5)
- EEG (26)
- Emacs (2)
- EMR (40)
- FDA (36)
- fMRI (2)
- General (32)
- Google (13)
- GUI (4)
- HCI (12)
- Health 2.0 (4)
- HIPAA (4)
- HL7 (8)
- ICG (2)
- Interoperability (40)
- LINQ (2)
- Medical Devices (54)
- Microsoft (27)
- Networking (5)
- Open Source (8)
- ORM (2)
- PHR (18)
- Programming (46)
- Robotics (4)
- Software Quality (21)
- Technology (17)
- Tools (10)
- Uncategorized (1)
- Vista (2)
- Visual Studio (2)
- WCF (3)
Archives
- April 2024
- October 2023
- October 2022
- March 2021
- January 2021
- May 2020
- March 2020
- February 2020
- January 2020
- January 2019
- August 2018
- July 2018
- March 2018
- September 2017
- February 2017
- January 2017
- December 2016
- September 2016
- April 2016
- March 2016
- December 2015
- September 2015
- August 2015
- April 2015
- February 2015
- January 2015
- December 2014
- November 2014
- October 2014
- September 2014
- August 2014
- July 2014
- June 2014
- April 2014
- March 2014
- February 2014
- January 2014
- December 2013
- October 2013
- September 2013
- August 2013
- July 2013
- June 2013
- May 2013
- February 2013
- January 2013
- December 2012
- August 2012
- July 2012
- June 2012
- May 2012
- March 2012
- February 2012
- January 2012
- December 2011
- November 2011
- October 2011
- September 2011
- August 2011
- July 2011
- June 2011
- May 2011
- April 2011
- March 2011
- February 2011
- January 2011
- December 2010
- November 2010
- October 2010
- September 2010
- August 2010
- July 2010
- June 2010
- May 2010
- April 2010
- March 2010
- February 2010
- January 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
- January 2009
- December 2008
- November 2008
- October 2008
- September 2008
- August 2008
- July 2008
- June 2008
- May 2008
- April 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- September 2007
- August 2007
- July 2007
Blogroll
Sites I Visit
Meta
-
Twitter Updates
- Tweets by bobnadler
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
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
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 Methods-based verification, static analysis
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 c programming, software verification, static analysis
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 c programming, software verification, static analysis
4 Comments