High-Confidence Medical Device Software Development - Foundations and Trends (R) in Electronic Design Automation

Uses an implantable cardiac pacemaker as a working example to show how model-based design can help improve the safety and efficacy of medical device software. The book demonstrates the application of model-based design in several design activities during the development process, from the perspective of the manufacturer's design validation team.