JP2009151420A - ソフトウェア動作監視装置、プログラム - Google Patents
ソフトウェア動作監視装置、プログラム Download PDFInfo
- Publication number
- JP2009151420A JP2009151420A JP2007326943A JP2007326943A JP2009151420A JP 2009151420 A JP2009151420 A JP 2009151420A JP 2007326943 A JP2007326943 A JP 2007326943A JP 2007326943 A JP2007326943 A JP 2007326943A JP 2009151420 A JP2009151420 A JP 2009151420A
- Authority
- JP
- Japan
- Prior art keywords
- module
- software
- execution
- normal
- failure
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
【解決手段】ソフトウェア動作監視装置1が具備するモジュール動作抽出部13は、モジュール11の実行時の動作が記録される実行動作記録部19を具備し、モジュール11の実行時の動作を抽出し、実行動作記録部19に記録する。モジュール動作解析部15は、予めモジュール11の正常動作が記録されている正常動作記録部23を具備し、実行動作記録部19及び正常動作記録部23を参照し、モジュール11の実行時の動作が正常か否かを示す正常パターン比較表21を更新する。故障伝播解析部17は、正常パターン比較表21を参照し、実行時の動作が正常ではなかったモジュール11から故障が伝播している度合いを示す故障伝播レベル表27を更新する。
【選択図】図9
Description
図1に示すように、部分集合(A)は、事前条件を違反し、かつテスト実施済のパターンである。部分集合(A)に対しては、モジュールの正常動作を定義することができる。
部分集合(B)は、事前条件を充足し、かつテスト実施済のパターンである。部分集合(B)に対しては、モジュールの正常動作を定義することができる。
部分集合(C)および部分集合(D)は、事前条件を充足し、かつテスト未実施のパターンである。部分集合(C)は、モジュールの動作が正常のパターンである。一方、部分集合(D)は、モジュールの動作が異常のパターンである。このように、テスト未実施のパターンについては、モジュールの動作が正常または異常のいずれであるか判断をすることができない。
部分集合(E)は、事前条件を違反しているパターンである。この場合、モジュールの定義から言えば、出力値は事後条件を満足しないものであっても良い。
本発明の実施の形態に係るソフトウェア動作監視装置は、このようにモジュールの動作を捉えて、モジュール単位の動作を監視する。
ROMは、不揮発性メモリであり、ソフトウェア動作監視装置1のブートプログラムやBIOS等のプログラム、データ等を恒久的に保持している。
RAMは、揮発性メモリであり、記憶部5、ROM等からロードしたプログラム、データ等を一時的に保持するとともに、制御部3が各種処理を行う為に使用するワークエリアを備える。
一致する場合、制御部3は、モジュールMnの動作を「正常」と判断し(ステップ104)、判断結果を基に正常パターン比較表21を更新する。
一致しない場合、制御部3は、モジュールMnの動作を「不明」と判断し(ステップ105)、判断結果を基に正常パターン比較表21を更新する。
終了していない場合、制御部3は、ステップ101から処理を繰り返す(ステップ106のNo)。
終了している場合、制御部3は、ステップ107に進む(ステップ106のYes)。
正常である場合、制御部3は、ステップ110に進む。
正常でない場合、制御部3は、ステップ107で決定したモジュールMnの後続のモジュール11の中で動作が「不明」であるモジュール11の個数Unをカウントし、故障伝播レベル表27を更新する(ステップ109)。
終了していない場合、制御部3は、ステップ107から処理を繰り返す(ステップ110のNo)。
終了している場合、制御部3は、ステップ111に進む(ステップ110のYes)。
3………制御部
5………記憶部
7………通信制御部
9………バス
11………モジュール
13………モジュール動作抽出部
15………モジュール動作解析部
17………故障伝播解析部
19………実行動作記録部
21………正常パターン比較表
23………正常動作記録部
25………モジュール間距離表
27………故障伝播レベル表
Claims (7)
- 互いに入出力のやり取りを行う複数のモジュールによって構成されているソフトウェアの動作を監視するソフトウェア動作監視装置であって、
モジュールの実行時の動作が記録される実行動作記録部を具備し、前記モジュールの実行時の動作を抽出し、前記実行動作記録部に記録するモジュール動作抽出部と、
予め前記モジュールの正常動作が記録されている正常動作記録部を具備し、前記実行動作記録部及び前記正常動作記録部を参照し、前記モジュールの実行時の動作が正常か否かを示す正常パターン比較表を更新するモジュール動作解析部と、
前記正常パターン比較表を参照し、実行時の動作が正常ではなかったモジュールから故障が伝播している度合いを示す故障伝播レベル表を更新する故障伝播解析部と、
を具備することを特徴とするソフトウェア動作監視装置。 - 前記故障伝播解析部は、更に、前記モジュール間の距離を示すモジュール間距離表を具備し、前記モジュール間距離表も参照して前記故障伝播レベル表を更新するものであることを特徴とする請求項1に記載のソフトウェア動作監視装置。
- 監視対象のソフトウェアは周期実行タスクとして実行され、各モジュールは前回実行時の出力値を入力値として用いるものであって、
前記ソフトウェアの実行ごとに動作を監視するものであることを特徴とする請求項1または請求項2に記載のソフトウェア動作監視装置。 - 前記故障伝播レベル表を参照し、故障伝播の度合いを解析し、障害への進展を予測する障害予測部、
を更に具備することを特徴とする請求項1から請求項3のいずれかに記載のソフトウェア動作監視装置。 - 前記モジュールの動作のパターンは、システムコールの時系列パターン、条件分岐パターン、他モジュールとの通信の時系列パターン等の任意の組み合わせとして定義されるものであることを特徴とする請求項1から請求項4のいずれかに記載のソフトウェア動作監視装置。
- 監視対象のソフトウェアは連続する処理を行う複数のモジュールで構成され、より後続の処理を行う前記モジュールに対して、テスト実施済のパターンを増やすことを特徴とする請求項1から請求項5のいずれかに記載のソフトウェア動作監視装置。
- 制御部および記憶部を具備する装置を請求項1から請求項6のいずれかに記載のソフトウェア動作監視装置として機能させるプログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007326943A JP5056396B2 (ja) | 2007-12-19 | 2007-12-19 | ソフトウェア動作監視装置、プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007326943A JP5056396B2 (ja) | 2007-12-19 | 2007-12-19 | ソフトウェア動作監視装置、プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009151420A true JP2009151420A (ja) | 2009-07-09 |
JP5056396B2 JP5056396B2 (ja) | 2012-10-24 |
Family
ID=40920535
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007326943A Expired - Fee Related JP5056396B2 (ja) | 2007-12-19 | 2007-12-19 | ソフトウェア動作監視装置、プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5056396B2 (ja) |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013168066A (ja) * | 2012-02-16 | 2013-08-29 | Nec Computertechno Ltd | 情報処理装置および故障診断方法 |
WO2014030707A1 (ja) * | 2012-08-23 | 2014-02-27 | トヨタ自動車株式会社 | 自己監視機能を備えたコンピュータ、監視プログラム |
JP2017005821A (ja) * | 2015-06-08 | 2017-01-05 | 富士電機株式会社 | 電源装置 |
JPWO2021220321A1 (ja) * | 2020-04-27 | 2021-11-04 | ||
JP7521338B2 (ja) | 2020-09-02 | 2024-07-24 | 株式会社デンソー | 駆動装置および負荷駆動システム |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000293401A (ja) * | 1999-04-02 | 2000-10-20 | Hitachi Ltd | ソフトウェア異常処理装置を備えた分散処理計算機システム |
JP2006053788A (ja) * | 2004-08-12 | 2006-02-23 | Ntt Docomo Inc | ソフトウェア動作監視装置及びソフトウェア動作監視方法 |
JP2007249373A (ja) * | 2006-03-14 | 2007-09-27 | Osaka Prefecture Univ | 分散型プログラムの監視システム |
-
2007
- 2007-12-19 JP JP2007326943A patent/JP5056396B2/ja not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000293401A (ja) * | 1999-04-02 | 2000-10-20 | Hitachi Ltd | ソフトウェア異常処理装置を備えた分散処理計算機システム |
JP2006053788A (ja) * | 2004-08-12 | 2006-02-23 | Ntt Docomo Inc | ソフトウェア動作監視装置及びソフトウェア動作監視方法 |
JP2007249373A (ja) * | 2006-03-14 | 2007-09-27 | Osaka Prefecture Univ | 分散型プログラムの監視システム |
Cited By (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013168066A (ja) * | 2012-02-16 | 2013-08-29 | Nec Computertechno Ltd | 情報処理装置および故障診断方法 |
WO2014030707A1 (ja) * | 2012-08-23 | 2014-02-27 | トヨタ自動車株式会社 | 自己監視機能を備えたコンピュータ、監視プログラム |
JP2014041554A (ja) * | 2012-08-23 | 2014-03-06 | Toyota Infotechnology Center Co Ltd | 自己監視機能を備えたコンピュータ、監視プログラム |
CN104583969A (zh) * | 2012-08-23 | 2015-04-29 | 丰田自动车株式会社 | 具备自监视功能的计算机、监视程序 |
JP2017005821A (ja) * | 2015-06-08 | 2017-01-05 | 富士電機株式会社 | 電源装置 |
JPWO2021220321A1 (ja) * | 2020-04-27 | 2021-11-04 | ||
JP7278478B2 (ja) | 2020-04-27 | 2023-05-19 | 三菱電機株式会社 | 情報処理装置及び情報処理方法 |
JP7521338B2 (ja) | 2020-09-02 | 2024-07-24 | 株式会社デンソー | 駆動装置および負荷駆動システム |
Also Published As
Publication number | Publication date |
---|---|
JP5056396B2 (ja) | 2012-10-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9245116B2 (en) | Systems and methods for remote monitoring, security, diagnostics, and prognostics | |
Soualhia et al. | Infrastructure fault detection and prediction in edge cloud environments | |
KR102025556B1 (ko) | 처리 장치, 추적 유닛 및 진단 장치 | |
KR101331935B1 (ko) | 추적점 기반의 고장 진단/복구 시스템 및 그 방법 | |
JP5056396B2 (ja) | ソフトウェア動作監視装置、プログラム | |
US10089214B1 (en) | Automated detection of faults in target software and target software recovery from some faults during continuing execution of target software | |
WO2017051562A1 (ja) | 異常診断システム | |
US8065565B2 (en) | Statistical debugging using paths and adaptive profiling | |
Singh et al. | Verification of safety critical and control systems of Nuclear Power Plants using Petri nets | |
EP3839727A1 (en) | Multi-model code management | |
CN114238980B (zh) | 一种工控设备漏洞挖掘方法、系统、设备及存储介质 | |
US11256562B2 (en) | Augmented exception prognosis and management in real time safety critical embedded applications | |
CN110825561A (zh) | 控制系统以及控制装置 | |
JP2007299213A (ja) | Raid制御装置および障害監視方法 | |
KR102340395B1 (ko) | 플랜트의 고장을 진단하기 위한 장치 및 이를 위한 방법 | |
US8359577B2 (en) | Software health management testbed | |
JP6880961B2 (ja) | 情報処理装置、およびログ記録方法 | |
JP6504610B2 (ja) | 処理装置、方法及びプログラム | |
WO2016063816A1 (ja) | 計算機システムの異常予兆検出装置および方法 | |
GB2590414A (en) | Anomaly detection for code management | |
US20220113716A1 (en) | Method for detecting abnormal event and apparatus implementing the same method | |
JP2009223714A (ja) | 演算回路及び演算回路の異常解析方法 | |
CN100369009C (zh) | 使用系统管理中断信号的监控系统及方法 | |
CN113377588A (zh) | 硬盘的可持续集成测试方法、装置及计算机设备 | |
CN107045606A (zh) | 用于监测程序代码的执行的方法和设备 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20101108 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20120227 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120313 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120417 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20120703 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20120716 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150810 Year of fee payment: 3 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20150810 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |