55971_ESC360Paper_TMW_FDA.pdf

SoundVerificationTechniquesforDevelopingHigh-IntegrityMedicalDeviceSoftwarebyMathWorks&FDA Embeddedsoftwareinmedicaldevicesisincreasingincontentandcomplexity.Traditionalsoftware verificationandtestingmethodsmaynotprovidetheoptimumsolution.Thispaperdiscussesthe a