Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Distributed Real-Time Emulation of Formally-Defined Patterns for Safe
  Medical Device Control   Safety of medical devices and of their interoperation is an unresolved issue
causing severe and sometimes deadly accidents for patients with shocking
frequency. Formal methods, particularly in support of highly reusable and
provably safe patterns which can be instantiated to many device instances can
help in this regard. However, this still leaves open the issue of how to pass
from their formal specifications in logical time to executable emulations that
can interoperate in physical time with other devices and with simulations of
patient and/or doctor behaviors. This work presents a specification-based
methodology in which virtual emulation environments can be easily developed
from formal specifications in Real-Time Maude, and can support interactions
with other real devices and with simulation models. This general methodology is
explained in detail and is illustrated with two concrete scenarios which are
both instances of a common safe formal pattern: one scenario involves the
interaction of a provably safe pacemaker with a simulated heart; the other
involves the interaction of a safe controller for patient-induced analgesia
with a real syringe pump.

7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn