Medical apps on smartphones and smartphone-like platforms are driving growth in medical devices development. Are the tools available now adequate to deal with the serious safety and security issues involved?
The authors describe the software development of an FDA compliant Class III medical software application that was successfully ported from a Windows CE environment to an Android 4.1 tablet platform.
In the second in a two-part series, the authors describe the lessons learned about how to coordinate in-house and out-source components and expertise without affecting design goals.
How existing languages for Programmable Logic Controllers (PLCs) can be extended with domain-specific constructs for medical devices and used to generate native code that runs on both Intel and ARM processors.
Medical devices should be of interest to any embedded software developer as they encapsulate a great many of the techniques that characterize modern embedded systems development.
Analysis of the security of software that controls a modern Automated External Defibrillator (AED) used for cardiac arrhythmias revealing several vulnerabilities including acceptance of counterfeit firmware updates.
In this Product How-To design article, Jay Abraham of Mathworks uses the company’s Polyspace code verifier to explain the use formal methods-based static code analysis to ensure high quality and verifiable embedded software.
Researchers at the FDA's Office of Science and Engineering Laboratories investigating new techniques for analyzing software in medical devices are using static analysis tools to uncover potential flaws in a device under review.
How to use formal methods”based abstract interpretation techniques to mathematically prove the absence of a defined set of run-time errors and a comparison with techniques as code review, static analysis, and dynamic testing.
You must verify your email address before signing in. Check your email for your verification email, or enter your email address in the form below to resend the email.
Please confirm the information below before signing in.
{* #socialRegistrationForm *}
{* firstName *}
{* lastName *}
{* displayName *}
{* emailAddress *}
By clicking "Sign In", you confirm that you accept our terms of service and have read and understand privacy policy.
{* /socialRegistrationForm *}
Almost Done
Please confirm the information below before signing in. Already have an account? Sign In.
