![]() |
![]() |
University of Birmingham > Talks@bham > Computer Science Departmental Series > On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
On Quantitative Software Quality Assurance Methodologies for Cardiac PacemakersAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Mohammad Tayarani. Host: Mohammad Tayarani, m.tayarani@cs.bham.ac.uk Embedded software is at the heart of implantable medical devices such as cardiac pacemakers, and rigorous software design methodologies are needed to ensure their safety and reliability. This paper gives an overview of ongoing research aimed at providing software quality assurance methodologies for pacemakers. A model-based framework has been developed based on hybrid automata, which can be configured with a variety of heart and pacemaker models. The framework supports a range of quantitative verification techniques for the analysis of safety, reliability and energy usage of pacemakers. It also provides techniques for parametric analysis of personalised physiological properties that can be performed in silico, which can reduce the cost and discomfort of testing new designs on patients. We describe the framework, summarise the results obtained, and identify future research directions in this area. This talk is part of the Computer Science Departmental Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsBeverley Glover MaterialWell RSLC PhD/Postdoc Seminars (Chemistry)Other talksUltrafast Spectroscopy and Microscopy as probes of Energy Materials Control variates for computing transport coefficients Wave turbulence in the Schrödinger-Helmholtz equation TBA The tragic destiny of Mileva Marić Einstein TBA |