-
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
- OTS/SOUP Software Validation Strategies
- Software Verification vs. Validation
- Creating an Emacs package: ‘password-menu’
- Exploring Clojure (and FP vs OOP)
- Validation of Off-The-Shelf Software Development Tools
- Bioimpedance Analysis to Detect Sleep Apnea
- VirtualBox 6.1.x Windows 10 2004 Upgrade Problem Resolution
- Introducing elfeed-curate
- 314 Digits of Pi (Python to Clojure)
- Selecting a MVC/MVP Implementation for a Winforms Project
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
Category Archives: Software Quality
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
Software Verification vs. Validation
For some reason it just really bugs me that these two terms are incorrectly interchanged so frequently. Part of the problem is that the document General Principles of Software Validation; Final Guidance for Industry and FDA Staff (2002) does not … Continue reading
More Software Forensics and Why Analogies Suck
There’s a recent article in the Baltimore Sun called Flaws in medical coding can kill which just rehashes static software analysis (hat tip: FDA Trying to Crack Down on Software Errors). I’ve discussed software forensics tools before. Yes, bad software … Continue reading
Posted in FDA, Medical Devices, Software Quality
3 Comments
Connecting Computers to FDA Regulated Medical Devices
Pete Gordon asked a couple of questions regarding FDA regulations for Internet-based reporting software that interface with medical devices. The questions are essentially: How much documentation (SRS, SDS, Test Plan) is required and at what stage can you provide the … Continue reading
The Benefits of Software Validation
Many people still confuse verification (was the product built right?) and validation (was the right product built?). The benefits of both of these activities are well covered in Software Validation: Turning Concepts into Business Benefits: Software V&V is a FDA … Continue reading
Posted in FDA, Software Quality
Leave a comment
Software Development: Driven by what?
First a definition: driv·en –adjective : having a compulsive or urgent quality : propelled or motivated by something — used in combination <results-driven> Driven software development methodologies abound: Behavior-Driven Development (BDD) Design-Driven Development (D3) Domain-Driven Design (DDD) Feature-Driven Development (FDD) … Continue reading
Posted in Agile, Programming, Software Quality
1 Comment
Understanding Software Defects
We tend to focus a lot of attention on tools and methodologies for improving software quality. I thought it would be worth while taking a step back to try to understand what the root causes of software defects are. Fortunately … Continue reading
Posted in Agile, Software Quality
1 Comment
Ever heard of FRACAS?
FMEA (Failure Mode and Effects Analysis) is a regular part of our development process (we call it “Hazard Analysis”), but I was unfamiliar with FRACAS (Failure Reporting, Analysis, and Corrective Action Systems) until I ran across this: 10/21/2007 FRACAS? – … Continue reading
Posted in Medical Devices, Software Quality
2 Comments
Medical Device Software Forensics
“The Gray Sheet” has an article called CDRH Software Forensics Lab: Applying Rocket Science To Device Analysis. Can it really be true that CDRH is doing static code analysis for detecting software defects in recall investigations? Static code analysis has … Continue reading
Posted in FDA, Medical Devices, Software Quality
4 Comments