Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards formally analyzed Cyber-Physical Systems   Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous
vehicles, aircrafts, healthcare, agriculture and industrial production lines.
CPSs are often critical, as system failure can cause serious damage to property
and human lives. Today's cyber-physical systems are extremely complex,
heterogeneous systems: to be able to manage their complexity in a unified way,
we need an infrastructure that ensures that our systems operate with the high
reliability as intended. In addition to the infrastructure, we need to provide
engineers a method to ensure system reliability at design time. The paradigm of
model-driven design provides a toolkit supporting the design and analysis and
by choosing the proper formalisms, the model-driven design approach allows us
to validate our system at design time.

0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol