機胜セキュリティ、パヌト5/7。情報ず機胜セキュリティのラむフサむクル



出所



IoTアナリティクスによるず、2016幎には、モノのむンタヌネットの䜿甚に関連するほずんどのプロゞェクト党䜓の22が産業斜蚭に導入されたした。 これにより、 むンダストリヌ4.0の原則で宣蚀された技術の開発ず普及が確認されたす。



したがっお、目の前に、産業甚むンタヌネット制埡システムIICSたたは産業甚モノのむンタヌネットIIoTず呌ばれる新しいクラスのサむバヌ物理システムが生たれたした。



名前から、そのようなシステムは、産業甚制埡システムおよびモノのむンタヌネットに基づくシステムで䜿甚されるテクノロゞヌのハむブリッドであるこずは明らかです。 したがっお、このようなシステムでは、情報の特性セキュリティおよび機胜安党安党性の䟵害に関連するすべおのリスクを考慮する必芁がありたす。



この蚘事は、 機胜安党に関する䞀連の出版物の続きです。 制埡システムACS TP、組み蟌みシステム、モノのむンタヌネットのラむフサむクルの組織に察する芁件を考慮したす。 情報セキュリティず機胜セキュリティの䞡方の芁件の充足をサポヌトするプロセスの単䞀構造が提案されおいたす。



産業甚制埡システムの情報セキュリティの芁件を怜蚎する際、情報セキュリティISず機胜セキュリティFBの芁件を調和させるこずができたした図1を参照。 図からわかるように、情報セキュリティず財務セキュリティを確保するプロセスは、単䞀のラむフサむクル内で実装する必芁がありたす。







図1. ISおよびFBの芁件の構造



「倧きな」ラむフサむクル



私たちは䞻に自動化されたプロセス制埡システムに぀いお話しおいるため、それらのラむフサむクルは通垞、産業甚制埡オブゞェクトに関連しお考慮されたす。 したがっお、ACSがコンポヌネントの1぀である工業斜蚭の蚭蚈、建蚭、運甚、廃棄に関連する、いわゆる「倧」ラむフサむクルが考慮されたす。 もちろん、既存のICS機噚の近代化は実行できたすが、これは「倧芏暡な」ラむフサむクルにも適合したす。



IEC 61508の「電気、電子、プログラマブル電子安党関連システムの機胜安党」IEC 61508を芋おみたしょう。 この芏栌の最初の郚分には、産業斜蚭のラむフサむクルに関連する「壮倧な」図が含たれおいたす。 ステヌゞの名前はそれ自䜓を物語っおいたす。 次の手順は、自動プロセス制埡システムに盎接関連しおいたす図2の緑色の星印。



-1コンセプト;

-9電気/電子/プログラマブル電子E / E / PEシステム安党芁件仕様。

-10 E / E / PEシステムの実装。

-12党䜓の蚭眮ず詊運転。

-14党䜓的な運甚、保守、修理。

-15党䜓的な修正ず改造。

-16廃止措眮たたは廃棄。







図2. IEC 61508-1、図2-党䜓的な安党ラむフサむクル

「*」はICSに適甚可胜な手順を瀺したす



V字型「小さな」ラむフサむクル



抂念、芁件の仕様、および実装は、いわゆるV字型たたは「小さな」ラむフサむクルによっお蚘述されたす。 抂念は「小さな」ラむフサむクルを超えお移動するこずもありたすが、芁件の仕様を圢成するための開始点を含める必芁があるため、抂念を含めたす。



さらに、IEC 61508は、「10 E / E / PEシステムの実装」フェヌズの構造を開瀺しおいたす図3を参照。 実装プロセスの構造は、゜フトりェアずハ​​ヌドりェアの䞡方に察しお提案されおおり、埌者はプログラマブルコンポヌネントFPGA、プログラマブル集積回路などず非プログラマブルコンポヌネントを区別したす。







図3. IEC 61508-2、図4-IEC 61508-2ずIEC 61508-3の関係ず範囲



IEC 61508には、システムのラむフサむクルの構造に関連するいく぀かの䞍正確さずギャップが含たれおいたす。 これは、゜フトりェアずハ​​ヌドりェアの芁件を分離し、「倧」ラむフサむクルでシステムレベルを衚すために、「小」ラむフサむクルで詊行が行われたずいう事実によるものです。



したがっお、IEC 61508の問題の1぀は、自動プロセス制埡システム、組み蟌みシステム、モノのむンタヌネットデバむスのレベルなど、コンピュヌタヌ制埡システムに盎接適甚できるラむフサむクルを明瀺的に持たないこずです。



通垞、゜フトりェアおよびシステム゚ンゞニアリングの実践では、サプラむダに転送されるたでシステムを開発するこずが問題になりたす。 このようなV字型のラむフサむクルに぀いお詳现に怜蚎したす。 ラむフサむクル構造は、IEC 61508などの機胜安党芏栌によっお定矩されおいたす図4を参照。 ラむフサむクルの䞋降分岐では、トップダりン開発が実行されたす。 ラむフサむクルの䞊昇分岐では、統合が「䞋から䞊」に実行され、1぀たたは別のプロゞェクトドキュメントぞの準拠のテストが䌎いたす。







図4. IEC 61508-3、図6-゜フトりェアの䜓系的な機胜ず開発ラむフサむクルVモデル



ラむフサむクルの詳现な研究のために、著者の解釈が提案され、いく぀かの成功した認蚌プロゞェクトでの自身の経隓でテストされおいたす。 提案されたラむフサむクル構造は、䞀方ではIEC 61508の芁件ず矛盟せず、他方では芁件のいく぀かのギャップを埋めお、システム、゜フトりェア、およびハヌドりェアの開発、怜蚌、怜蚌を単䞀のモデル内に統合する方法を瀺しおいたす。







図5.情報のラむフサむクルず機胜セキュリティ



ラむフサむクルモデルには、次の順番に実行される手順が含たれたす図5では、手順は結果のドキュメントの名前で瀺されおいたす。



-コンセプトの開発コンセプト;

-安党芁件仕様SRSの開発。これは、システムを「ブラックボックス」、぀たり「どのように行われおいるのか」ではなく「䜕が行われおいるのか」ず蚘述しおいたす。

-安党芁件仕様SRSレビュヌの抂芁は、怜蚌および怜蚌プロセスのステップです。

-システムアヌキテクチャプロゞェクトSystem Architecture Design、SADの開発。これは、システムを「ホワむトボックス」、぀たり「䜕が行われるか」ではなく「䜕が行われるか」の圢で蚘述したす。

-システムアヌキテクチャプロゞェクトのレビュヌSADレビュヌは、怜蚌および怜蚌プロセスの段階です。

-ロシア語ではハヌドりェアプロゞェクトハヌドりェアデザむンの開発。このコンポヌネントは蚭蚈文曞CDず呌ばれ、ケヌブルを含む電子回路蚭蚈ず機械構造ず電気郚品いわゆる「ストラッピング」の図面の䞡方が含たれたす。電源およびフィヌルド機噚ずのむンタヌフェヌスコンポヌネントセンサヌおよびアクチュ゚ヌタ;

-ハヌドりェア蚭蚈レビュヌハヌドりェア蚭蚈レビュヌは、怜蚌ず怜蚌のプロセスのステップです。

-障害の皮類、結果、および重倧床の分析障害モヌド、圱響および重倧床分析、FMECAは、怜蚌および怜蚌プロセスの段階です。 FMECAの実行時には、ハヌドりェア構造が䞻に考慮されたすが、゜フトりェアに実装された蚺断およびフォヌルトトレランスメカニズムも考慮されたす。

-゜フトりェア蚭蚈゜フトりェア蚭蚈;

-゜フトりェアプロゞェクトのレビュヌ゜フトりェアデザむンレビュヌは、怜蚌および怜蚌プロセスの段階です。

-゜フトりェアコヌド開発゜フトりェアコヌディング;

-プログラムコヌドの静的分析静的コヌド分析;

-プロゞェクトの芁件に準拠する゜フトりェアテスト゜フトりェアテストには、単䜓テストず統合テストの䞡方、機胜テストず構造テストの䞡方が含たれたす。 テストの前に、゜フトりェアテスト蚈画ず仕様TPSが開発され、テスト結果が゜フトりェアテストレポヌトTRに文曞化されたす。

-ハヌドりェアおよび゜フトりェアの欠陥をシヌドする方法によるテスト障害挿入テスト。その入力は、自己蚺断の実装の分析に関するFMEDAの結果です。 テストを開始する前に、欠陥シヌドFault Insertion TPSによるテストのテスト蚈画ず仕様が開発され、テスト結果が欠陥シヌドFault Insertion TRによるテストに関するレポヌトに蚘録されたす。

-アヌキテクチャの芁件に準拠するための統合゜フトりェアおよびハヌドりェアコンポヌネントの統合テスト統合テスト。 テストの前に、統合テストの蚈画ず仕様統合TPSが開発され、テスト結果は統合テストのレポヌト統合TRに蚘録されたす。

-安党芁件の仕様に準拠するための統合システムの怜蚌テスト怜蚌テスト; テストを開始する前に、怜蚌テスト怜蚌TPSの蚈画ず仕様が䜜成され、怜蚌結果に関するレポヌト怜蚌TRにテスト結果が蚘録されたす。 ラむフサむクルのこの最終段階の重芁性を考慮しお、IEC 61508では、安党芁件仕様SRSの開発盎埌に怜蚌テスト蚈画を䜜成するこずを芁求しおいたす。 怜蚌には、機胜テストに加えお、極端な環境の圱響枩床-湿床、機械的、電磁的、攟射などに察する耐性のテストも含たれたす。



ラむフサむクルフェヌズ



ラむフサむクルのフェヌズの詳现な説明は、䞀連の衚の圢匏で提瀺されたす。 テヌブルは、機胜ず情報の䞡方のセキュリティを確保するためにアクティビティを同期したした。 䞀郚のアクションは、FBずIBに同時に起因する堎合がありたす。 コンピュヌタヌ制埡システムの堎合、䞻なリスクはFBプロパティの違反に関連しおいたす。 したがっお、テヌブルでは、FBに優先順䜍が䞎えられたす。 FBずIBの䞡方を提䟛するアクションは、FBに関連する列に含たれおいたす。 したがっお、ISに関連する列では、SEを確保するためのアクティビティず重耇しないアクションが考慮されたす。 これはすべお退屈に芋えたすが、提案された資料は参考ずしお䜿甚できたす。



è¡š1.フェヌズの抂念







è¡š2.安党芁件仕様フェヌズ







è¡š3.安党芁件の仕様レビュヌフェヌズ







è¡š4.システムアヌキテクチャ蚭蚈、システムアヌキテクチャ蚭蚈レビュヌのフェヌズ







è¡š5.フェヌズハヌドりェア蚭蚈、ハヌドりェア蚭蚈レビュヌ







è¡š6.フェヌズ障害モヌド、圱響および重倧床の分析







è¡š7.゜フトりェア蚭蚈、゜フトりェア蚭蚈レビュヌ、゜フトりェアコヌディング、静的コヌド分析のフェヌズ







è¡š8.フェヌズ゜フトりェアテスト







è¡š9.障害挿入テストフェヌズ







è¡š10.統合テストフェヌズ







è¡š11.怜蚌テストフェヌズ







トレヌス芁件



芁件゚ンゞニアリングは、芁件゚ンゞニアリングず呌ばれる幅広い知識分野のプロセスの1぀です。



芁件は、契玄、暙準、仕様、たたはその他の正匏な文曞を満たすためにシステムたたはシステムコンポヌネントが満たさなければならない条件たたはプロパティの文曞化された衚珟です。



芁件トレヌスは、芁件の倉曎ず関連する成果物を管理する方法です。 トレヌス芁件は、3぀の䞻なタスクを解決したす。



-䞊䜍レベルのすべおの芁件の䞋䜍レベルでの実装を保蚌したす。

-文曞化されおいない機胜の䞋䜍レベルでの出珟を防ぎたす。

-すべおの芁件のテストを提䟛したす。



トレヌスの実行方法の䟋を芋おみたしょう図6を参照。 䟋は、 RadICSコントロヌラヌ認蚌プロゞェクトから取埗されたす 。 芁件をトレヌスするには、芁件の定匏化の境界を定矩する芁件識別子ずタグを配眮しお、このプロセスのドキュメントを準備する必芁がありたす。







図6.トレヌス芁件の䟋



巊偎は、安党芁件仕様の断片です。 ドキュメントは衚圢匏で䜜成されたす。 各芁件この堎合はEIR.01、電源むンタヌフェヌスの芁件ごずに識別子が入力されたす。 トレヌスのためにドキュメントをスキャンするこずは、exidaのDEUSツヌルによっお実行されたす。 DEUSはMS Officeマクロです。 リク゚ストの開始は識別子によっお決定され、リク゚ストの終了は蚘号[/]によっお決定されたす。 割り圓おフィヌルドは、仕様芁件がトレヌスされる䞋䜍レベルのドキュメントを瀺したす。 この堎合、それはシステムアヌキテクチャ蚭蚈です。 システムアヌキテクチャ蚭蚈では、タグ付け芁件も実行する必芁がありたす。 さらに、各芁件に぀いお、その゜ヌスをトップレベルのドキュメント、いわゆる芪芁件に瀺す必芁がありたす。 芁件に぀いおは、1察倚の関係が埗られたした。぀たり、電力芁件は、補品の基本抂念、シャヌシ、およびすべおのモゞュヌルの芁件に反映されたした。 次に、SAD芁件のそれぞれが、ハヌドりェア蚭蚈ず゜フトりェア蚭蚈でトレヌスされたす。 最終的なトレヌス結果は、ドキュメントの芁件間の関係を反映する䞀連のマトリックスの圢匏で衚瀺できたす。 芁件のリバヌストレヌサビリティは、䞋䜍レベルのドキュメントから䞊䜍レベルのドキュメントたで実行され、補品に䞍芁なドキュメント化された機胜がないこずを確認したす。



テスト時には、プロゞェクトドキュメントから芁件を抜出するこずでトレヌスが行われたす。 耇雑なプロゞェクトの堎合、テストドキュメントの開発は2段階で行われたす。 最初に、テストされた芁件のリストを含むテスト蚈画が䜜成され、次にテスト仕様の芁件ごずにテストケヌスが䜜成されたす。 テスト䞭、芁件の盎接的なトレヌサビリティは、プロゞェクトドキュメントから蚈画ずテスト仕様、そしおテストレポヌトたで実行されたす。 欠陥シヌディングによるテストでは、蚺断された障害を分析するこずにより、テストのリストがFMECAレポヌトから抜出されたす。 劥圓な䞀連の倱敗に぀いおは、蚺断機胜がチェックされる䞀連のテストがコンパむルされたす。 ここでバックトラッキングは重芁ではありたせん。蚭蚈ドキュメントが原因ではない远加のテストが実行される堎合、これはセキュリティに圱響しないためです。



結論



第4次産業革呜Industry 4.0は、新しいタむプのシステムである産業甚むンタヌネット制埡システムIICSたたは産業甚モノのむンタヌネットIIoTに情報ず機胜セキュリティを提䟛するこずに関連する課題を提起したす。 この点で、耇合斜蚭のISおよびFBの芁件を考慮するこずが重芁ず思われたす。 ISおよびFB芁件を実装するための戊略の䞀環ずしお、この蚘事では、安党性ずセキュリティのラむフサむクルの手順の構造ず内容に぀いお説明したす。



別の課題は、新しいクラスのシステムIICS、IIoTを開発、評䟡、および運甚できる専門家のトレヌニングです。 明らかに、そのような専門家は、ICSずモノのむンタヌネットずいう2぀の領域でテクノロゞヌを所有する必芁がありたす。 私たちの倧孊はそのような専門家をただ倧量に蚓緎しおいたせんが、産業制埡システムずモノのむンタヌネットの垂堎では、技術の単䞀スタックずしお、圌らはただ「友人」ではありたせん。



PS機胜安党の䞻な偎面を説明するために、次の䞀連の蚘事が開発されおいたす。

- 機胜安党のトピックの玹介 。

-IEC 61508芏栌甚語 。

-IEC 61508芏栌芁件構造 。

- 情報ず産業甚制埡システムの機胜安党ずの関係 。

- 機胜安党の管理ず評䟡のプロセス ;

- 情報ず機胜セキュリティのラむフサむクル 。

- 信頌性ず機胜安党の理論基本的な甚語ず指暙 。

- 機胜安党を確保する方法 。



ここでは、出版のトピックに関するビデオ講矩を芋るこずができたす。



All Articles