-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex-e.html
66 lines (64 loc) · 3.56 KB
/
index-e.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
<!DOCTYPE HTML>
<html lang="en">
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/index-e.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:54:38 GMT -->
<head>
<meta charset="utf-8">
<title>High Reliability Software System Verification Laboratory</title>
<!--[if lt IE 9]>
<script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<script src="http://ie7-js.googlecode.com/svn/version/2.1(beta4)/IE9.js"></script>
<![endif]-->
<link href="css/style.css" rel="stylesheet" media="all">
</head>
<body>
<div id="container">
<header id="header">
<h1><a href="index-e.html"><font color=#ffffff>High Reliability Software System Verification Laboratory</font></a></h1>
</header>
<div id="nav_frame">
<nav>
<ul id="nav1">
<li><a href="index-e.html">HOME</a></li>
<li><a href="research-e.html">RESEARCH</a></li>
<li><a href="members-e.html">MEMBERS</a></li>
<li><a href="publications-e.html">PUBLICATIONS</a></li>
<li><a href="access-e.html">ACCESS</a></li>
<li><a href="index-2.html">JAPANESE</a></li>
</ul>
</nav>
<div id="link">
<p>LINKS</p>
<ul id="nav2">
<li><a href="http://www.naist.jp/index_j.html">Nara Institute of Science and Technology</a></li>
<li><a href="http://isw3.naist.jp/home-ja.html">Nara Institute of Science and Technology Graduate School of Information Science</a></li>
<li><a href="http://stage.tksc.jaxa.jp/jedi/index.html">Japan Aerospace Exploration Agency R&D Department Research Unit 3</a></li>
<li><a href="http://sdlab.naist.jp/">Software Design and Analysis Laboratory</a></li>
</ul>
</div>
</div>
<div id="top"><img src="image/top8.jpg" alt="" width="750" height="300"></div>
<div id="main">
<div id="about">
<h2 class="mt0">ABOUT US</h2>
<p>Recent embedded systems and infrastructure systems are recognized as the basis to accomplish national and human safety. Assurance of high reliability in those systems is one of the most critical issues to increase safety in the whole social system.
Based on the experienced studies and practices concerning high reliability and safety in the field of space systems established by Resarch Unit 3 in JAXA, our "High Reliability Software System Verification Laboratory" is focused on research into software verification methodologies to achieve high reliability and safety in software that must function properly under extreme environmental conditions.
Assurance method for verification completeness, such as End-to-End point of view for complex distributed software systems, is a recent key issue. In our lab, the main topics are "Reliability and Safety Verification methodology" and "Reliability and Safety Assurance methodology".
The research outcome will be expected to apply to practical use for systems that require high reliability not only in space systems but also in social core infrastructures.</p>
</div>
<div id="news">
<h3 class="top">NEWS & TOPICS</h3>
<ul>
<li>Our research topics, members list, and publications have been updated! (2020.4.1) </li>
<!-- <li>Our website has been set up !(2016.4.1)</li>-->
</ul>
</div>
</div>
</div>
<footer>
<div id="footer_color">
<div id="copy">Copyright © High Reliability Software System Verification Lab All rights reserved.</div>
</div>
</footer>
</body>
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/index-e.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:54:40 GMT -->
</html>