JPH1040177A - プログラムチェック方式 - Google Patents

Abstract

(57)【要約】 【課題】プログラムの異常を検出する時間がプログラム
サイズの増加により増大することを防ぎ、プログラムが
壊れたときに迅速な対応がとれる。 【解決手段】プログラムチェック処理部４ａは、タイマ
割込発生部２により周期的な割り込みが行われるごと
に、チェックブロック指定部３により指定されたプログ
ラムブロック１ブロックについてチェックサムを算出し
てチェックサム格納部５ａに格納し、チェックブロック
指定部３により指定されたプログラムブロックについて
は新しく算出されたチェックサムを、また他の全てのプ
ログラムブロックについてはチェックサム格納部５ａか
ら読み出したそれぞれのチェックサムを使用してプログ
ラムブロックのチェックサムの累計値を算出し、算出さ
れたチェックサムの累計値とチェックサム格納部６のチ
ェックサムと照合して、一致しないときにプログラムが
異常であると判定する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はプログラムチェック
方式に関し、特にメモリ上に展開され中央処理装置を動
作させる、コンピュータシステムにおけるプログラムチ
ェック方式に関する。

【０００２】

【従来の技術】読み出し専用メモリ（以下ＲＯＭとい
う）から読み出され、書き換え可能なメモリ（以下ＲＡ
Ｍという）上に展開されたプログラムを読み出して実行
する中央処理装置（以下ＣＰＵという）を用いたコンピ
ュータシステムにおいては、ＲＡＭが正常に動作してい
るかどうかをチェックするために、特開平４−５４２号
公報に示されるように、ＲＡＭ上に展開されたプログラ
ムが壊れているか否かをチェックし、このプログラムチ
ェックにより間接的にＲＡＭをチェックするする方法が
行われている。また、このプログラムチェックの方式と
しては、分割され複数のプログラムブロックとしてＲＡ
Ｍ上に格納されたプログラムを、システムの動作中に周
期的なタイマ割り込みにより順次１ブロックずつチェッ
クする方式が行われている。

【０００３】図４に上記に述べた従来のプログラムチェ
ック方式のブロック図を示す。図５は、図４のプログラ
ムチェック方式を有するコンピュータシステムの構成を
示すブロック図である。図４に示す従来のプログラムチ
ェック方式は、複数のプログラムブロックに分割された
チェック対象のプログラムを格納するチェック対象プロ
グラム格納部１と、システムの処理性能をあまり損なわ
ない程度の周期で割り込みを発生させるタイマ割込発生
部２と、チェックすべきプログラムブロックを指定する
チェックブロック指定部３と、指定されたプログラムブ
ロックのチェックサムを算出し、算出された各プログラ
ムブロックのチェックサムを加算した累計値を、あらか
じめ作成しておいたプログラム全体のチェックサムと照
合してプログラムの異常をチェックするプログラムチェ
ック処理部４ｂと、プログラムチェック処理部４ｂによ
り算出された各プログラムブロックのチェックサムをセ
ーブするチェックサム格納部５ｂと、あらかじめ作成さ
れた、プログラムのチェックサムを格納するチェックサ
ム格納部６と、プログラムの異常が検出された際の対応
処理を行うプログラム異常対応処理部７とから構成され
る。

【０００４】また、図５に示した、図４のプログラムチ
ェック方式を有する上記コンピュータシステムは、図４
のタイマ割込発生部２，チェックブロック指定部３，プ
ログラムチェック処理部４ｂおよびプログラム異常対応
処理部７を内蔵したＣＰＵ１２ｂと、メイン処理プログ
ラムおよびプログラムチェック用プログラムを格納する
領域とチェック対象プログラムについてあらかじめ算出
されたチェックサムを格納している領域すなわち図４の
チェックサム格納部６とを有しているＲＯＭ１３ｂと、
ＣＰＵ１２ｂがＲＯＭ１３ｂから読み出した、チェック
対象のプログラムであるメイン処理プログラムおよびプ
ログラムチェック用プログラムを格納する領域すなわち
図４のチェック対象プログラム格納部１を有するととも
に、プログラムブロックのチェックサムをセーブする領
域すなわち図４のチェックサム格納部５ｂを有するＲＡ
Ｍ１７ｂとから構成される。

【０００５】次に、動作を説明する。

【０００６】まず最初にコンピュータシステムのメイン
動作を説明する。図６は、図４のプログラムチェック方
式を有するコンピュータシステムにおけるメイン動作を
示す流れ図である。図５のＣＰＵ１２ｂに電源が投入さ
れるか、もしくはリセットが実行され、ＣＰＵ１２ｂが
ＲＯＭ１３ｂから読み出した、メイン処理プログラムお
よびプログラムチェック用プログラムを、あらかじめシ
ステムのメイン処理を圧迫しない程度の適当なサイズに
分割しブロック化し複数のプログラムブロックとして、
ＣＰＵ１２ｂはチェック対象プログラム格納部１上に格
納する（図５のステップ５１）。チェック対象プログラ
ム格納部１上に格納されたメイン処理プログラムにより
ＣＰＵ１２ｂが起動し、所定のイニシャライズ処理を実
行する（ステップ５２）。次に、プログラムのチェック
を周期的に行うためのタイマ割込発生部２の割り込み周
期の値が、オペレータによりシステムの動作を損わない
ような適切な値に設定されると（ステップ５３）、ＣＰ
Ｕ１２ｂはメイン処理プログラムによってメイン処理を
開始し、割り込みの発生時間を設定したタイマ割込発生
部２がタイムアウトをして割り込みが発生するまで繰り
返し与えられた処理を順次実行する（ステップ５４）。
ＣＰＵ１２ｂのタイマ割込発生部２が、設定された周期
によりタイマ割り込みを発生させると、ＣＰＵ１２ｂは
メイン処理の実行を一時中断させ、プログラムチェック
処理が実行される（ステップ５５）。プログラムチェッ
ク処理のルーチンの中でそのとき行われたプログラムチ
ェックの結果が判定され（ステップ５６）、正常であれ
ばそのときのタイマ割り込み時に割り当てられたプログ
ラムチェック処理が終了し、ステップ５４のメイン処理
の実行に戻る。チェック対象となるプログラムブロック
のチェックは一度のタイマ割り込み時に全てのプログラ
ムブロックについて行われるのではなく、周期的にタイ
マ割り込みが行われる都度、複数のブロックに分割され
たチェック対象のプログラムがブロックごとに順次チェ
ックされていく。また、ステップ５６でプログラムチェ
ックの結果が異常であった場合はチェックエラーの表示
が行われてプログラムチェック処理が終了し（ステップ
５７）、その後ＣＰＵ１２ｂは自らリセットを行って
（ステップ５８）、再起動する。

【０００７】次に、プログラムチェック用プログラムの
動作を説明する。図７は図４のプログラムチェック方式
における動作を示す流れ図である。

【０００８】図４のタイマ割込発生部２により図６に示
すタイマ割り込みが行われると（図７のステップ７
１）、まずタイマ割込発生部２がチェックブロック指定
部３を起動し、チェックブロック指定部３が、チェック
対象プログラム格納部１上に格納されている複数のプロ
グラムブロックのうちから、タイマによる割り込みの際
にチェック処理の対象となるプログラムブロックを指定
し、プログラムチェック処理部４ｂに通知する（ステッ
プ７２）。図７では、ｎ個のプログラムブロックのうち
の第ｉ番目のプログラムブロックがチェックブロック指
定部３により指定された状態が示されている。プログラ
ムチェック処理部４ｂは、チェックサム格納部５ｂから
チェックサムを読み出すとともに（ステップ７３）、チ
ェックブロック指定部３により指定されたプログラムブ
ロックについてのチェックサムを算出し、得られたその
プログラムブロックのチェックサムを、チェックサム格
納部５ｂから読み出したチェックサムに加算し（ステッ
プ７４）、チェックサム格納部５ｂにセーブする（ステ
ップ７５）。次に、プログラムチェック処理部４ｂは、
上記の処理が全てのプログラムブロックについて行われ
チェックサムの加算が終了したか否かをチェックし（ス
テップ７６）、上記処理が全てのプログラムブロックに
ついては行われておらず、まだ上記処理が終了していな
いプログラムが残っているときは、そのときのプログラ
ムブロックについてのプログラムチェックとしては処理
を終了し、動作をメインルーチンに渡す。ＣＰＵ１２ｂ
はプログラムチェック処理の終了により中断していたメ
イン処理を再開する。さらに、次のタイマの割り込みが
発生すると、前回プログラムチェックが行われたプログ
ラムブロックの次のプログラムブロックについて、また
ステップ７２からの動作が前回と同様に繰り返される。
このようにプログラムチェック処理は、プログラムチェ
ックのための割り込みが行われる度に、あらかじめ決め
られた順序で各プログラムブロックについて１ブロック
ずつ各ブロックをチェックしそのブロックのチェックサ
ムを求め、それまでのチェックの終了したプログラムブ
ロックのチェックサムの累計値である、チェックサム格
納部５ｂから読み出したチェックサムに次々と加算して
メモリ５に格納することを繰り返す。最後のプログラム
ブロックのチェックサムが加算された後に、ステップ７
６で全てのブロックの加算を終了したか否かのチェック
が行われると、プログラムチェック処理部４ｂは、あら
かじめ作成しチェックサム格納部６に格納されているチ
ェックサムを読み出し（ステップ７７）、このチェック
サムとチェックサム格納部５ｂに格納された上記の全て
のブロックのチェックサムの累計値とが一致するかどう
かのチェックを行う（ステップ７８）。この照合の結
果、プログラムチェック処理部４ｂは、両者が一致すれ
ば異常なしと判定してチェックサムをクリア（ステップ
７９）した後、動作をメインルーチンに渡し、タイマ割
り込みによるチェック処理を終了する。このタイマ割り
込みによるプログラムチェック処理の終了でメインルー
チンの動作は通常処理に復帰するが、周期的に行われる
タイマ割り込みによるプログラムチェック処理は継続す
る。また、両者が一致しなかった場合はプログラムチェ
ック処理部４ｂはプログラムが異常であるものと判定し
てプログラム異常対応処理部７を起動し、プログラム異
常対応処理部７は検出されたプログラムの異常に対し定
められた対応処理を行う（ステップ８０）。

【０００９】

【発明が解決しようとする課題】上述した従来のプログ
ラムチェック方式は、タイマ割り込みが行われるごと
に、分割された複数のプログラムブロックを１ブロック
ずつチェックしてそれぞれのチェックサムを求め、全て
のプログラムブロックのチェックを終了した後で、それ
ぞれのプログラムブロックのチェックサムを加算しプロ
グラム全体のチェックサムを求めてから、あらかじめ算
出してあったチェックサムとの照合を行うことになるの
で、プログラム領域の最後までプログラムチェック処理
を行わないとプログラムの異常を検出することができな
いことになり、プログラムのサイズが増加するに従って
プログラムの異常を検出するための時間が増大するとい
う欠点を有している。

【００１０】本発明の目的は、プログラムの異常を検出
するための時間がプログラムサイズの増加により増大す
ることを防ぎ、プログラムの異常が検出されたときに迅
速な対応がとれることを可能にするプログラムチェック
方式を提供することにある。

【００１１】

【課題を解決するための手段】本発明のプログラムチェ
ック方式は、ＣＰＵのプログラムの異常を検出するため
チェックサムを用いてプログラムチェックを行うとき
に、前記プログラムを複数のプログラムブロックに分割
してＲＡＭに格納し、周期的に作動するタイマによる１
回の割り込みで１つのプログラムブロックのチェックサ
ムを算出して記憶保持し、前記タイマによる割り込みご
とにチェック対象となる前記プログラムブロックを順次
変えて、前記タイマによる複数回の割り込みで前記プロ
グラムブロック全てのチェックサムを算出し、前記複数
のプログラムブロックのチェックサムの累計値を算出し
て、前記累計値とあらかじめ算出しておいた前記プログ
ラムのチェックサムとを照合して前記プログラムの異常
の有無を判定するプログラムチェック方式において、前
記タイマによる割り込みごとに、そのときのチェック対
象の前記プログラムブロック１ブロックについて前記チ
ェックサムを新しく算出し新しく算出した前記チェック
サムでそれまで記憶保持していたチェックサムを更新
し、前記チェック対象のプログラムブロックの更新され
たチェックサムと残りの他の全てのプログラムブロック
のそれまで記憶保持されていたチェックサムとを加算し
前記複数のプログラムブロックのチェックサムの累計値
を算出して前記プログラムのチェックサムと照合し、前
記タイマによる割り込みごとに前記プログラムの異常の
有無を判定するように構成される。

【００１２】また、本発明のプログラムチェック方式
は、（Ａ）複数のプログラムブロックに分割されたチェ
ック対象のプログラムを格納する書き換え可能なチェッ
ク対象プログラム格納手段、（Ｂ）周期的な割り込みを
発生するタイマ割込発生手段、（Ｃ）あらかじめ算出し
た前記プログラムのチェックサムを格納する第１のチェ
ックサム格納手段、（Ｄ）前記タイマ割込発生手段の出
力により起動され、起動されるごとに前記チェック対象
プログラム格納手段に格納された複数のプログラムブロ
ックのうちの１つのプログラムブロックを順次指定する
チェックブロック指定手段、（Ｅ）前記チェックブロッ
ク指定手段により指定されたプログラムブロックを読み
出し前記プログラムブロックのチェックサムを算出した
後、前記プログラムブロックの全てのチェックサムの累
計値を算出して、前記累計値と前記第１のチェックサム
格納手段に格納されているチェックサムとを照合して、
両方の値が一致しないとき前記プログラムが異常である
と判定するプログラムチェック処理手段、（Ｆ）算出さ
れた前記プログラムブロックのチェックサムを格納する
第２のチェックサム格納手段、を備え、前記チェック対
象プログラム格納手段上に展開された前記プログラムを
実行するコンピュータシステムにおけるプログラムチェ
ック方式において、前記プログラムチェック処理手段
は、前記タイマ割込発生手段により周期的な割り込みが
行われるごとに、前記チェックブロック指定手段により
指定されたプログラムブロック１ブロックについてチェ
ックサムを算出して前記第２のチェックサム格納手段に
格納し、新しく算出された前記チェックサムと残りの他
の全てのプログラムブロックについて前記第２のチェッ
クサム格納手段から読み出したチェックサムとを加算し
て前記プログラムブロックのチェックサムの累計値を算
出し、前記第１のチェックサム格納手段のチェックサム
と照合して、前記タイマによる割り込みごとに前記プロ
グラムの異常の有無を判定するように構成される。

【００１３】

【発明の実施の形態】次に、本発明の実施の形態につい
て図面を参照して説明する。

【００１４】図１は、本発明のプログラムチェック方式
の実施の一形態を示すブロック図である。図２は、図１
のプログラムチェック方式を有するコンピュータシステ
ムの構成を示すブロック図である。

【００１５】図１に示す本実施の形態のプログラムチェ
ック方式は、複数のプログラムブロックに分割されたチ
ェック対象のプログラムを格納するチェック対象プログ
ラム格納部１と、システムの処理性能をあまり損なわな
い程度の周期で割り込みを発生させるタイマ割込発生部
２と、チェックすべきプログラムブロックを指定するチ
ェックブロック指定部３と、プログラムの正常性をチェ
ックするプログラムチェック処理部４ａと、プログラム
チェック処理部４ａにより算出された各プログラムブロ
ックのチェックサムをセーブするチェックサム格納部５
ａと、あらかじめ作成された、プログラムのチェックサ
ムを格納するチェックサム格納部６と、プログラムの異
常が検出された際の対応処理を行うプログラム異常対応
処理部７とから構成される。

【００１６】また、図２に示した、図１のプログラムチ
ェック方式を有する上記コンピュータシステムは、図１
のタイマ割込発生部２，チェックブロック指定部３，プ
ログラムチェック処理部４ａおよびプログラム異常対応
処理部７を内蔵したＣＰＵ１２ａと、メイン処理プログ
ラムおよびプログラムチェック用プログラムを格納する
領域とチェック対象のプログラムのチェックサムを格納
している領域すなわち図１のチェックサム格納部６とを
有しているＲＯＭ１３ａと、ＣＰＵ１２ａがＲＯＭ１３
ａから読み出した、チェック対象のプログラムであるメ
イン処理プログラムおよびプログラムチェック用プログ
ラムを格納する領域すなわち図１のチェック対象プログ
ラム格納部１を有するとともに、複数のプログラムブロ
ックのチェックサムをセーブする領域すなわち図１のチ
ェックサム格納部５ａを有したＲＡＭ１７ａとから構成
される。

【００１７】次に、動作を説明する。

【００１８】まず、プログラムチェック用プログラムの
動作を説明する。図３は、図１のプログラムチェック方
式における動作の一例を示す流れ図である。

【００１９】図１のタイマ割込発生部２により図６に示
すタイマ割り込みが行われると（図３のステップ２
１）、まずタイマ割込発生部２がチェックブロック指定
部３を起動し、チェックブロック指定部３が、チェック
対象プログラム格納部１上に格納されている複数のプロ
グラムブロックのうちから、タイマによる割り込みの際
にチェック処理の対象となるプログラムブロックを指定
し、プログラムチェック処理部４ａに通知する（ステッ
プ２２）。図３では、ｎ個のプログラムブロックのうち
の第ｉ番目のプログラムブロックがチェックブロック指
定部３により指定された状態が示されている。プログラ
ムチェック処理部４ａは、チェックブロック指定部３に
より指定されたプログラムブロックについてのチェック
サムを算出し（ステップ２３）、得られたそのプログラ
ムブロックのチェックサムにより、チェックサム格納部
５ａにセーブされている該当するチェックサムを更新す
る（ステップ２４）。次に、プログラムチェック処理部
４ａは、チェックサム格納部５ａにセーブされている第
１ブロック〜第ｎブロックの全てのチェックサムを加算
する（ステップ２５）。プログラムチェック処理部４ａ
は、あらかじめ作成しチェックサム格納部６に格納され
ているチェックサムを読み出し（ステップ２６）、この
チェックサムとチェックサム格納部５ａにセーブされた
ｎ個の全てのブロックのチェックサムの累計値とが一致
するかどうかのチェックを行う（ステップ２７）。この
照合の結果、プログラムチェック処理部４ａは、両者が
一致すれば異常なしと判定して各プログラムブロックの
チェックサムの累計値をクリアした後、動作をメインル
ーチンに渡し、タイマ割り込みによるチェック処理を終
了する。このタイマ割り込みによるチェック処理の終了
でメインルーチンの動作は通常処理に復帰するが、周期
的に行われるタイマ割り込みによるチェック処理は継続
する。また、両者が一致しなかった場合はプログラムチ
ェック処理部４ａはプログラムが異常であるものと判定
してプログラム異常対応処理部７を起動し、プログラム
異常対応処理部７は検出されたプログラムの異常に対し
定められた対応処理を行う（ステップ２８）。

【００２０】上記の処理がｎ個の全てのプログラムブロ
ックについて行われる。プログラムチェックのための割
り込みが行われると、あらかじめ決められた順序でｎ個
のプログラムブロックのうち１ブロックが指定されてチ
ェックされ、そのプログラムブロックのチェックサムの
みが算出され、チェックサム格納部５ａにセーブされて
いるｎ個のブロックのチェックサムのうち、上記のチェ
ックサムが算出されたプログラムブロックのチェックサ
ムのみが、上記の算出されたチェックサムで更新され
る。他のプログラムブロックのチェックサムは更新され
ず、それまでの値のままである。このような状態で、チ
ェックサム格納部５ａにセーブされているｎ個全てのプ
ログラムブロックのチェックサムが加算され、あらかじ
め作成しチェックサム格納部６に格納されているチェッ
クサムと照合される。ただし、上記に述べたように、１
回の割り込みでは、ｎ個あるプログラムブロックのう
ち、１つのプログラムブロックのみがチェックサムを算
出され、そのデータに該当する、チェックサム格納部５
ａにセーブされているチェックサムのみが値を更新され
るようになっているので、システムが立ち上がったばか
りのとき、すなわちまだ割り込みの回数がｎ回に達して
おらず、従ってｎ個のプログラムブロックのうちの一部
のプログラムブロックがチェックサムを算出されていな
い状態のときは、チェックサム格納部６に格納されてい
るプログラム全体のチェックサムとの照合ができないの
で、ｎ個のプログラムブロックのチェックサムが全て算
出された段階まで照合を待つ必要がある。

【００２１】上記の説明ではタイマによる割り込みは周
期的に行われることで説明したが、任意の決められた時
間で行われることであってもよい。

【００２２】

【発明の効果】以上説明したように、本発明のプログラ
ムチェック方式は、タイマ割り込みが行われ、指定され
た１つのプログラムブロックのチェックサムが新しく算
出されたら、そのときのタイマ割り込みの処理では、他
のプログラムブロックのチェックサムについては以前の
ままのチェックサムを使用して各プログラムブロックの
チェックサムの累計値を算出しプログラム全体のチェッ
クサムを求めることにより、タイマ割り込みが行われる
ごとに、プログラム全体のチェックサムとあらかじめ算
出してあったチェックサムとの照合を行うことができる
ので、プログラムの異常を検出するための時間がプログ
ラムのサイズの増加に従って増大することを防ぐことが
でき、プログラムの異常が検出されたときに迅速な対応
がとれることを可能にし、プログラムの異常が検出され
たとき発生する様々な悪影響を最小限に抑制することが
できるという効果を有している。

【図面の簡単な説明】

【図１】本発明のプログラムチェック方式の実施の一形
態を示すブロック図である。

【図２】図１のプログラムチェック方式を有するコンピ
ュータシステムの構成を示すブロック図である。

【図３】本実施の形態のプログラムチェック方式におけ
る動作の一例を示す流れ図である。

【図４】従来のプログラムチェック方式のブロック図で
ある。

【図５】図４のプログラムチェック方式を有するコンピ
ュータシステムの構成を示すブロック図である。

【図６】図４のプログラムチェック方式を有するコンピ
ュータシステムにおけるメイン動作を示す流れ図であ
る。

【図７】図４のプログラムチェック方式における動作を
示す流れ図である。

【符号の説明】

１ チェック対象プログラム格納部 ２ タイマ割込発生部 ３ チェックブロック指定部 ４ａ，４ｂ プログラムチェック処理部 ５ａ，５ｂ チェックサム格納部 ６ チェックサム格納部 ７ プログラム異常対応処理部 １２ａ，１２ｂ ＣＰＵ １３ａ，１３ｂ ＲＯＭ １７ａ，１７ｂ ＲＡＭ

Claims (2)

【特許請求の範囲】
1. 【請求項１】 ＣＰＵのプログラムの異常を検出するた
   めチェックサムを用いてプログラムチェックを行うとき
   に、前記プログラムを複数のプログラムブロックに分割
   してＲＡＭに格納し、周期的に作動するタイマによる１
   回の割り込みで１つのプログラムブロックのチェックサ
   ムを算出して記憶保持し、前記タイマによる割り込みご
   とにチェック対象となる前記プログラムブロックを順次
   変えて、前記タイマによる複数回の割り込みで前記プロ
   グラムブロック全てのチェックサムを算出し、前記複数
   のプログラムブロックのチェックサムの累計値を算出し
   て、前記累計値とあらかじめ算出しておいた前記プログ
   ラムのチェックサムとを照合して前記プログラムの異常
   の有無を判定するプログラムチェック方式において、前
   記タイマによる割り込みごとに、そのときのチェック対
   象の前記プログラムブロック１ブロックについて前記チ
   ェックサムを新しく算出し新しく算出した前記チェック
   サムでそれまで記憶保持していたチェックサムを更新
   し、前記チェック対象のプログラムブロックの更新され
   たチェックサムと残りの他の全てのプログラムブロック
   のそれまで記憶保持されていたチェックサムとを加算し
   前記複数のプログラムブロックのチェックサムの累計値
   を算出して前記プログラムのチェックサムと照合し、前
   記タイマによる割り込みごとに前記プログラムの異常の
   有無を判定することを特徴とするプログラムチェック方
   式。
2. 【請求項２】（Ａ）複数のプログラムブロックに分割さ
   れたチェック対象のプログラムを格納する書き換え可能
   なチェック対象プログラム格納手段、（Ｂ）周期的な割
   り込みを発生するタイマ割込発生手段、（Ｃ）あらかじ
   め算出した前記プログラムのチェックサムを格納する第
   １のチェックサム格納手段、（Ｄ）前記タイマ割込発生
   手段の出力により起動され、起動されるごとに前記チェ
   ック対象プログラム格納手段に格納された複数のプログ
   ラムブロックのうちの１つのプログラムブロックを順次
   指定するチェックブロック指定手段、（Ｅ）前記チェッ
   クブロック指定手段により指定されたプログラムブロッ
   クを読み出し前記プログラムブロックのチェックサムを
   算出した後、前記プログラムブロックの全てのチェック
   サムの累計値を算出して、前記累計値と前記第１のチェ
   ックサム格納手段に格納されているチェックサムとを照
   合して、両方の値が一致しないとき前記プログラムが異
   常であると判定するプログラムチェック処理手段、
   （Ｆ）算出された前記プログラムブロックのチェックサ
   ムを格納する第２のチェックサム格納手段、を備え、前
   記チェック対象プログラム格納手段上に展開された前記
   プログラムを実行するコンピュータシステムにおけるプ
   ログラムチェック方式において、前記プログラムチェッ
   ク処理手段は、前記タイマ割込発生手段により周期的な
   割り込みが行われるごとに、前記チェックブロック指定
   手段により指定されたプログラムブロック１ブロックに
   ついてチェックサムを算出して前記第２のチェックサム
   格納手段に格納し、新しく算出された前記チェックサム
   と残りの他の全てのプログラムブロックについて前記第
   ２のチェックサム格納手段から読み出したチェックサム
   とを加算して前記プログラムブロックのチェックサムの
   累計値を算出し、前記第１のチェックサム格納手段のチ
   ェックサムと照合して、前記タイマによる割り込みごと
   に前記プログラムの異常の有無を判定することを特徴と
   するプログラムチェック方式。