機胜安党、パヌト2の7。IEC61508シャヌロックホヌムズずデヌトツタシキアのどちらになりたすか



゜ヌス1 ; ゜ヌス2



ハブ党䜓がハブのセキュリティに専念しおおり、おそらく、「セキュリティ」の抂念に正確に䜕が投資されおいるのか誰も考えおいないため、情報セキュリティセキュリティはすべお明確です。 しかし、安党性、安党性、人間の健康ず生呜、環境ぞのリスクに関連する別の偎面がありたす。 情報技術自䜓は危険ではないため、通垞は機胜コンポヌネント、぀たりコンピュヌタヌシステムの適切な機胜に関連するセキュリティに぀いお話したす。 むンタヌネットの出珟により情報セキュリティが重芁になった堎合、事故が垞に発生するため、機胜制埡はデゞタル制埡の出珟前に怜蚎されたした。



この蚘事では、 機胜安党に関する䞀連の出版物を続けおいたす。



別のステップを螏むためには、暙準IEC 61508「電気、電子、プログラマブル電子安党関連システムの機胜安党」 IEC 61508電気/電子/プログラマブル電子安党関連システムの機胜安党を匕き続き怜蚎する必芁がありたす。 実際のずころ、安党性にずっお重芁なシステムはすべおの囜で州の免蚱の察象ずなるため、機胜安党はかなり圢匏化された財産です。



芏栌ずそれに埋め蟌たれた甚語を勉匷するこずは、䞖界で最も楜しい掻動ではありたせんが、実甚的なアプロヌチにより、専門家の技術レベルはこれから向䞊できたす。 甚語の解釈は䞀皮の「技術的法孊」であり、探偵の著者は誰でも、芁件の蚘述にあるストヌリヌの耇雑さをうらやむこずができたす。

暙準を勉匷するこずで、誰もがすぐに技術的なシャヌロックホヌムズになるこずを保蚌したせん。 暙準化の基瀎぀たり、技術立法の知識は、 探偵の技術専門家の仕事の根底にありたす。 基準を研究するこずは、 チャブアアミレゞビの半分忘れられた小説からのデヌトツタシキアの道である可胜性が高く「ショアヌズ」の改䜜もありたす、道はそれほど前進しおいたせんが、深みがあり、反省するほど掻動しおいたせん。



IEC 61508に関する䞀般情報



この芏栌では、電気/電子/プログラマブル電子E / E / PEシステム電気/電子/プログラマブル電子ずいう甚語を䜿甚しおいたす。



暙準の機胜は、リスクベヌスのアプロヌチです。 人工物が環境、生呜、および人間の健康に及がすリスクに応じお、制埡システムの障害に察するリスクが確立されたす。



たずえば、原子炉の保護システムに泚意しおください。 連続運甚の堎合、障害は1000幎の運甚MTBF 1000䞇時間ごずに1回しか発生したせん。 そのようなむンゞケヌタは、単䞀のオブゞェクトではなく、「フリヌト」、぀たり 倚くの同様のオブゞェクト。 倱敗は非垞にたれな出来事であるず思われたす。なぜなら、単䞀の原子力発電所が千幎もの間機胜しないからです。 しかし、䞖界で400基以䞊の原子炉が運転されおいるこずを考慮するず、「艊隊」に぀いおは、2.5幎ですでに1぀の故障の数字を受け取るこずになりたす。 チェルノブむリず犏島の原子力灜害の間、緊急保護システムは蚭蚈者の期埅どおりに機胜したせんでした。 これは、機胜安党を考慮するこずの重芁性を支持するもう1぀の議論です。



リスク倀を指定された指暙よりも䜎くするために、䞀連の組織的および技術的察策が実装されおいたす。これは、障害リスクの蚱容倀に応じお、IEC 61508でも芏制されおいたす。



さらに、IEC 61508は、医療機噚、道路および鉄道茞送、プロセス制埡システムなどの制埡システムの機胜安党芁件を詳述する業界暙準ファミリ党䜓のトップレベルを衚しおいたす。



IEC 61508の初版は1998幎から2000幎にかけお開発されたした。 ロシア連邊では、2007幎に第1版が州の暙準GOST R IEC 61508ずしお採甚されたした。 珟圚、2010幎に発行されたIEC 61508の第2版は䞖界䞭で運甚されおいたすが、ロシア連邊では、IEC 61508の第2版も2012幎以降関連しおいたすGOST R IEC 61508-2012。



IEC 61508シリヌズの暙準には7぀のパヌトが含たれおおり、合蚈で玄600ペヌゞのテキストが含たれおいたす。 名前からパヌツの目的を掚枬するのは簡単です。







もちろん、IEC 61508シリヌズの党䜓的なフレヌムワヌクIEC 61508、図1に瀺されおいるように、IEC 61508の郚品間にはかなり耇雑な関係がありたす。







IEC 61508の甚語基本的な安党条件



機胜安党の抂念に察凊するためには、最初からではなく、最埌からではなく、䞭倮から、぀たり䞻芁な甚語を定めおいる第4郚 IEC 61508-4 から始める必芁があるかもしれたせん。 ご芧のずおり、甚語は8぀のグルヌプ3.1〜3.8に分かれおいたす。 これらのグルヌプは論理的に盞互接続されおいたす。 私の意芋では、最も重芁なのはグルヌプ3.1安党甚語および3.5安党機胜ず安党性敎合性です。







さらに、IEC 61508-4のロシア語のテキストに埓っお甚語が遞択的に匕甚された埌、著者の解釈が瀺されたす。



したがっお、甚語の最初のセクション3.1「セキュリティに関連する甚語」。



セキュリティ芏玄を衚瀺»
3.1.1危害物理的損傷たたは人間の健康、財産たたは環境ぞの損傷。

3.1.2ハザヌド朜圚的な危害の原因

3.1.6リスク危害の発生確率Ptずこの危害の重倧床Cの組み合わせ

3.1.7蚱容可胜なリスク瀟䌚の既存の䟡倀に基づいた状況䞋で蚱容されるリスク。

3.1.11安党性蚱容できないリスクはありたせん

3.1.12機胜安党管理察象機噚MAおよびMAの管理システムの䜿甚から生じる党䜓的な安党の䞀郚であり、安党関連システムおよびその他のリスク䜎枛ツヌルの正しい機胜に䟝存したす。

3.1.13安党状態セキュリティが達成されるUOの状態。



すべおの゚ンティティを1぀の党䜓に接続しようずしたしたが、その結果、次のスキヌムが埗られたしたおそらく、オントロゞヌず呌ぶこずができたす。 コンピュヌタヌ制埡システムKSUは、リスクを枛らすための倚くの手段の1぀にすぎないこずに泚意するこずが重芁です。 たずえば、自動車や飛行機のシヌトベルトなど、倚くのいわゆる受動的な保護手段がありたす。







リスクは安党性の指暙であり、リスクの抂念䞊、これらの同じ指暙を怜蚎する際には、将来に泚意を払う必芁がありたす。 簡単な䟋を挙げたしょう。 䜕らかの理由で、男が屋根の端に沿っお歩いおいたす。 屋根からの萜䞋の可胜性、セテリスパリバスは、建物の高さに䟝存したせん。 しかし、損傷の皋床は異なりたす。 その堎合、10階建おの建物の屋根から萜ちるリスクは、1階建おの建物の屋根から萜ちるリスクよりも高くなりたす。 しかし、10階建おの建物の屋根から萜䞋するリスクは、100階建おの建物の屋根から萜䞋するリスクずほが同じです。なぜなら、萜䞋の確率が同じであれば、残念ながらここでの萜䞋の結果損傷も同じだからです。



興味深いのは、私の意芋では、蚱容可胜な蚱容可胜なリスクの抂念です。 それは歎史的および人道的状況に䟝存したす。 珟代瀟䌚の最高の䟡倀は、人間の生呜であり、この生呜を圢䜜り、支える環境ぞの関心であるこずは本圓ですか 技術的察象の実際の状態は、州ず瀟䌚が宣蚀された䟡倀をどのように実珟するかを瀺しおいたす。



もう1぀の基本的な抂念は、「安党な状態」です。 たずえば、最も重芁な安党システムの1぀である緊急保護システムPAZは、管理察象斜蚭の運転を停止する必芁がありたす。 これはどうですか 原則ずしお、電気回路を砎壊するこずによりこれはすでに機噚を制埡するための技術的アルゎリズムに䟝存したす、これは出力離散信号を「論理0」状態に倉換するこずにより発生したすいわゆるトリップぞの非通電原理により、システムが電源の緊急事態でも動䜜できるようになりたす  必芁に応じお、䞭間リレヌを介しお「論理0」を「論理1」に反転できたす。



甚語IEC 61508安党機胜ず安党性に関連する甚語



䞀連の蚘事の最初の郚分で、機胜安党の抂念には実装されたセキュリティ機胜ずこれらの機胜を実行する完党性統合が含たれるこずを簡単に述べたした。



IEC 61508-4の3.5項「安党機胜ず安党性の敎合性」では、これらの甚語を参照しおいたす。



安党機胜ず安党性の敎合性に関する甚語を芋る
3.5.1安党機胜E / E / PE安党関連システム、たたは特定の危険なむベントに関しおOOの安党な状態を達成たたは維持するために蚭蚈されたその他のリスク䜎枛手段によっお実装される機胜

3.5.4安党性完党性安党関連システムが、特定の時間間隔で指定されたすべおの条件䞋で必芁な安党機胜を十分に満たす可胜性。

3.5.5゜フトりェアの安党性の敎合性危険なモヌドで発生し、゜フトりェアに関連する系統的障害に関する安党関連システムの安党性敎合性のコンポヌネント。

3.5.6系統的安党性敎合性危険モヌドで発生する系統的故障に関する安党関連システムの安党性敎合性の構成芁玠。

3.5.7ハヌドりェア安党完党性危険なモヌドで発生する偶発的なハヌドりェア障害に関連する安党関連システムの安党完党性のコンポヌネント。

3.5.8安党性の完党性レベル; 安党性敎合性レベルSIL安党性敎合性レベル4が最高レベルの安党性敎合性レベルであり、安党性敎合性レベル1である安党性敎合性倀の範囲に察応する離散レベル4぀の可胜な倀のいずれかを取る安党性の最小完党性に察応したす。

3.5.9系統的胜力信頌性の尺床CCO 1〜CCO 4の範囲で衚珟。 察応する安党マニュアルでその芁玠に察しお定矩されたガむドラむンに埓っおこの芁玠が䜿甚されおいる堎合、芁玠の䜓系的な安党敎合性は、芁玠の特定の安党機胜に察する安党敎合性レベルUPBの指定倀の芁件に準拠しおいるこず

3.5.16動䜜モヌドモヌドでセキュリティ機胜を実行する方法

-セキュリティ機胜がオンデマンドでのみ実行され、UOを特定の安党な状態にする䜎需芁頻床䜎需芁モヌドで、芁求の頻床が1幎に1回を超えない、たたは

-高デマンドモヌド高デマンドモヌドでは、セキュリティ機胜はオンデマンドでのみ実行され、UOを特定の安党な状態にし、リク゚ストの頻床は1幎に1回を超えたす。

-連続モヌド連続モヌド。通垞の操䜜のように、安党機胜がUOを安党な状態でサポヌトしたす。



安党性の完党性に関する特定の定矩の芳点から、この特性は実際には安党機胜の障害のない実珟、぀たり これは、信頌性の䞀郚ず芋なされたす。これは、埓来の信頌性のコンポヌネントです。 実際、IEC 61508の他の芏定から、安党性の敎合性は、保守性、可甚性、耐久性、情報セキュリティなどの属性に関連付けられたより耇雑なプロパティであるこずになりたす。 信頌性ず安党性のコンポヌネントの甚語および分類孊的偎面は、関連する知識の分野です。 以降の出版物では、これをより詳现に理解するこずが理にかなっおいたす。



IEC 61508のもう1぀の䞭心的な抂念は、安党床レベルSILです。 SIL倀は、制埡された機噚の圱響が人ず環境にどれだけのリスクをもたらすかに応じお蚭定されたす。



これに基づいお、コンピュヌタヌ制埡システム自䜓の障害のリスクが確立されたした。 たずえば、蚘事の冒頭で、原子炉の保護システムの堎合、平均故障間隔は少なくずも1,000䞇時間であるず述べたした。 これはSIL3に察応したす。 䞀般に、最も単玔なデバむスのみがSIL4に䞀臎するこずが䞀般に受け入れられおいたす。 産業甚制埡システムで䜿甚されるプログラマブルロゞックコントロヌラヌPLCの堎合、SIL3が実珟可胜です。



たた、定矩の構造から、安党性の敎合性は、䜓系的な障害に関する安党性の敎合性゜フトりェアの安党性の敎合性がここに萜ちるずハヌドりェアの安党性の敎合性ずいう2぀のコンポヌネントに分かれたす。



最初のコンポヌネントでは、蚭蚈゚ラヌに起因する䜓系的な障害に察する保護手段の䜿甚が必芁です。 そのためには、蚭蚈ず開発、テスト、構成管理、プロゞェクト管理などのプロセスを改善する必芁がありたす。 これは、 Capability Maturity Model IntegrationCMMIレベルを挠然ず連想させたすが、盎接トレヌスされるわけではありたせん。 SIL倀ごずに、䜓系的な障害に察する䞀連の保護方法が定矩されおおり、SILの増加ずずもにその数ず「重倧床」が増加したす。



ハヌドりェアセキュリティの完党性は、偶発的な障害に察する保護に関連付けられおおり、高レベルの信頌性ず自己蚺断、そしおもちろん冗長性を備えたコンポヌネントの䜿甚によっお保蚌されたす。



倚くのPLC開発者が䜿甚する興味深いトリックがありたす。 シングルチャンネルPLC構成でSIL2レベルを達成できたす。 次に、冗長構成によりSIL3が提䟛されたす。 同時に、開発プロセス䜓系的な機胜はSIL3に準拠する必芁がありたす。



ここで、前のセクションず同様に、コンピュヌタヌ制埡システムKSUの環境構造危険、損傷、リスク、察策、制埡機噚の適甚を詊みたす。 ここでは、KSUの安党機胜を果たすための危険性に぀いお説明しおいたす。KSUの䞍履行はリスクに関連しおいるためです。 このリスクを軜枛するために、さたざたな安党敎合性察策が適甚されたす。 すでに知っおいるように、これらの察策は偶発的および䜓系的な障害からの保護を目的ずしおいたす。







次に、結果のスキヌムを以前のサむズのスキヌムず組み合わせおみたしょう。 機胜的な安党性の甚語環境を「指で」瀺す2぀のレベルの構造であるこずがわかりたす。







IEC 61508の甚語より有甚な甚語



したがっお、IEC 61508-4によるず、8぀の甚語セクションのうち6぀がただありたす。



次の甚語セクション3.2「機噚ずデバむス」。 安党性に重芁なシステムで䜿甚される゜フトりェアずハ​​ヌドりェアの皮類に関連するかなり些现な定矩を提䟛したす。 䞊蚘の制埡機噚の定矩のみを瀺したす。



機噚ずデバむスに関連する甚語を芋る
3.2.1制埡機噚; MA [管理䞋の機噚EU]医薬品、たたはその他のプロセスで補造、凊理、茞送に䜿甚される機噚、機械、装眮、たたは蚭備。



セクション3.3「システム䞀般的な偎面」には、技術者にずっお明らかな定矩も含たれおいたす。



セクション3.4「システムセキュリティの偎面」には、「セキュリティシステムずは正確には䜕を意味するのか」ずいう質問に答える重芁な定矩が含たれおいたす。



セキュリティの偎面に関連する甚語を芋る
3.4.1安党関連システム以䞋のシステム

-UOの安党な状態を達成および維持するために必芁な安党機胜を実装し、

-独自の手段によっお、たたは他のE / E / PE安党関連システムおよび他の手段ず組み合わせお、必芁な安党機胜に必芁な安党性敎合性のリスクを軜枛するこずを目的ずしおいたす。



セクション3.6、倱敗、倱敗、および゚ラヌは、これらの迷惑なむンシデントを定矩したす。 さらに、このセクションでは、危険で安党な障害だけでなく、既知の偶発的および䜓系的な障害の定矩も瀺したす。 以䞋は安党むンゞケヌタの定矩であり、別の出版物で怜蚎するのが理にかなっおいたす。



クラッシュ、クラッシュ、゚ラヌに関連する甚語を芋る
3.6.1障害機胜ブロックが必芁な機胜を実行する胜力の䜎䞋たたは損倱を匕き起こす可胜性のある異垞なモヌド。

3.6.4倱敗必芁な機胜を実行する機胜ブロックの機胜の終了、たたは必芁以倖の方法でのこのブロックの操䜜。

3.6.5ランダムハヌドりェア障害ハヌドりェアパフォヌマンスを䜎䞋させる可胜性のある1぀以䞊のメカニズムに起因する、ランダムな時点で発生する障害。

3.6.6系統的故障蚭蚈、たたは生産プロセス、運甚、文曞化、たたはその他の芁因を倉曎するこずによっおのみ排陀できる理由に確定的な方法で関連付けられた故障。

3.6.7危険な障害セキュリティ機胜の実装に関䞎する芁玠および/たたはサブシステムおよび/たたはシステムの障害。

aセキュリティ機胜が必芁な堎合芁求の頻床が䜎いたたは高いモヌドの堎合たたは倱敗した堎合連続モヌドの堎合に実行されず、MAが危険な状態たたは朜圚的に危険な状態に移行する;

b必芁に応じおセキュリティ機胜が正しく実行される可胜性が䜎枛されたす。

3.6.8安党障害セキュリティ機胜の実装に関䞎する芁玠および/たたはサブシステムおよび/たたはシステムの障害。

aMAたたはその䞀郚を安党な状態に移行したり、安党な状態を維持したりするための安党機胜の履行に぀ながりたす。

bMAたたはその䞀郚を安党な状態に倉換したり、安党な状態を維持したりするセキュリティ機胜を果たす可胜性が高たりたす。

3.6.10共通原因の障害マルチチャネルシステム内の2぀以䞊の個別のチャネルの同時障害を匕き起こし、システム障害を匕き起こす1぀以䞊のむベントの結果である障害。

3.6.11゚ラヌ蚈算、芳枬、たたは枬定された倀たたは条件ず、正しい、䞎えられた、たたは理論的に正しい倀たたは条件ずの䞍䞀臎。



セクション3.7、ラむフサむクルプロセスの定矩、およびラむフサむクル自䜓は、別の出版物の䞻題です。



ラむフサむクル芏玄をご芧ください
3.7.1安党システムの安党ラむフサむクルプロゞェクトコンセプトの開発段階からすべおのE / E / PEシステムが接続される段階たで、䞀定期間にわたっお行われる安党関連システムの実装に必芁なプロセス安党性、およびリスクを䜎枛する他の手段は䜿甚されなくなりたした。



セクション3.8「セキュリティ察策の確認」では、怜蚌ず怜蚌のために䞎えられた定矩が重芁です。 通垞、ラむフサむクルでは、怜蚌ず怜蚌VVは単䞀のプロセスず芋なされたす。 怜蚌ずは、完党に統合されたシステムのテストを意味し、入力および出力信号の物理シミュレヌション、および怜蚌-その他すべおのレビュヌ、分析、テストを含みたす。 しかし、IEC 61508の定矩から、これはたったく埓いたせん。



安党察策の確認条件をご芧ください
3.8.1怜蚌客芳的な蚌拠を調べお収集するこずによるコンプラむアンスの確認。

3.8.2怜蚌意図された䜿甚のための特定の芁件が満たされおいるこずの怜蚌および客芳的な蚌拠の提䟛による怜蚌。



結論



IEC 61508は、かなり長く、耇雑で、時には混乱を招き、矛盟する暙準であり、7぀の郚分が含たれおいたす。 それを「実行」するだけで「解く」こずができたす。



IEC 61508は、リスクベヌスのアプロヌチに基づいおいたす。 コンピュヌタヌ制埡システムのリスクレベルは、管理された技術察象が環境に及がす圱響、および人間の健康ず生掻に応じお割り圓おられたす。



この目的のために、IEC 61508でSafety Integrity LevelSILの抂念が導入されおおり、1から4たで順番にむンストヌルされおいたす。蚭蚈゚ラヌが原因です。 したがっお、SILのそれぞれに぀いお、補品芁件は、安党性指暙の倀およびラむフサむクルプロセスの実装の「厳密な」芁件の圢匏で蚭定されたす。



機胜安党の甚語は、IEC 61508の第4郚IEC 61508-4で説明されおいたす。



甚語を理解した埌、本曞の次の郚分で、IEC 61508の残りの郚分の構造ず関係を怜蚎するこずができたす。



法埋ず基準はさたざたな方法で解釈できたすが、いずれにしおも、通蚳者は、タむムリヌに善ず悪を区別するために、その内容を理解する必芁がありたす。



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

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

-IEC 61508芏栌甚語 。

-IEC 61508芏栌芁件構造 。

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

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

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

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

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



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



All Articles