Go to
Alena Simalatsar
Formal Approaches to Safe Software Development for Medical Devices
Friday, 11 December 2015 at 11:00 in room BC 420
Abstract:
Recently, the set of electronic medical devices has a tendency to be extended with a new class of closed-loop/autonomous devices able to not only acquire the vital information but also perform some basic patient treatment. Medical Guidelines (GLs) contain step-by-step recommendations for practitioners about how to treat a patient. Therefore, they represent an informal control flow that synchronizes the processes of data acquisition, decision-making and treatment provision and thus playing a role of a medical system specification.
Until now, most of the GLs are represented in a textual format and often suffer from such structural problems as incompleteness, inconsistency, ambiguity and redundancy. Therefore, it is essential to find a proper representation for the GLs that would enable the validation of the GLs formal properties. It is also important to choose one of the standard techniques for the development of safety-critical embedded software, which would allow the reuse of the GL models when building the software for medical devices.
During the talk I will show that a well-known formal behavior representation approach of embedded systems design domain that employs Timed Automaton extended with Tasks (TAT) can be used to represent medical GLs. I will show how TAT is used to formalize not only action-based step-by-step procedures of a medical GL but also a response to the treatment definition by means of response level observers. As a case study I will use the dose adjustment for adult patients part of the protocol for anticancer drug called imatinib. The drug is used to treat patients with newly diagnosed Philadelphia positive (Ph+) Chronic Myeloid Leukemia (CML).
I will also present a complementary TAT-based models of an observers guarding the defined response levels and the ’rescue’ TDM approach for efficacy and tolerance concerns that enhance the model without contradicting official protocol for patients treatment with imatinib. I will show that we were able to fix some incompleteness problems in these models.
About the speaker:
Alena Simalatsar received her PhD in Computer Science and Telecommunication Technologies in 2009 from the University of Trento, Italy, where she focused on system-level analysis methodologies for embedded systems. During her PhD studies she spent six months as a Visiting Scholar at the Department of Electrical Engineering and Computer Sciences of the University of California at Berkeley, USA. She received her Bachelor and her masters degree from the Faculty of Radiophysics and Computer Technologies of Belarusian State University in 2005. Her master thesis was dedicated to the development of a closed-loop controller for a cyber-physical system, a vacuum thin-film deposition chamber.
Dr. Simalatsar is currently working as a postdoctoral researcher at Ecole Polytechnique Fédéral de Lausanne (EPFL), Switzerland. Her current work and interest is focused on safety and reliability analysis of medical devices including the critical health care closed-loop/autonomous devices, such as autonomous drug delivery systems, and medical ultrasound systems.
Secondary navigation
- EPFL Workshop on Logic Synthesis and Emerging Technologies
- Luca Amaru
- Luca Benini
- Giovanni De Micheli
- Srini Devadas
- Antun Domic
- Rolf Drechsler
- Pierre-Emmanuel Gaillardon
- Jie-Hong Roland Jiang
- Akash Kumar
- Shahar Kvatinsky
- Yusuf Leblebici
- Shin-ichi Minato
- Alan Mishchenko
- Vijaykrishnan Narayanan
- Ian O'Connor
- Andre Inacio Reis
- Martin Roetteler
- Julien Ryckaert
- Mathias Soeken
- Christof Teuscher
- Zhiru Zhang
- Symposium on Emerging Trends in Computing
- Layout synthesis: A golden DA topic
- EPFL Workshop on Logic Synthesis & Verification
- Luca Amaru
- Luca Benini
- Robert Brayton
- Maciej Ciesielski
- Valentina Ciriani
- Jovanka Ciric-Vujkovic
- Jason Cong
- Jordi Cortadella
- Giovanni De Micheli
- Antun Domic
- Rolf Drechsler
- Henri Fraisse
- Paolo Ienne
- Viktor Kuncak
- Enrico Macii
- Igor Markov
- Steven M. Nowick
- Tsutomu Sasao
- Alena Simalatsar
- Leon Stok
- Dirk Stroobandt
- Tiziano Villa
- Symposium on Emerging Trends in Electronics
- Raul Camposano
- Anantha Chandrakasan
- Jo De Boeck
- Gerhard Fettweis
- Steve Furber
- Philippe Magarshack
- Takayasu Sakurai
- Alberto Sangiovanni-Vincentelli
- Ken Shepard
- VENUE
- Panel on Circuits in Emerging Nanotechnologies
- Panel on Emerging Methods of Computing
- Panel on The Role of Universities in the Emerging ICT World
- Panel on Design Challenges Ahead
- Panel on Alternative Use of Silicon
- Nano-Bio Technologies for Lab-on-Chip
- Functionality-Enhanced Devices Workshop
- More Moore: Designing Ultra-Complex System-on-Chips
- Design Technologies for a New Era
- Nanotechnology for Health
- Secure Systems Design
- Surface Treatments and Biochip Sensors
- Security/Privacy of IMDs
- Nanosystem Design and Variability
- Past Events Archive
Presentation Slides
On-line Registration
Registration is now closed. We have reached the maximum number of registrants. We thank you for your interest in our workshop!
Venue
All talks will take place at EPFL room BC 420. Please click HERE to go to the interactive EPFL map.