-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathshe.html
165 lines (136 loc) · 7.27 KB
/
she.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
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
<!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="Página de 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="#">Español</a> <a href="she-en.html">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.html">Inicio</a></li>
<li><a href="investigacion.html">Investigación</a></li>
<li><a href="docencia.html">Docencia</a></li>
<li><a href="estudiantes.html">Estudiantes</a></li>
<li><a href="cv.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">¿Qué es SHE?</h2>
<div style="margin-top: 20px;">
<ul>
<li><strong>SHE:</strong> <em>Software Hardening Environment</em> (Entorno de "Endurecimiento" de Software).</li>
<li>Es una herramienta para el desarrollo de software tolerante a fallos.</li>
<li>Permite el diseño e implementación de técnicas de tolerancia a fallos basadas en software, las cuales pueden ser aplicadas a los programas de forma automática.</li>
<li>La estrategia de "endurecimiento" (protección) está basada en reglas de transformación del código a bajo nivel, es decir, lenguaje ensamblador.</li>
<li>Permite aplicar las <a href="http://link.springer.com/article/10.1007%2Fs10836-013-5416-6" target="_blank">técnicas software de tolerancia a fallos de forma selectiva</a>, protegiendo sólo las partes críticas del programa. Así, se reducen los <em>overheads</em> y se ofrece mayor flexibilidad al diseñador para alcanzar la mejor solución de compromiso entre todos los requerimientos del sistema.</li>
<li>Multiplataforma (probado en GNU/Linux y Windows).</li>
</ul>
<!-- Tool for fault-tolerant software development.
It allows the design and implementation of software-based mitigation techniques, which can be automatically applied into programs.
The hardening strategy is based on code transformation rules at low level, i.e. assembly code.
Multiplatform: tested in Linux and Windows.
Registered software ready for production.
Only critical parts of the system are protected:
subsets of registers from the register file.
sections of code.
Important reduction of overheads.
More flexibility to reach the required trade-offs
-->
</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">Esquema</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">Microprocesadores soportados</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">Puede soportar muchos más.</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">Prueba SHE online</h2>
<div style="margin-top: 20px;">
<ul>
<li>Disponible en el "<a href="http://www.iuii.ua.es/experimenter/" target="_blank">Fault Tolerance Lab</a>" (de la University of Alicante - España).</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">Más información</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.html">Volver al inicio</a></p>
<div class="clearer"> </div>
</div>
<div class="right" id="footer-right">
<p class="large"> <a href="#site-wrapper" class="quiet">ir arriba ↑</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>