Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sysml Knowledge base for Designing Dependable Complex System   The work presented in this paper is part of a proposed framework as complete
and rigorous as possible for the design of complex systems. The methodological
framework used is System Engineering, which is a methodological approach to
control the design of complex systems. The practices of this approach are
transcribed in standards, realized by methods and supported by tools. In our
case, the standard EIA-632 was adopted. Specifically, to deal with the
dependability of these complex systems and to improve the processes dealing
with dependability, we have defined a global approach. This approach
incorporates the consideration of dependability in system engineering
processes. The work presented in this paper supports and complements the
overall approach: it is the proposal of an information model based on the SysML
language, allowing the requirements management, including safety requirements

24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc