Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Assurance of System Safety: A Survey of Design and Argument Patterns   The specification, design, and assurance of safety encompasses various
concepts and best practices, subject of reuse in form of patterns. This work
summarizes applied research on such concepts and practices with a focus on the
last two decades and on the state-of-the-art of patterns in safety-critical
system design and assurance argumentation. We investigate several aspects of
such patterns, for example, where and when they are applied, their
characteristics and purposes, and how they are related. For each aspect, we
provide an overview of relevant studies and synthesize a taxonomy of first
principles underlying these patterns. Furthermore, we comment on how these
studies address known challenges and we discuss suggestions for further
research. Our findings disclose a lack of research on how patterns improve
system safety claims and, vice versa, on the decomposition of system safety
into separated local concerns, and on the impact of security on safety.

14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn