An integrAted nonYcyBer And cyBer fAult detection systeM. Section V will ... security. As cyBer AttAcN cAn Affect A control systeM Much liNe. A disturBAnce, An ..... 9pArAMeter selection AlgorithM with self AdAptive growing neurAl. networN ...
INL/CON-12-25676 PREPRINT
Resilient Control System Execution Agent (ReCoSEA) 5th International Symposium on Resilient Control Systems Craig G. Rieger Kris Villez August 2012
This is a preprint of a paper intended for publication in a journal or proceedings. Since changes may be made before publication, this preprint should not be cited or reproduced without permission of the author. This document was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, or any of their employees, makes any warranty, expressed or implied, or assumes any legal liability or responsibility for any third party’s use, or the results of such use, of any information, apparatus, product or process disclosed in this report, or represents that its use by such third party would not infringe privately owned rights. The views expressed in this paper are not necessarily those of the United States Government or the sponsoring agency.
! "# # $
% & $EVWUDFW-,Q DQ LQFUHDVLQJO\ FRQQHFWHG ZRUOG FULWLFDO
LQIUDVWUXFWXUHV\VWHPVVXIIHUIURPWZRW\SHVRIYXOQHUDELOLW\7KH ILUVW LV WKH WUDGLWLRQDOO\ UHFRJQL]HG SUREOHP RI PRQLWRULQJ WKH V\VWHPV IRU IDXOWV DQG IDLOXUHV UHFRJQL]LQJ DQG DQDO\]LQJ GDWD DQG UHVSRQGLQJ ZLWK UHDO XQGHUVWDQGLQJ WR WKH SUREOHPV RI WKH V\VWHP ,QFUHDVLQJO\ FRPSOH[ V\VWHPV FUHDWH WKH RSSRUWXQLW\ IRU VLQJOHSRLQWVRIIDLOXUHWRFDVFDGHZKHQLQDFFXUDWHDVVHVVPHQWRI V\VWHP KHDOWK LQFUHDVHV UHVSRQVH WLPH RU OHDGV WR IDXOW\ DQDO\VLV RI WKH SUREOHPV LQYROYHG $ VHFRQG SUREOHP LQYROYHV YXOQHUDELOLW\ WR F\EHU LQWUXVLRQ LQ ZKLFK PDOLJQDQW DFWRUV FDQ PDVN V\VWHP GHJUDGDWLRQ RU SUHVHQW IDOVH GDWD DERXW V\VWHP VWDWXV $ UHVLOLHQW V\VWHP ZLOO SURWHFW VWDELOLW\ HIILFLHQF\ DQG VHFXULW\ 7R HQVXUH WKHVH WKUHH VWDWHV WKH V\VWHP PXVW UHDFW WR FKDQJLQJ FRQGLWLRQV ZLWKLQ WKH V\VWHP ZLWK FRRUGLQDWLRQ QR RQH FRPSRQHQW RI WKH V\VWHP FDQ EH DOORZHG WR UHDFW WR SUREOHPV ZLWKRXW UHDO FRQVLGHUDWLRQ RI WKH HIIHFWV RI WKDW DFWLRQ RQ RWKHU FRPSRQHQWV ZLWKLQ WKH V\VWHP 6\VWHPV ZLWK PXOWLDJHQW GHVLJQ W\SLFDOO\ KDYH WKUHH OD\HUV RI DFWLRQ D PDQDJHPHQW OD\HU D FRRUGLQDWLRQ OD\HU DQG DQ H[HFXWLRQ OD\HU $ UHVLOLHQW PXOWL DJHQW V\VWHP ZLOO HPSKDVL]H IXQFWLRQV RI WKH H[HFXWLRQ OD\HU ZKLFK KDV WKH UHVSRQVLELOLW\ RI LQLWLDWLQJ DFWLRQV PRQLWRULQJ DQDO\]LQJ DQG FRQWUROOLQJ LWV RZQ SURFHVVHV ZKLOH IHHGLQJ LQIRUPDWLRQ EDFN WR WKH KLJKHU OHYHOV RI PDQDJHPHQW DQG FRRUGLQDWLRQ 7KH GHVLJQ FRQFHSW RI D UHVLOLHQW FRQWURO V\VWHP H[HFXWLRQ DJHQW 5H&R6($ JURZV RXW RI WKHVH XQGHUSLQQLQJV DQGWKURXJKWKHXVHRIFRPSXWDWLRQDOLQWHOOLJHQFHWHFKQLTXHVWKLV SDSHUVXJJHVWVDQDVVRFLDWHGGHVLJQPHWKRGRORJ\ .H\ZRUGVUHVLOLHQWV\VWHPDJHQWFRQWURO
$
./0$ ./ 5HVLOLHQW&RQWURO6\VWHP
. , 1 &
1 2 , , & 1 2 & , . & , ! ,, 2 ! ! 2 , & , ! , , ,! 2 & 3 ,, 2 , 2 , ! 4 , 1 2 2 , ! + 2& 2 ! 1 # ! 5 2 22 1, 2 , & !# , 2 ! 5 1 !, # & , # )
' () * $& + ,# # $ ' ()%
. 22 , 0 ! ! !# ,,# 2 , 1 5 678 * 1 5 9 , ! , & 0 , 2! # ! 2 ! 2 , 2 , 6:8 . & , 5 2 & 22 6;8 2 < , , 4 &! , 1 5 & 2 , ) 2 , , # 1 , , ! , !, ,, 2 , 6=8 0 , 22 , 2# 2 , , , 1 , 2 > , , 1 5 # ! 1 5 1 5 ! ,? 0 ! 4!
# 1 & 2 2 ! & ! 1 , 2 , , 2 1 2 # !9# 2 , & 1 5 1 & ! 1 5 , 2 , , 2 ! . 1 , , 2 , # ! # 1 & , 2 22 , 1# , 1 ! 2 2 # 1 2, , , 2
1 2 & !5 ,
( 1 2 & 2 2& ! , 4! ! ,
( 1 2 & ! 5 , , , 1 5 . , 1 5 1 2 & ! , # ! 2 2
. / ./ @ .A B $./ .
. 2 2 , . 2 C# 1 2 , ,# 1
& . , 2 2 , & ,, ! , ,, !C& . !C& ,,
2 , 1 , 2 " 2# , !# , !1 2 ! 4 . # & 1 2 # ! # 2 !)! . ! 2# 1 , 2 2 5 2 2 6D8 . 2 # # , , 2) + 2 # 2 & ! 2 2 , 2 # 2 , !)! ) , !1 & 2 . # ,1 & ! 1 5 2 !1 2 " 2# , , 1 , 2 , 2 1 2, # 1 2 ! !) , 2 1 / 2 , 2 , ! 5 , , ! 5 ,, 5 !# 9 # , # ! 2 , , 22 2 5 6E8 " 2 # ) ! ! ! ! & # 2 & , 2 2 & " 2 # 2& ! 4 ) 5 1 # 6F86G8 C 2 , ! 6H8 I 1& # , & 2 # & ! ,, & ! 2 1 5 . , # ! , & ,, 2 , 2, & . ! , !54 2 1 2, 1 ! # 2 ! !2 2 I 1& # 2 # 2 , 2 2 ! ! & 2 # ! ! 4 2 9 2 2 # , & 2 2 , ! 2 22 2 2 # 1 2 ! # ! , 1 . , # 2 ! 2 2 2 , , # 1 , !1 ! 2 , # ! 2 & J ! 2 2 ,, 2 , 2
& " 7 2 ! 5 1 , , . 2 ! , , # 5# & ! ! 2 2 ) # , & 2 J 5 ! 42 # 1 4 1 & ! 2 !42 2 ! &! 2 , 2 J 5
)LJXUH2YHUDOO5H&R6($&\EHUSK\VLFDO7LHV
. 2 & ! 1 2 , 9 # . , 1 1 1 ! , 2 !C& & # 1 2 , 9 , 2 22 2 "$ . 0. ./ 3 / ./ / / 4 @> *"/A 0 . J 1 1 5 # ,, ! , & 2 # 5 ,, & , &# 2 & & 9 , , , & 2 2 1 5 & 1# , # & 1 1 5 ! 2 & 2 & 1 2 , , & # 2 ,# I 1& # , 2 , , ! & 1 < 7 2 , 4 # 2 & 3 ,, , # 2,# 2 ,,# !# 2 # : 1 ! & , ! & ! # 1 2 . , # 2 # 1 ! 4 & , 1 / , ! 2 . & , 2)
2 ! , 1 4 / 2 # ! 2& 22 # 1 ! I 1& # ! ! 2) , 1 , 9 ! ! 2 , 67K8 # ,4 2 2 , , "0 1 , !5 6778 & 22 , 2 2 . # , 1 < * 2 , & * 2 , , & * 2 2 & . 9 , & 0 22 # , 3 , 4 5 , 1 , , !5 2 45 2 5 22 & I 1& # 2&? # 2 & 2& 1 2 , 1 . 2 , 1 2 !< " , 2 67:8 # & , 1 5 & 2 . , , , & & 9 5 67;8 . 2 , , !52 & , ,4 &! , # 2 , , 1 , 2 , 1 67=8 . , & 2 & 9 , 67D8 2 ! , , , 2# , ! ,4 !4 I 1& # , ! , , 2 & & ! , # 2 , ! 22 9# ! ,4 2 ,, 2 2 , 1 & $, # # L. ! & M 2 # 4 ,4 4 9 5 ! & 2 ! 5 2 , , & &1 , , , # 5 & 22 , 2 2 !
# !C& 2 2 2 , ( "$ . 0. ./ 3 / ./ / @> *"/A 0 4 ! , , ! # 1 ! , , 2 & , ! , 2 , 2 # ! & , N 4 & ! , 2 2 # 4 2 5# 1 1 ! 2 , . 1 5 & 2 # 5 ! 4 , ! + 2 , 2 1 5 , # ! ) 9# & 22 1 # ! 2 22 ! 4 1 ! 22 2 & , !5 , # ! # 2 & & 2 ! 67E8 . 9 & , J & ! J I 1& # 1 & ,1 ,,& 1 , 1 & !# &# ! ,, & ? 1 2 1 5 ! # # , , 5 & ! & # & & & 5 & , # & ! 9 ! & > ! 2 5 J 5 5 !C&# # 2 # &! A 2 # 2 1 & 4 ,, , 2 # 1 ! ) 2 & ! 1 , 2 # ,,& 2 , # 1 ! , & & 2& 9# ! , 2 2# , 2 , 9,! 2 , 5 ! & ! , # ! & 2 > # 2 , & 2 2 1 !# 1 2 2 , , # 2# . # ! # 2 & 2 # ! 2 , !5 . ! &&# 1 # ! , & 5 2& , ! # 2 ! 2 & & 1 # 4 2 & & 0 3* # ) # , * # ! ,, I 1& # 22 5 0 3*
& 67F8 " 5 2 # 1 4! 4! # 1 2 & , 1 ! , 5 , & # , 2 , & ! 9 , ,, !1 , 2 & , & # 22 ,, , 1 , 2 , , J , & # & ! ! 5 , & 5 & , ,,# 2 ! ! 2 & 1 2 & , 2 & + 2 & 2 ! ! , # , 0 3* # 1 2 " 1 2 # & ! , !5 2 1 & & , 2 & 2 ! # ! , # , , , , 1 1 ,, , 1 , # 2 " : )# ) * )# , 1 ! 2 1 1 1 22 # ! , !5 2 22 1 ! 5 2 ! & . 1 1 1 2 , 2 , 5 1 5 1 ,1 & & !
, , . 5 , L )M 2 1 ! 1 & 2 , , . L )M 2 1 ) . 2 , ! ! 2 2# C 1 ! ) 2 & 1 ! 2 2 !, ! 2 . L* )M 2 1 & , 2 & O 2 ,, . L #M L ,#M L M 2 1 ! 2 & ! & 2 -1 2 & & 2 ! 2 & 1 2 & &- ,# 1 2 2 , 22 2 2 * 22 2 2 9 & 2 2 & 2 , ! ) " ) 2# , ,)) 2 & 2 , 2 & 67G8# 67H8 " ! # ! , 2 , 5 1 # 1 1 & 6:K8 > ! 2 & ! & 1 ! 2 , ! 4! , . , !# 2 , 2 2 2 & ! , , ) 2 & , ,)) 2 ! # " ; 2 & 2 1 & & , 2 ! 2 2 ,
)LJXUH5H&R6($$WWULEXWHV (
.( "$ . 0. ./ 0
, " :# , , ! ! 2 ! , 9 & ! ) , ! ! 2 2 . ) 2 1 ! ! , ,)) ! 2 , ! 2 1 2 , # 2 ! # + 2 ! ! , 2 2 & ! # ! ) ! !
)LJXUH)X]]\/RJLF1RUPDOL]H$VSHFW " L )M 2# 22 , > >, 1 5 >> 2 & ) 6:78# 6::8 . >> 5 K47 2 , ) ,)), 2 2 & 1 & ! 2 & >> # " =# 2 1 ! ) > 2 !! 1 >> >J " 2 2 !! , >> !
2 2 , 2 + '<
3 + P ' D 3 ' P + 3 + 1 < x
3 + 2 2 !! , I? 2 !! 2 !, 2
3 '_+ 2 !!? 5 , ' & 2 + x 3 +_' 2 2 !!? 2 !! x
2 # & '
, 2 & ! # 2 , ) ,)), , ! 2 !! ! 5 # ! 2 2 !! , 2 I . # 2 2 2 , , 2 2 C , ! 2 2 , . 2 !! 5 , 1 ! 1 , . 2 2 !! , , 2 # & , 2 1 , 2 . 2 2 2 & 1 ! , 2 , ! 2 ! * ) 2
. * ) 2 1 2 , , , 2 ) 2 & & ! &&# ! 5 , & 2 & 22 2 2 # , 2 2 , 2 1 5 ! & 2 ! 2 , 2 , ) 2 2 , , 22 2 2 6::86:;8 6:=86:D8 1 ) " D# , & , 2 + ! 2 2 1 ) # 2 , 3 & 2 / , ! , # ,, 1 # 67K8 6:E8
)LJXUH1HXUDO1HWZRUN3ULRULWL]H$VSHFW
)LJXUH%%15DWLRQDOL]H$VSHFW /, >> , 1 5 1 2 22 1 7 2 , ) 2 2 & , , : , 9 ! ! ! , , 2 1 . ) ! # 2 & 2 , 9 1 22 2 2 2 , >> &
02 , 2 1 & 2 , # , &# 2 , 2 42 , 1 & # , 2# 2 & 1 ! 2 , # 1 9 # , 2 , , 2) # , 2# ! 2 ! ! " E . * ) 1 5 2 & , , 2 & ! . 2 2 & C , 2 # 1 2 & 1 2 2 "# , 2 2 & 2 1 1 ! # 2 2 & ( $AA@ ) ! 22 , ) 2 ! 2 # .
2 2 2& 2 & ! 2 # ) , # ! 22 2 2 ! ! " ! &!# ! ! 2 ! ) 1 2
)LJXUH$FWLQJRQ(QYLURQPHQW
' /+ 0A . + 5 22 ! $ 02 , 0/ /2 /,, 04 KF4KD07=D7F# 2 , 2 , # # 0& , ! 2 5 0 Q I1# $& , # , " 7 !, ! 22 " 678 # 0 # A AR# L < #M QG&RQIHUHQFHRQ+XPDQ 6\VWHP,QWHUDFWLRQV# # # 22 E;:4E;E# A :KKH 6:8 # '* # 0 # ' &&# S)DXOW'HWHFWLRQ 'LDJQRVWLFVDQG3URJQRVWLFV 6RIWZDUH$JHQW6ROXWLRQV,((( 7UDQVDFWLRQVRQ9HKLFXODU7HFKQRORJ\# ( DE# =# 22 7E7;47E::# Q :KKF 6;8 # L 2 ! 5 2 , #M UG,QWHUQDWLRQDO6\PSRVLXPRQ5HVLOLHQW&RQWURO 6\VWHPV# :K7K 6=8 ' Q T# * ! # A >5# # + ,! # ) # , 2 # 7 # 2 # :KK7 6D8 ! # # 0J # L0 ! 0 , /& ! 2 M# ,((( 7UDQVDFWLRQVRQ$XWRPDWLF&RQWURO# ( =H# H# 2! :KK= 6E8 # /# A A# . AQ5# S 0 , $ "))4 0 " S# WK
,(((6\PSRVLXPRQ5HVLOLHQFH&RQWURO6\VWHPV
:K77# > # # # :K77 6F8 * A# " 5# L" 5 1 4! 4 & 1 M# $XWRPDWLFD ( :E# ;# 22 =DH4=F=# 7HHK 6G8 @# 1# # +5# L , ! , M# ,(((7UDQV$XW&RQWURO # ( :H# E# 22 EK;4E7=# 7HG= 6H8 # A AR# > # * ' 5 # ' * # L' 1 , , < 0 ,, , M# UG,QWHUQDWLRQDO:RUNVKRSRQ 6RIWZDUH(QJLQHHULQJIRU5HVLOLHQW6\VWHPV &# 1) #
2 :K77 67K8 0 > # / # ' A . # L ! /2) , $ 4! * !´,1)2506-RXUQDORQ &RPSXWLQJ# ( ::# 7# 22 ==4DG# A :K7K 6778 A >5# A ' # Q )# A 15 L0 "4 M# 2 # :KKE 67:8 , 5 > * ,# ,
# Q +# I ! 5# Q# :KKF 67;8 ' ()# ># &# # 1# # (# (5! L'4! , " 0 , "0< & , !,, 5 M# &RPSXWHUV &KHPLFDO(QJLQHHULQJ# ( ;D# 22 GKE4G7E# :K77 67=8 2 # S$ . , . , "4. 0 ! S# A 7UDQVDFWLRQVRQ3URJUDPPLQJ/DQJXDJHV DQG6\VWHPV# ( E# :# 22 :D=4:GK# 2 7HG= 67D8 0 ! # > # ( # 0 1# L 2 , , !5 < , # 2 # ,4 ) M# &KDRV# ( 7F# K:E7K;# :KKF 67E8 + " > # A AR# S02 $ , ! 0, , S# : , I # A :KKH 67F8 Q # S 4> 0 , 1 5S# ,QWHUQDWLRQDO-RXUQDORI&RPPXQLFDWLRQ1HWZRUNVDQG ,QIRUPDWLRQ6HFXULW\ ( :# :# :K7K 67G8 I# N # L")) 22 M# '1 # :KK7 67H8 # # L/ ")) 22 , #
2 & # " 0 M# ,(((7UDQVDFWLRQVRQ6\VWHPV0DQ DQG&\EHUQHWLFV²3DUW$ 6\VWHPVDQG+XPDQV ( :G# :# A 7HHG 6:K8 / # A A# A AR# L' 1 M# $& , 2 # 2! :K77 6:78 ' ()# . 2 # I # # 1 ( (5! # L> >, 1 5 >> , , * " 0 A 2 &
M# $,&+($QQXDO&RQIHUHQFH# &! :K7K 6::8 # * &# L , < 22 M * I# ; # :K7K 6:;8 A > 5# 0 ,!& # A ' # " 0 # / A2 # S* 1 , 2& 1 1 5 , , S# ,QWHUQDWLRQDO-RXUQDORI 0DFKLQH/HDUQLQJDQG&\EHUQHWLF# A :K7: 6:=8 A > 2# L 1 5 , * M# /, $& * # 7HHD 6:D8 R # 0 N # B# @# L$ $ 1 ( " , "4. A > " 4 A 1 5# 22 ( M# -RXUQDORI ,QWHOOLJHQW 5RERWLF6\VWHPV 2! 4# :K77 6:E8 I # Q # I '# +# # # A A 5 &# S < 0 2 , S# WK ,QWHUQDWLRQDO6\PSRVLXPRQ5HVLOLHQW&RQWURO6\VWHPV# :K77
