Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Restart-Based Fault-Tolerance: System Design and Schedulability Analysis   Embedded systems in safety-critical environments are continuously required to
deliver more performance and functionality, while expected to provide verified
safety guarantees. Nonetheless, platform-wide software verification (required
for safety) is often expensive. Therefore, design methods that enable
utilization of components such as real-time operating systems (RTOS), without
requiring their correctness to guarantee safety, is necessary.
  In this paper, we propose a design approach to deploy safe-by-design embedded
systems. To attain this goal, we rely on a small core of verified software to
handle faults in applications and RTOS and recover from them while ensuring
that timing constraints of safety-critical tasks are always satisfied. Faults
are detected by monitoring the application timing and fault-recovery is
achieved via full platform restart and software reload, enabled by the short
restart time of embedded systems. Schedulability analysis is used to ensure
that the timing constraints of critical plant control tasks are always
satisfied in spite of faults and consequent restarts. We derive schedulability
results for four restart-tolerant task models. We use a simulator to evaluate
and compare the performance of the considered scheduling models.

11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg