-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathreliability.html
76 lines (75 loc) · 3.03 KB
/
reliability.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
<html>
<head>
<title>HTL and Reliability</title>
<LINK href="./style.css" type="text/css" rel="stylesheet">
</head>
<body bgcolor="#eeeeff">
<table width="100%" class="title">
<tr>
<td align="center"><b><font color="blue">H</font></b>ierarchical <b><font color="blue">T</font></b>iming <b><font color="blue">L</font></b>anguage</td>
</tr>
</table>
<table width="100%" class="page_border">
<tr>
<td valign="top">
<table width="200" class="menu_border">
<tr>
<td width="200"><a href="./index.html" class="menu_item_div"><div class="menu_item">Home</div></td>
</tr>
<tr>
<td width="200"><a href="./HTLCompiler.html" class="menu_item_div"><div class="menu_item">HTL Compiler</div></td>
</tr>
<tr>
<td width="200"><a href="./emachine.html" class="menu_item_div"><div class="menu_item">E Machine</div></a></td>
</tr>
<tr>
<td width="200"><a href="./exotask-htl/index.html" class="menu_item_div"><div class="menu_item"> HTL Exotask</div></a></td>
</tr>
<tr>
<td width="200"><div class="inactive_menu_item">HTL and Reliability</div></a></td>
</tr>
<tr>
<td width="200"><a href="./examples.html" class="menu_item_div"><div class="menu_item"> Examples</div></a></td>
</tr>
<tr>
<td width="200"><a href="./publications.html" class="menu_item_div"><div class="menu_item"> Publications</div></a></td>
</tr>
<tr>
<td width="200"><a href="./team.html" class="menu_item_div"><div class="menu_item"> Team</div></a></td>
</tr>
</table>
</td>
<td valign="top">
<br>
<br>
<div><b>Abstract</b></div>
<p class="abstract">
We propose an abstract notion of logical reliability for real-time
program tasks that interact through periodically
updated program variables. Logical reliability is a requirement on
possibly distributed implementations to provide, in the long run,
reliable updates of program variables. We describe a reliability
analysis approach that checks if the given short-term (e.g., single-period)
reliability of a program variable update in an implementation is
sufficient to meet the logical reliability requirement (of the
program variable) in the long run. We then present a notion of design by refinement where a task can be refined
by another task that writes to program variables with less logical
reliability. The notion of refinement preserves the reliability analysis i.e.~if
an implementation is reliable for the refined task, then the implementation
is reliable for the refining task.
The resulting analysis can be readily combined with an
incremental schedulability analysis for interacting real-time tasks
that was proposed earlier for Hierarchical Timing Language (HTL), a
hierarchical coordination language for distributed real-time
systems. We have implemented a logical-reliability-enhanced
prototype of the compiler and runtime infrastructure for HTL, and
tested the system on a real (i.e., not simulated) control
application.
</p>
<br>
<br>
</td>
</tr>
</table>
</body>
</html>