【手続補正書】
【提出日】平成27年5月29日(2015.5.29)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
航空機（１０４）上のソフトウェア部品（１０２）を検証するための方法であって、
航空機（１０４）上のソフトウェア部品に対する第１ハッシュ値を計算するステップと、
航空機（１０４）上で、第１ハッシュ値が航空機（１０４）上に保存されているソフトウェア完全性データ構造（１１８）からの第２ハッシュ値と一致するか否かを判定するステップであって、ソフトウェア完全性データ構造（１１８）が、航空機（１０４）により用いられるソフトウェア部品（１０２）に対して航空機（１０４）上で判定されていないハッシュ値を含む、ステップと、
航空機（１０４）上で、ソフトウェア部品に対する１つ以上の第１属性を計算するステップであって、１つ以上の第１属性は、第１のハッシュ値を計算するのに用いられるハッシュ関数とは異なるアルゴリズム又は関数を用いて計算される、ステップと、
と、
航空機（１０４）上で、１つ以上の第１属性がソフトウェア完全性データ構造（１１８）における１つ以上の第２属性と一致するか否かを判定するステップと、
１つ以上の第１属性が１つ以上の第２属性と一致し、かつ、第１ハッシュ値が第２ハッシュ値と一致する場合にのみ、航空機（１０４）上のソフトウェア部品に操作を行うステップと、を含む方法。
【請求項２】
１つ以上の第２属性が、ソフトウェア部品に対する指紋を含む請求項１に記載の方法。
【請求項３】
第１ハッシュ値を計算するステップ、および、第１ハッシュ値が第２ハッシュ値と一致するか否かを判定するステップが、航空機（１０４）上の電子システムにより行われる請求項１に記載の方法。
【請求項４】
第１ハッシュ値を計算するステップが、ソフトウェア部品を航空機（１０４）上のソフトウェア検証ツール（２２６）へ送信するステップと、ソフトウェア検証ツール（２２６）によりソフトウェア部品を受信するステップと、ソフトウェア検証ツール（２２６）によりソフトウェア部品から第１ハッシュ値を計算するステップと、を含み、
第１ハッシュ値が第２ハッシュ値と一致するか否かを判定するステップが、ソフトウェア完全性データ構造（１１８）におけるソフトウェア部品に対する記録を識別するステップと、記録から第２ハッシュ値を取り出すステップと、ソフトウェア検証ツール（２２６）により第１ハッシュ値を第２ハッシュ値と比較するステップと、を含み、かつ、
第１ハッシュ値が第２ハッシュ値と一致する場合に、ソフトウェア検証ツール（２２６）により表示を送信するステップをさらに含む請求項１に記載の方法。
【請求項５】
第１ハッシュ値を計算するステップが、航空機（１０４）上の電子システムにより第１ハッシュ値を計算するステップと、第１ハッシュ値を航空機（１０４）上で電子システムからソフトウェア検証ツール（２２６）へ送信するステップと、を含み、
第１ハッシュ値が第２ハッシュ値と一致するか否かを判定するステップが、ソフトウェア検証ツール（２２６）により第１ハッシュ値を受信するステップと、ソフトウェア完全性データ構造（１１８）におけるソフトウェア部品に対する記録を識別することと、記録から第２ハッシュ値を取り出すステップと、ソフトウェア検証ツール（２２６）により第１ハッシュ値を第２ハッシュ値と比較するステップと、を含み、かつ、
第１ハッシュ値が第２ハッシュ値と一致する場合に、ソフトウェア検証ツール（２２６）により電子システムへ表示を送信するステップをさらに含む請求項１に記載の方法。
【請求項６】
ソフトウェア完全性データ構造（１１８）が、
ソフトウェア完全性データ構造（１１８）を記述する属性と、
複数の記録であって、複数の記録の各々が、航空機（１０４）により用いられるソフトウェア部品と対応し、かつ、対応するソフトウェア部品に対するハッシュ値を含む、複数の記録と、を含む、請求項１に記載の方法。
【請求項７】
航空機（１０４）上に保存されているソフトウェア完全性データ構造（１１８）であって、航空機（１０４）により用いられるソフトウェア部品（１０２）に対して航空機（１０４）上で判定されていないハッシュ値を含むソフトウェア完全性データ構造（１１８）と、
航空機（１０４）上のソフトウェア部品に対する第１ハッシュ値を計算するよう構成されている航空機（１０４）上の計算器（２２８）と、
第１ハッシュ値がソフトウェア完全性データ構造（１１８）からの第２ハッシュ値と一致するか否かを判定するよう構成されている航空機（１０４）上の比較器（２３０）と、を含む装置であって、
計算器（２２８）が、ソフトウェア部品に対する１つ以上の第１属性を計算するよう構成されており、１つ以上の第１属性は、第１のハッシュ値を計算するのに用いられるハッシュ関数とは異なるアルゴリズム又は関数を用いて計算され、
比較器（２３０）が、１つ以上の第１属性がソフトウェア完全性データ構造（１１８）における１つ以上の第２属性と一致するか否かを判定するよう構成されており、かつ、
航空機（１０４）が、１つ以上の第１属性が１つ以上の第２属性と一致し、かつ、第１ハッシュ値が第２ハッシュ値と一致する場合にのみ、ソフトウェア部品に操作を行うよう構成されている、装置。
【請求項８】
１つ以上の第２属性が、ソフトウェア部品に対する指紋を含む請求項７に記載の装置。
【請求項９】
計算器（２２８）および比較器（２３０）が、航空機（１０４）上の電子システム上で実施されており、かつ、ソフトウェア部品に対する操作が、航空機（１０４）上の電子システムにより行われている請求項７に記載の装置。
【請求項１０】
計算器（２２８）が、航空機（１０４）上のソフトウェア検証ツール（２２６）において実施されており、ソフトウェア検証ツール（２２６）が、ソフトウェア部品を受信し、ソフトウェア部品からの第１ハッシュ値を決定するよう構成されており、かつ、
比較器（２３０）が、ソフトウェア検証ツール（２２６）において実施されており、ソフトウェア検証ツール（２２６）が、ソフトウェア完全性データ構造（１１８）におけるソフトウェア部品に対する記録を識別し、記録から第２ハッシュ値を取り出し、第１ハッシュ値を第２ハッシュ値と比較し、第１ハッシュ値が第２ハッシュ値と一致する場合に表示を送信するようさらに構成されている請求項７に記載の装置。
【請求項１１】
計算器（２２８）が、航空機（１０４）上の電子システムにおいて実施されており、電子システムが、第１ハッシュ値を航空機（１０４）上のソフトウェア検証ツール（２２６）へ送信するよう構成されており、
比較器（２３０）が、ソフトウェア検証ツール（２２６）において実施されており、ソフトウェア検証ツール（２２６）が、電子システムから第１ハッシュ値を受信し、ソフトウェア完全性データ構造（１１８）におけるソフトウェア部品に対する記録を識別し、記録から第２ハッシュ値を取り出し、第１ハッシュ値を第２ハッシュ値と比較し、第１ハッシュ値が第２ハッシュ値と一致する場合に電子システムへ表示を送信するよう構成されており、かつ、
電子システム（１１２）が、ソフトウェア検証ツール（２２６）からの表示に応答してソフトウェア部品に操作を行うようさらに構成されている請求項７に記載の装置。
【請求項１２】
ソフトウェア完全性データ構造（１１８）が、
ソフトウェア完全性データ構造（１１８）を記述する属性と、
複数の数の記録であって、複数の数の記録の各々が、航空機（１０４）により用いられるソフトウェア部品と対応し、かつ、対応するソフトウェア部品に対するハッシュ値を含む、複数の記録と、を含む、請求項７に記載の装置。