A state-based systemic view of behavior for safe medical computer applications

The article "A state-based systemic view of behavior for safe medical computer applications" written by Luca Pazzi and Marco Pradelli will be presented to the IEEE CBMS 2008 conference held in Jyväskylä, Finland in June 17-19. This paper faces the medical devices connection problem and proposes a new way to connect heterogeneous medical devices assuring a global safe behavior.

Method for ensuring safety and liveness rules in a state based design

ID rapporto: 
CRIS-2008-02-01

Aim of this document is to describe a method which works upon an abstract operational and structural model of the control of one or more sets of state machines, named assemblages, by means of other state machines, named controllers. According to the model, such controllers may be further grouped into assemblages themselves and be controlled, on their turn, by other controllers, and so on.