Trustworthy multi-modal framework for life-critical systems security

Aakarsh Rao, Jerzy W Rozenblit, Roman L Lysecky, Johannes Sametinger

Research output: Contribution to journalConference articlepeer-review


With the advent of network connectivity and complex software applications, life-critical systems like medical devices are subject to a plethora of security risks and vulnerabilities. Security threats and attacks exploiting these vulnerabilities have been shown to compromise patient safety by hampering essential functionality. This necessitates incorporating security from the very design of software. Isolation of software functionality into different modes and switching between them based on risk assessment, while maintaining a fail-safe mode ensuring device’s essential functionality is a compelling design. Formal modeling is an essential ingredient for verification of such a design. Hence, in this paper, we formally model a trustworthy multi-modal framework for life-critical systems security and in turn safety. We formalize a multiple mode based software design approach of operation with a fail-safe mode that maintains critical functionality. We ensure trustworthyness by formalizing a composite risk model incorporated into the design for run-time risk assessment and management.

Original languageEnglish (US)
Pages (from-to)183-191
Number of pages9
JournalSimulation Series
Issue number2
StatePublished - Jan 1 2018
Event51st Annual Simulation Symposium, ANSS 2018, Part of the 2018 Spring Simulation Multi-Conference, SpringSim 2018 - Baltimore, United States
Duration: Apr 15 2018Apr 18 2018


  • Formal modeling
  • Life-critical system security
  • Multi-modal
  • Risk assessment

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Trustworthy multi-modal framework for life-critical systems security'. Together they form a unique fingerprint.

Cite this