リアルタイムソフトウェアシステムの予防保全に関する理論的研究

实时软件系统预防性维护的理论研究

基本信息

批准号：
13780367
负责人：
土肥正
金额：
$ 1.09万
依托单位：
Hiroshima University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2002
项目状态：
已结题

项目摘要

本年度は,オペレーティングシステムに対する予防保全スケジュールの生成問題について調査した.Software Rejuvenationを実施することが最も効果的なリアルタイムシステムはオペレーティングシステムであると考えられるため,オペレーティングシステムにおけるエージング現象をモデル化し,オペレーティングシステム上で動作している多くのアプリケーションソフトウェアに対する非同期的挙動を数理的に表現することが本質的に重要な問題となる.これは,外部環境からのアクセスに対する確率的性質に大きく依存するサーバシステムとは異なり,非同期性,分散性,協調性を伴う離散事象システムとして捉える必要がある.オペレーティングシステムの動作特性を記述するためには様々な方法が考えられるが,本研究では確率ペトリネットによるアプローチを採用した.最も単純な指数発火を伴う確率ペトリネットを解析するためには,その可達木が連続状態マルコフ連鎖に帰着されることから,初年度に構築したSHARP2000に基づいたアルゴリズムを直接用いればよい.しかしながら,オペレーティングシステムにおけるエージング特性は無記憶性を有することが稀であるのが通常であり,より一般的なMarkov Regenerative確率ペトリネットのクラスに属する確率過程によって記述される.現在までにMarkov Regenerative確率ペトリネットの専用解析ツールはデューク大学電気計算機工学科において開発された"SPNP2000"だけであり,さらにソフトウェアディペンダビリティ尺度を算出したり予防保全アルゴリズムを決定するために,SPNP2000のカーネル部分の改良を行った.また,ここではSPNP2000上でオペレーティングシステムの動作特性を表現し,さらに予防保全スケジュールとディペンダビリティ尺度を計算するためのアルゴリズムの開発ならびにシステムの実装を行った.購入したデスクトップ型パーソナルコンピュータは,SPNP2000の専用ハードウェアとして,また大学研究室に設置している全ての端末からオペレーティングシステムの動作情報を逐次記録するためのデータベースとしても利用した.初年度購入したノート型パーソナルコンピュータとの互換性は,データやアルゴリズムの共同利用を行うためには不可欠であったため,Windowsマシンの中でも特にコンパチブルなタイプを選定した.最終的に,Nバージョンプログラミングやリカバリブロック等の典型的な耐故障計算技術とのパフォーマンスを比較し,高信頼性リアルタイムシステムに対するRejuvenation Scheduleの有効性を調べた.

今年，我们研究了为操作系统生成预防性维护计划的问题。软件由于回春最有效的实时系统被认为是操作系统，因此我们对操作系统中的老化现象进行了建模，并从数学上计算了操作系统上运行的许多应用软件的异步行为。与严重依赖概率属性从外部环境捕获的服务器系统不同，它是表示为具有异步、分布和协调的离散事件系统的重要问题。可以考虑多种方法来描述操作系统的运行特性，但在本研究中，我们采用了使用随机 Petri 网的方法。为了分析具有指数激发的最简单的随机 Petri 网，我们，可达树是一个连续状态标记因此，可以直接使用第一年构建的基于SHARP2000的算法，但是操作系统中的老化特性通常是非内存的，最好使用通用马尔可夫。它由属于再生随机 Petri 网类的随机过程来描述。迄今为止，马尔可夫再生随机Petri网的唯一专用分析工具是杜克大学电气与计算机工程系开发的“SPNP2000”。此外，我们还表达了SPNP2000操作系统的运行特性，并开发了算法并实现了计算预防性维护计划和可靠性措施的系统。它被用作NP2000的专用硬件，同时也作为数据库，顺序记录大学实验室安装的所有终端的操作系统操作信息。与第一年购买的笔记本个人电脑兼容，共享数据和算法的使用因此，我们选择了一款特别兼容的Windows机器，因为它对于复兴至关重要我们调查了时间表的有效性。

项目成果

期刊论文数量（13）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Hypothyroidism after Sunitinib Treatment for Patients with Gastrointestinal Stromal Tumors

胃肠道间质瘤患者舒尼替尼治疗后甲状腺功能减退症

DOI：
10.7326/0003-4819-145-9-200611070-00008
发表时间：
2006-11-07
期刊：
Annals of Internal Medicine
影响因子：
39.2
作者：
J. Desai;L. Yassa;E. Marqusee;S. George;M. Frates;M. Chen;J. Morgan;S. Dychter;P. Larsen;G. Demetri;E. Ale;er;er
通讯作者：
er