• Marco Carbone

    Associate Professor, ITU

    Bio:  Marco Carbone is an Associate Professor at the Computer Science Department, IT University of Copenhagen. Since 2018, he is heading the MSc in Computer Science at the IT University. His core research interests are within the verification of concurrent and distributed systems, with a particular focus on safety and security of critical systems.    Title of presentation:  Efficient and Effective Risk Management of Software as a Medical Device with Formal Methods   Abstract of presentation:  Software as a medical device (SaMD) is critical software as it can put at risk the well-being and sometimes even the lives of people using it. This presentation discusses the possibility of using formal methods for developing efficient and effective risk management of SaMD.  

    Speaker for following sessions
    • Østerbro
      01-12-2 -
      Organized by ITU
      Modern computing systems consist of multiple distributed components interconnected with each other, and are often critical to society, affecting valuable assets such as people's lives, money, and reputation. In recent years, Software As a Medical Device (SaMD) has emerged as an application of computing systems to healthcare, used for monitoring and caring about people's health so that they can live better lives. Such software can inform patients about their health, drive their lifestyle decisions, and help them treat their health conditions. Technically, SaMD is a general term for software systems intended for one or more medical purposes without being part of a hardware medical device.  This kind of software may put at risk the well-being and often the lives of the people using it. Hence, it is extremely important that developers adopt the best methodologies available for ensuring the software is safe and secure. Unfortunately, the fast-growing number of SaMD applications is accompanied by a substantial growth in software complexity. Hence, it becomes increasingly difficult to develop systems that retain their safety and security, and it becomes more expensive for companies to comply with standards such as ISO 14971 or IEC 62304. The objective of this session is to discuss how existing research in software verification can provide new methodologies for the development of safe and secure SaMD so that it can scale to more complex systems.
      Introduction: Marco Carbone, Associate Professor, Head of study programme, ITU
      Business Talk: “Critical software for implantable medical devices”, Thomas Funder, Senior Director, Digital Solutions, Oticon Medical
      Scientific Talk: “Efficient and Effective Risk Management of Software as a Medical Device with Formal Methods”, Marco Carbone, Associate Professor, Head of study programme, ITU
      Business/Scientific Talk: “Software as a Medical Device, Medical Apps, and Digital Therapeutics: Current Issues and Future Directions”, Daniel Fürstenau, Assistant Professor, CBS
      Break – Getting the panel on stage
      Q&A – Panel discussion
      Session coordinator: Marco Carbone / Peter Ibsen, ITU
      Facilitator: Marco Carbone, ITU
      Software as a Medical Device (SaMD)
Cookies policy