-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathproject.html
345 lines (274 loc) · 9.51 KB
/
project.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
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
<link rel="icon" type="image/png" href="images/icon.png">
<link href="css/metro-bootstrap.css" rel="stylesheet">
<!--<link href="css/metro-bootstrap-responsive.css" rel="stylesheet">-->
<link href="css/iconFont.css" rel="stylesheet">
<!-- Load JavaScript Libraries -->
<script src="js/jquery/jquery.min.js"></script>
<script src="js/jquery/jquery.widget.min.js"></script>
<!-- Metro UI CSS JavaScript plugins -->
<script src="js/load-metro.js"></script>
<!-- Local JavaScript -->
<script src="js/docs.js"></script>
<script src="js/github.info.js"></script>
<title>Yongwang ZHAO's Homepage</title>
<style>
.container {
width: 1040px;
}
</style>
</head>
<body class="metro">
<div class="container">
<div class="margin10 nrm nlm" data-load="header.html"></div>
<div class="main-content clearfix">
<div class="tile-area no-padding clearfix">
<div class="tile-group no-margin no-padding clearfix" style="width: 100%">
<div class="tab-control" data-role="tab-control" style="float:left;width:100%;">
<ul class="tabs">
<li class="active"><a href="#_page_1">Home <i class="icon-arrow-right-5"></i> Projects</a></li>
</ul>
<div class="frames" style="margin-top:0px;>
<div class="frame" id="_page_1">
<div class="panel" id="intro" style="width:100%;">
<div class="panel-content fg-dark nlp nrp" style="font-size:11pt">
<table class="table hovered striped">
<thead>
<tr>
<th class="text-left">Duration</th>
<th class="text-left" width="40%">Title</th>
<th class="text-left" width="40%">Funding</th>
<th class="text-left">My role</th>
</tr>
</thead>
<tbody>
<tr class="">
<td>2023 ~ 2026 </td>
<td class="right">安全攸关软件的智能开发方法与支撑环境</td>
<td class="right">国家重点研发计划项目</td>
<td class="right">课题负责人</td>
</tr>
<tr class="">
<td>2024 ~ 2027 </td>
<td class="right">泛在操作系统的形式化建模与评估验证方法研究</td>
<td class="right">国家自然科学基金-“叶企孙”科学基金（重点项目）</td>
<td class="right">Co-PI</td>
</tr>
<tr class="">
<td>2022 ~ 2026 </td>
<td class="right">面向智能制造的操作系统体系结构与自主安全内核</td>
<td class="right">国家自然科学基金 重点项目</td>
<td class="right">Co-PI</td>
</tr>
<tr class="">
<td>2025 ~ 2026 </td>
<td class="right">面向工业现场计算的泛在操作系统</td>
<td class="right">浙江省“尖兵”计划项目</td>
<td class="right">课题负责人</td>
</tr>
<tr class="">
<td>2021 ~ 2023 </td>
<td class="right">面向XXX的嵌入式实时操作系统</td>
<td class="right">工信部重大专项</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2022 ~ 2024 </td>
<td class="right">面向智能制造的场景操作系统研究</td>
<td class="right">浙江省“尖兵”计划项目</td>
<td class="right">课题负责人</td>
</tr>
<tr class="">
<td>2019 ~ 2022 </td>
<td class="right">符合工业标准的多核隔离内核形式规约与安全验证技术</td>
<td class="right">国家自然科学基金面上项目</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2019 ~ 2020 </td>
<td class="right">完全自主的物联网操作系统SylixOS</td>
<td class="right">工信部专项项目</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2023 ~ 2024 </td>
<td class="right">电网感知设备的操作系统微内核开发</td>
<td class="right">国家电网</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2023 ~ 2024 </td>
<td class="right">设备嵌入式容器技术与操作系统研发</td>
<td class="right">国家电网</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2023 </td>
<td class="right">敏捷形式化验证算法研究</td>
<td class="right">中国军事科学院</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2022 ~ 2023 </td>
<td class="right">小米手机MiTEE OS形式化验证项目</td>
<td class="right">小米集团(Xiaomi)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2022 ~ 2023 </td>
<td class="right">JAVA开源组件的形式化验证</td>
<td class="right">中兴通讯(ZTE)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2024 </td>
<td class="right">小米芯片核心软件的CC EAL5+安全评估</td>
<td class="right">小米集团(Xiaomi)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2022 ~ 2023 </td>
<td class="right">小米手机MiTEE的CC EAL5+安全评估</td>
<td class="right">小米集团(Xiaomi)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2023 ~ 2024 </td>
<td class="right">某航天嵌入式操作系统CC EAL5+安全评估</td>
<td class="right">航天科工集团</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2022 ~ 2023 </td>
<td class="right">中科海微SeaWayOS CC EAL5+安全评估</td>
<td class="right">中科海微</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2020 ~ 2021 </td>
<td class="right">元心微内核操作系统CC EAL5+安全评估</td>
<td class="right">元心科技</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2022 ~ 2023 </td>
<td class="right">中国移动 摄像头CC EAL3+安全评估</td>
<td class="right">中国移动通信集团终端有限公司</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2020 ~ 2022 </td>
<td class="right">XXX操作系统内核形式化验证</td>
<td class="right">大唐电信</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2021 ~ 2022 </td>
<td class="right">华为海思形式化验证项目</td>
<td class="right">华为技术有限公司(Huawei)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2020 ~ 2021 </td>
<td class="right">华为云形式化验证项目</td>
<td class="right">华为技术有限公司(Huawei)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2020 ~ 2021 </td>
<td class="right">微内核操作系统形式化建模和验证</td>
<td class="right">元心科技</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2019 ~ 2021 </td>
<td class="right">XXX操作系统形式化验证</td>
<td class="right">中国军事科学院</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2020 ~ 2021 </td>
<td class="right">高速飞行列车XXXX形式化验证</td>
<td class="right">航天科工</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2019 ~ 2020 </td>
<td class="right">通用安全策略框架(一期)</td>
<td class="right">蚂蚁集团(AntGroup)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2021 ~ 2022 </td>
<td class="right">通用安全策略框架(二期)</td>
<td class="right">蚂蚁集团(AntGroup)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2020 </td>
<td class="right">支持星载XXXX的形式化验证</td>
<td class="right">航天五院</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2020 </td>
<td class="right">星载嵌入式XXXX分析与验证</td>
<td class="right">航天五院</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2018 ~ 2020 </td>
<td class="right">航空天脉OS时间可预测性形式化验证</td>
<td class="right">ZF项目</td>
<td class="right">课题负责人</td>
</tr>
<tr class="">
<td>2018 ~ 2019 </td>
<td class="right">载人航天工程安全关键软件形式化分析与验证技术</td>
<td class="right">载人航天工程计划重点项目</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2018 ~ 2019 </td>
<td class="right">统一建模语言的设计与实现</td>
<td class="right">航天五院</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2018 ~ 2019 </td>
<td class="right">航天SpaceOS形式化验证</td>
<td class="right">航天五院</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2017 ~ 2018 </td>
<td class="right">绿地物联网操作系统形式化验证</td>
<td class="right">中兴通讯(ZTE)</td>
<td class="right">项目负责人</td>
</tr>
<tr class="">
<td>2014 ~ 2015 </td>
<td class="right">基于模型的安全关键软件开发工具研究</td>
<td class="right">北京神舟航天软件技术有限公司</td>
<td class="right">项目负责人</td>
</tr>
</tbody>
</table>
</div>
</div>
</div>
</div>
</div>
</div> <!-- End first group -->
</div>
</div> <!-- End of tiles -->
<footer data-load="footer.html">
</footer>
</div>
<script src="js/hitua.js"></script>
</body>
</html>