Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model-Driven Development of High-Assurance Active Medical Devices   Advanced medical devices exploit the advantages of embedded software whose
development is subject to compliance with stringent requirements of
standardization and certification regimes due to the critical nature of such
systems. This paper presents initial results and lessons learned from an
ongoing project focusing on the development of a formal model of a subsystem of
a software-controlled safety-critical Active Medical Device (AMD) responsible
for renal replacement therapy. The use of formal approaches for the development
of AMDs is highly recommended by standards and regulations, and motivates the
recent advancement of the state of the art of related methods and tools
including Event-B and Rodin applied in this paper. It is expected that the
presented model development approach and the specification of a high-confidence
medical system will contribute to the still sparse experience base available at
the disposal of the scientific and practitioner community of formal methods and
software engineering.

26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex