-
Notifications
You must be signed in to change notification settings - Fork 1
/
she-en.html
147 lines (126 loc) · 6.52 KB
/
she-en.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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" dir="ltr">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8"/>
<meta name="description" content="Homepage Felipe Restrepo-Calle"/>
<meta name="keywords" content="" />
<meta name="author" content="Felipe Restrepo-Calle" />
<link rel="stylesheet" type="text/css" href="style.css" media="screen" />
<link rel="stylesheet" type="text/css" href="mi-estilo.css" media="screen" />
<title>Felipe Restrepo Calle</title>
<link href='http://fonts.googleapis.com/css?family=News+Cycle&v1' rel='stylesheet' type='text/css' />
</head>
<body>
<div id="site-wrapper">
<div class="idioma">
<a href="she.html">Español</a> <a href="#">English</a>
</div>
<div id="header">
<div id="top">
<div>
<img src="img/frc_pic.jpg" alt="Mi foto" style="vertical-align:text-bottom; height:200px;" />
<span style="margin-left: 20px; font-family: 'News Cycle', arial, serif; font-size: 340%;">Felipe Restrepo Calle</span>
<span style="margin-left: 120px; font-family: 'News Cycle', arial, serif; font-size: 200%; color: #999;">SHE</span>
</div>
<div class="clearer"> </div>
</div>
<div class="navigation" id="sub-nav">
<ul class="tabbed">
<li><a href="index-en.html">Home</a></li>
<li><a href="investigacion-en.html">Research</a></li>
<li><a href="docencia-en.html">Courses</a></li>
<li><a href="estudiantes-en.html">Students</a></li>
<li><a href="cv-en.html">CV</a></li>
</ul>
<div class="clearer"> </div>
</div>
</div>
<div class="principal" style="padding-top: 32px; border-bottom: 1px solid #DDD;">
<div class="col">
<h2 class="label label-blue">What is SHE?</h2>
<div style="margin-top: 20px;">
<ul>
<li><strong>SHE:</strong> Software Hardening Environment.</li>
<li>Tool for fault-tolerant software development.</li>
<li>It allows the design and implementation of software-based mitigation techniques, which can be automatically applied into programs.</li>
<li>The hardening (protection) strategy is based on code transformation rules at low level, i.e., assembly code.</li>
<li>It permits to apply <a href="http://link.springer.com/article/10.1007%2Fs10836-013-5416-6" target="_blank">software-based fault tolerance techniques in a selective way</a>, protecting only the most critical parts of the program. As a result,
there is a significant reduction in overheads, and at the same time, designers have more flexibility to find the best trade-offs among the system requirements.</li>
<li>Multiplatform: tested in Linux and Windows.</li>
</ul>
</div>
</div>
<div class="clearer"> </div>
</div>
<div class="principal" style="padding-top: 32px; border-bottom: 1px solid #DDD;">
<div class="col">
<h2 class="label label-blue">Scheme</h2>
<div style="margin-top: 20px;">
<center>
<h4>Software Hardening Environment - SHE</h4><br>
<img src="img/she_big.png" alt="SHE"/>
</center>
</div>
</div>
<br>
<div class="clearer"> </div>
</div>
<div class="principal" style="padding-top: 32px; border-bottom: 1px solid #DDD;">
<div class="col">
<h2 class="label label-blue">Supported microprocessors</h2>
<div style="margin-top: 20px;">
<ul>
<li>Xilinx PicoBlaze 8-bit KCPSM3.</li>
<li>Xilinx PicoBlaze 8-bit KCPSM6.</li>
<li>Texas Instruments MSP430 16-bit.</li>
<li class="quiet">More can be included.</li>
</ul>
</div>
</div>
<div class="clearer"> </div>
</div>
<div class="principal" style="padding-top: 32px; border-bottom: 1px solid #DDD;">
<div class="col">
<h2 class="label label-blue">Try it online</h2>
<div style="margin-top: 20px;">
<ul>
<li>Available at the <a href="http://www.iuii.ua.es/experimenter/" target="_blank">Fault Tolerance Lab</a> (by University of Alicante - Spain).</li>
</ul>
</div>
</div>
<div class="clearer"> </div>
</div>
<div class="principal" style="padding-top: 32px; border-bottom: 1px solid #DDD;">
<div class="col">
<h2 class="label label-blue" id="publicaciones">More information</h2>
<div style="margin-top: 20px;">
<ul>
<li><strong>Felipe Restrepo-Calle</strong>, Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Antonio Jimeno. "<a href="https://dx.doi.org/10.1007/s10836-013-5416-6" target="_blank">Selective SWIFT-R: A flexible software-based technique for soft error mitigation in low-cost embedded systems</a>". <em>Journal of Electronic Testing: Theory and Applications</em>, vol. 29, no. 6, pp. 825-838, Dec., 2013. DOI:10.1007/s10836-013-5416-6.</li>
<li>Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, <strong>Felipe Restrepo-Calle</strong>, Francisco R. Palomo, Hipólito Guzmán-Miranda, and Miguel A. Aguirre. "<a href="https://dx.doi.org/10.1109/TDSC.2011.54" target="_blank">Compiler-Directed Soft Error Mitigation for Embedded Systems</a>," <em>IEEE Transactions on Dependable and Secure Computing</em>, vol.9, no.2, pp.159-172, March-April 2012. ISSN:1545-5971. DOI=10.1109/TDSC.2011.54.</li>
<li>Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, <strong>Felipe Restrepo-Calle</strong>, Francisco R. Palomo, Hipólito Guzmán-Miranda, and Miguel A. Aguirre. "<a href="https://dx.doi.org/10.1109/TNS.2011.2112379" target="_blank">A novel co-design approach for soft errors mitigation in embedded systems</a>". <em>IEEE Transactions on Nuclear Science</em>, vol. 58, no. 3, pp.1059-1065, June 2011. ISSN:0018-9499. DOI:10.1109/TNS.2011.2112379.</li>
</ul>
</div>
</div>
<div class="clearer"> </div>
</div>
<div id="footer">
<div class="left" id="footer-left">
<p class="quiet"><a href="index-en.html">Home</a></p>
<div class="clearer"> </div>
</div>
<div class="right" id="footer-right">
<p class="large"> <a href="#site-wrapper" class="quiet">go up ↑</a></p>
</div>
<div class="clearer"> </div>
</div>
</div>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-55496612-2', 'auto');
ga('send', 'pageview');
</script>
</body>
</html>