-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex-2.html
64 lines (62 loc) · 3.79 KB
/
index-2.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
<!DOCTYPE HTML>
<html lang="ja">
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/index.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:54:38 GMT -->
<head>
<meta charset="utf-8">
<title>超高信頼ソフトウエアシステム検証学研究室</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-2.html"><font color=#ffffff>超高信頼ソフトウエアシステム検証学研究室</font></a></h1>
</header>
<div id="nav_frame">
<nav>
<ul id="nav1">
<li><a href="index-2.html">ホーム</a></li>
<li><a href="research.html">研究内容</a></li>
<li><a href="members.html">メンバー</a></li>
<li><a href="publications.html">研究業績</a></li>
<li><a href="access.html">アクセス</a></li>
<li><a href="index-e.html">ENGLISH</a></li>
</ul>
</nav>
<div id="link">
<p>LINKS</p>
<ul id="nav2">
<li><a href="http://www.naist.jp/index_j.html">奈良先端科学技術大学院大学</a></li>
<li><a href="http://isw3.naist.jp/home-ja.html">奈良先端科学技術大学院大学 情報科学研究科</a></li>
<li><a href="http://stage.tksc.jaxa.jp/jedi/index.html">宇宙航空研究開発機構 研究開発部門 第三研究ユニット</a></li>
<li><a href="http://sdlab.naist.jp/">ソフトウェア設計学研究室</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>今日、組み込みシステムや社会インフラシステムは、国家や人命の安全を支える根幹として位置づけられており、それらの超高信頼性を確保することは社会全体の安全性を高める上での最重要課題の一つです。超高信頼ソフトウエアシステム検証学研究室では、宇宙航空研究開発機構 研究開発部門 第三研究ユニットの持つ、宇宙システムにおける超高信頼性や安全性に関する研究および実践における高い実績にもとづいて、極限環境で正しい動作が求められるソフトウェアの超高信頼性・安全性を実現するためのソフトウェア検証方法論を研究します。特に、現在の重要課題である、複雑分散ソフトウエアシステムの検証 網羅性保証(End-to-End評価)に必要な以下の方法論を研究・教育します。これらの研究成果は、宇宙システムに限らない、社会基盤システム全般の超高信頼化への応用が期待されています。</p>
</div>
<div id="news">
<h3 class="top">NEWS & TOPICS</h3>
<ul>
<li>研究内容、研究室のメンバー、研究業績一覧を更新しました (2020.4.1)</li>
<!-- <li>研究室のページを開設しました(2016.4.1)</li> -->
</ul>
</div>
</div>
</div>
<footer>
<div id="footer_color">
<div id="copy">Copyright © 超高信頼ソフトウエアシステム検証学研究室 All rights reserved.</div>
<!--この行は削除できません--><div id="flink"><a href="http://www.cis-trans.jp/template.html">研究室ホームページテンプレート</a></div><!--この行は削除できません-->
</div>
</footer>
</body>
<!-- Mirrored from stage.tksc.jaxa.jp/jedi/JAXAlab/index.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 19 Mar 2020 13:54:38 GMT -->
</html>