diff options
| -rw-r--r-- | paper/flowchart.pdf | bin | 0 -> 9082 bytes | |||
| -rw-r--r-- | paper/flowchart.svg | 1098 | ||||
| -rw-r--r-- | paper/safety-reset-paper.tex | 80 | ||||
| -rw-r--r-- | paper/safety-reset.bib | 10 |
4 files changed, 1169 insertions, 19 deletions
diff --git a/paper/flowchart.pdf b/paper/flowchart.pdf Binary files differnew file mode 100644 index 0000000..ff8c0e6 --- /dev/null +++ b/paper/flowchart.pdf diff --git a/paper/flowchart.svg b/paper/flowchart.svg new file mode 100644 index 0000000..a99ba9e --- /dev/null +++ b/paper/flowchart.svg @@ -0,0 +1,1098 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> + +<svg + width="73.642357mm" + height="64.569092mm" + viewBox="0 0 73.642357 64.569092" + version="1.1" + id="svg5" + inkscape:version="1.1 (c4e8f9ed74, 2021-05-24)" + sodipodi:docname="flowchart.svg" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns="http://www.w3.org/2000/svg" + xmlns:svg="http://www.w3.org/2000/svg"> + <sodipodi:namedview + id="namedview7" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + inkscape:pageshadow="2" + inkscape:pageopacity="0.0" + inkscape:pagecheckerboard="0" + inkscape:document-units="mm" + showgrid="false" + inkscape:snap-bbox="false" + inkscape:snap-intersection-paths="true" + inkscape:object-paths="true" + inkscape:snap-smooth-nodes="true" + inkscape:snap-global="false" + inkscape:zoom="3.0574005" + inkscape:cx="150.12754" + inkscape:cy="162.5564" + inkscape:window-width="2173" + inkscape:window-height="1573" + inkscape:window-x="2485" + inkscape:window-y="245" + inkscape:window-maximized="0" + inkscape:current-layer="layer2" + showguides="false" + fit-margin-top="3" + fit-margin-left="3" + fit-margin-right="3" + fit-margin-bottom="3" + showborder="true" + units="mm" + lock-margins="true" + borderlayer="true" /> + <defs + id="defs2"> + <rect + x="-28.917286" + y="31.972155" + width="109.18353" + height="129.063" + id="rect10866" /> + <rect + x="-28.917286" + y="31.972155" + width="109.18353" + height="129.063" + id="rect15413" /> + <rect + x="-28.917286" + y="31.972155" + width="109.18353" + height="129.063" + id="rect15413-1" /> + <rect + x="-28.917286" + y="31.972155" + width="109.18353" + height="129.063" + id="rect15413-7" /> + <rect + x="-28.917286" + y="31.972155" + width="109.18353" + height="129.063" + id="rect15413-3" /> + </defs> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-15.310265,-14.455001)"> + <rect + style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:0.499999;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect9475" + width="91.448166" + height="82.638519" + x="5.2928662" + y="7.8876767" /> + <g + id="g8024" + transform="translate(49.567338,-3.9821704)"> + <path + id="use7208" + style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.297093;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + d="m 9.4719945,64.572744 c -1.2678383,0.731987 -2.5355866,1.464215 -3.803425,2.196202 v 0.389328 h 0.8774827 v 2.9306 h 5.8522168 v -2.9306 h 0.877483 v -0.389328 c -1.267838,-0.731987 -2.53592,-1.464215 -3.8037575,-2.196202 z" /> + <path + id="rect6696-4-0" + style="fill:none;fill-opacity:1;stroke:#ffffff;stroke-width:1.5;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + d="m 16.127778,66.911 c -1.62734,0.939545 -3.254565,1.879401 -4.881905,2.818947 v 0.499723 h 1.126298 v 3.761586 h 7.511641 V 70.22967 H 21.01011 V 69.729947 C 19.38277,68.790401 17.755118,67.850545 16.127778,66.911 Z" /> + <path + id="rect6696-4" + style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.381335;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + d="m 16.127778,66.911 c -1.62734,0.939545 -3.254565,1.879401 -4.881905,2.818947 v 0.499723 h 1.126298 v 3.761586 h 7.511641 V 70.22967 H 21.01011 V 69.729947 C 19.38277,68.790401 17.755118,67.850545 16.127778,66.911 Z" /> + <g + id="g8016" + transform="translate(-1.5292143,-1.4953055)"> + <path + id="rect6696-4-6-6" + style="fill:none;fill-opacity:1;stroke:#ffffff;stroke-width:1.5;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + d="m 13.303284,69.860332 c -1.968918,1.136756 -3.9376967,2.273887 -5.9066157,3.410643 v 0.604615 h 1.362707 v 4.551143 H 17.84771 V 73.87559 h 1.362707 v -0.604615 c -1.968919,-1.136756 -3.938215,-2.273887 -5.907133,-3.410643 z" /> + <path + id="rect6696-4-6" + style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.461378;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + d="m 13.303284,69.860332 c -1.968918,1.136756 -3.9376967,2.273887 -5.9066157,3.410643 v 0.604615 h 1.362707 v 4.551143 H 17.84771 V 73.87559 h 1.362707 v -0.604615 c -1.968919,-1.136756 -3.938215,-2.273887 -5.907133,-3.410643 z" /> + </g> + </g> + <g + id="g2866" + transform="translate(5.6025171,2.5388793)"> + <rect + style="fill:#000000;stroke:none;stroke-width:0.132292;stop-color:#000000" + id="rect846" + width="12.096041" + height="7.6395664" + x="16.148296" + y="24.164843" /> + <circle + style="fill:#000000;stroke:none;stroke-width:0.132292;stop-color:#000000" + id="path914" + cx="22.196316" + cy="24.49472" + r="2.9071047" /> + <g + id="g2821" + transform="translate(0.12545165)"> + <g + id="g2791"> + <g + id="g1150" + style="fill:#ffffff;stroke-width:0.606677" + transform="matrix(1.6483235,0,0,1.6483235,-10.605069,-8.4462491)"> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="rect1018" + width="0.82839036" + height="1.0267524" + x="16.96587" + y="20.800917" /> + <circle + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="path1042" + cx="17.380066" + cy="20.800917" + r="0.41419515" /> + </g> + <g + id="g1150-3" + style="fill:#ffffff;stroke-width:0.606677" + transform="matrix(1.6483235,0,0,1.6483235,-7.9197602,-8.4462491)"> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="rect1018-6" + width="0.82839036" + height="1.0267524" + x="16.96587" + y="20.800917" /> + <circle + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="path1042-7" + cx="17.380066" + cy="20.800917" + r="0.41419515" /> + </g> + <g + id="g1150-5" + style="fill:#ffffff;stroke-width:0.606677" + transform="matrix(1.6483235,0,0,1.6483235,-5.2344509,-8.4462491)"> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="rect1018-3" + width="0.82839036" + height="1.0267524" + x="16.96587" + y="20.800917" /> + <circle + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="path1042-5" + cx="17.380066" + cy="20.800917" + r="0.41419515" /> + </g> + <g + id="g1150-1" + style="fill:#ffffff;stroke-width:0.606677" + transform="matrix(1.6483235,0,0,1.6483235,-2.5491416,-8.4462491)"> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="rect1018-2" + width="0.82839036" + height="1.0267524" + x="16.96587" + y="20.800917" /> + <circle + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="path1042-70" + cx="17.380066" + cy="20.800917" + r="0.41419515" /> + </g> + </g> + <g + id="g2799"> + <g + id="g1150-9" + style="fill:#ffffff;stroke-width:0.606677" + transform="matrix(1.6483235,0,0,1.6483235,-2.5491438,-5.4165207)"> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="rect1018-36" + width="0.82839036" + height="1.0267524" + x="16.96587" + y="20.800917" /> + <circle + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="path1042-0" + cx="17.380066" + cy="20.800917" + r="0.41419515" /> + </g> + <g + id="g1150-6" + style="fill:#ffffff;stroke-width:0.606677" + transform="matrix(1.6483235,0,0,1.6483235,-10.605069,-5.4165207)"> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="rect1018-26" + width="0.82839036" + height="1.0267524" + x="16.96587" + y="20.800917" /> + <circle + style="fill:#ffffff;stroke:none;stroke-width:0.0802585;stop-color:#000000" + id="path1042-1" + cx="17.380066" + cy="20.800917" + r="0.41419515" /> + </g> + </g> + </g> + <g + id="g1150-6-7" + style="fill:#ffffff;stroke-width:0.488499" + transform="matrix(2.0470857,0,0,2.0470857,-13.382168,-13.324293)"> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.0646244;stop-color:#000000" + id="rect1018-26-9" + width="0.82839036" + height="1.0267524" + x="16.96587" + y="20.800917" /> + <circle + style="fill:#ffffff;stroke:none;stroke-width:0.0646244;stop-color:#000000" + id="path1042-1-2" + cx="17.380066" + cy="20.800917" + r="0.41419515" /> + </g> + <path + id="use2004-3" + style="fill:#ffffff;stroke:#000000;stroke-width:2.64567;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 80.589844,115.50586 -0.326172,1.22266 h -1.28711 l -0.326171,1.22265 H 77.5 l -0.328125,1.22266 h -1.214844 l -0.328125,1.22265 h 6.484375 4.53711 5.503906 l -0.328125,-1.22265 h -1.214844 l -0.328125,-1.22266 h -1.150391 l -0.326171,-1.22265 h -1.28711 l -0.326172,-1.22266 h -0.445312 -5.712891 z" + transform="scale(0.26458333)" /> + <g + id="g2111" + transform="translate(0.43757472,0.050467)"> + <g + id="g2014" + transform="translate(0.0220835)" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none"> + <use + x="0" + y="0" + xlink:href="#use2002" + id="use2004" + transform="translate(-0.45302871,-0.323469)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + <use + x="0" + y="0" + xlink:href="#use2004" + id="use2006" + transform="matrix(-1,0,0,1,43.473317,0)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + </g> + <g + id="g2059" + transform="translate(-0.004017)" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none"> + <use + x="0" + y="0" + xlink:href="#use2000" + id="use2002" + transform="translate(-0.37869338,-0.323469)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + <use + x="0" + y="0" + xlink:href="#use2002" + id="use2008" + transform="matrix(-1,0,0,1,43.525518,0)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + </g> + <g + id="g2055" + transform="translate(0.0082455)" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none"> + <use + x="0" + y="0" + xlink:href="#path1393" + id="use2000" + transform="translate(-0.41632028,-0.323469)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + <use + x="0" + y="0" + xlink:href="#use2000" + id="use2010" + transform="matrix(-1,0,0,1,43.500993,0)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + <use + x="0" + y="0" + xlink:href="#use2010" + id="use2043" + transform="translate(0.70157217)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + </g> + <g + id="g2050" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none"> + <path + style="fill:#ffffff;stroke:#ffffff;stroke-width:0.1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 22.228996,31.804409 h 1.715719 l -0.08667,-0.323469 h -1.629049 z" + id="path1393" + sodipodi:nodetypes="ccccc" /> + <use + x="0" + y="0" + xlink:href="#path1393" + id="use1895" + transform="matrix(-1,0,0,1,43.517484,0)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + <use + x="0" + y="0" + xlink:href="#use1895" + id="use2045" + transform="translate(1.2002921)" + width="100%" + height="100%" + style="stroke:#ffffff;stroke-width:0.1;stroke-miterlimit:4;stroke-dasharray:none" /> + </g> + </g> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.132292;stop-color:#000000" + id="rect846-9" + width="12.096041" + height="0.70330799" + x="16.148296" + y="-32.507717" + transform="scale(1,-1)" /> + </g> + <g + id="g4557" + transform="translate(1.7320415)"> + <path + id="path2901" + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="m 37.300793,24.712324 c -0.14142,3.220819 -0.282842,6.441639 -0.424262,9.662459 0.675754,0 1.35151,0 2.027264,0 -0.14142,-3.22082 -0.282842,-6.44164 -0.424262,-9.662459 -0.392914,0 -0.785826,0 -1.17874,0 z" /> + <path + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:bevel;stroke-opacity:1" + d="m 36.891681,34.376552 1.959819,-1.131504 -1.891287,-0.506769 1.791986,-1.034603 -1.708944,-0.45791 1.658983,-0.957813 -1.611453,-0.431787 1.556374,-0.898573 -1.594082,-0.427133 1.501677,-0.866994 -1.377667,-0.369145 1.279879,-0.738939 -1.216855,-0.326055 1.254199,-0.724112 -1.211003,-0.324488 0.84188,-0.486059" + id="path3997" /> + <rect + style="fill:#000000;stroke:none;stroke-width:0.7;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stop-color:#000000" + id="rect4119" + width="0.82653862" + height="1.4967644" + x="37.476894" + y="23.229706" /> + <path + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:round;stroke-linejoin:miter;stroke-opacity:1" + d="M 37.890163,23.805847 V 17.587292" + id="path4278" /> + <g + id="g4548" + transform="translate(-0.07247381)"> + <path + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:round;stroke-linejoin:bevel;stroke-opacity:1" + d="m 38.113704,24.62607 c 0.122581,0.03627 -1.220301,0 -1.220301,0 l -1.769314,1.021514" + id="path4426" /> + <use + x="0" + y="0" + xlink:href="#path4426" + id="use4544" + transform="matrix(-1,0,0,1,75.925275,0)" + width="100%" + height="100%" /> + </g> + </g> + <g + id="g4557-2" + transform="translate(14.766767,8.8851365)"> + <path + id="path2901-8" + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="m 37.300793,24.712324 c -0.14142,3.220819 -0.282842,6.441639 -0.424262,9.662459 0.675754,0 1.35151,0 2.027264,0 -0.14142,-3.22082 -0.282842,-6.44164 -0.424262,-9.662459 -0.392914,0 -0.785826,0 -1.17874,0 z" /> + <path + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:bevel;stroke-opacity:1" + d="m 36.891681,34.376552 1.959819,-1.131504 -1.891287,-0.506769 1.791986,-1.034603 -1.708944,-0.45791 1.658983,-0.957813 -1.611453,-0.431787 1.556374,-0.898573 -1.594082,-0.427133 1.501677,-0.866994 -1.377667,-0.369145 1.279879,-0.738939 -1.216855,-0.326055 1.254199,-0.724112 -1.211003,-0.324488 0.84188,-0.486059" + id="path3997-9" /> + <rect + style="fill:#000000;stroke:none;stroke-width:0.7;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stop-color:#000000" + id="rect4119-7" + width="0.82653862" + height="1.4967644" + x="37.476894" + y="23.229706" /> + <path + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:round;stroke-linejoin:miter;stroke-opacity:1" + d="M 37.890163,23.805847 V 17.587292" + id="path4278-3" /> + <g + id="g4548-6" + transform="translate(-0.07247381)"> + <path + style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:round;stroke-linejoin:bevel;stroke-opacity:1" + d="m 38.113704,24.62607 c 0.122581,0.03627 -1.220301,0 -1.220301,0 l -1.769314,1.021514" + id="path4426-1" /> + <use + x="0" + y="0" + xlink:href="#path4426-1" + id="use4544-2" + transform="matrix(-1,0,0,1,75.925275,0)" + width="100%" + height="100%" /> + </g> + </g> + <g + id="g2203" + transform="translate(1.3449329,-0.86064309)"> + <rect + style="fill:#000000;stroke:none;stroke-width:0.7;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stop-color:#000000" + id="rect4581" + width="27.317078" + height="4.9366841" + x="57.290615" + y="39.31617" /> + <g + id="g5019" + transform="translate(1.3901783,0.16637001)"> + <path + style="fill:#000000;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="m 69.541241,39.239581 5.002352,-2.88811 v 2.88811 z" + id="path4616" + sodipodi:nodetypes="cccc" /> + <use + x="0" + y="0" + xlink:href="#path4616" + id="use5009" + transform="translate(4.3369607)" + width="100%" + height="100%" /> + <use + x="0" + y="0" + xlink:href="#use5009" + id="use5011" + transform="translate(4.3369607)" + width="100%" + height="100%" /> + </g> + <rect + style="fill:#000000;stroke:none;stroke-width:0.7;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stop-color:#000000" + id="rect5043" + width="14.913396" + height="7.8006172" + x="57.290611" + y="35.943867" /> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.699998;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stop-color:#000000" + id="rect5043-3" + width="26.879732" + height="1.4867704" + x="57.509289" + y="41.372322" /> + <rect + style="fill:#ffffff;stroke:none;stroke-width:0.699998;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stop-color:#000000" + id="rect5043-3-6" + width="14.222734" + height="1.4867704" + x="57.638214" + y="37.265854" /> + <g + id="g997-7" + transform="matrix(2.0286761,0,0,2.2505963,-58.724922,-34.701594)" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"> + <path + style="fill:none;stroke:#000000;stroke-width:0.233999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 58.506514,31.728875 v 1.799133" + id="path5491-5" /> + <use + x="0" + y="0" + xlink:href="#path5491-5" + id="use5893-3" + transform="translate(1.2388778)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#use5893-3" + id="use5895-5" + transform="translate(1.2388779)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5" + id="use5897-6" + transform="translate(3.7166336)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5" + id="use972-2" + transform="translate(4.9555114)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + </g> + <g + id="g997-7-0" + transform="matrix(2.0286761,0,0,2.2505963,-58.724922,-32.084523)" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"> + <path + style="fill:none;stroke:#000000;stroke-width:0.233999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 58.506514,31.728875 v 1.799133" + id="path5491-5-9" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9" + id="use5893-3-3" + transform="translate(1.2388778)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#use5893-3-3" + id="use5895-5-6" + transform="translate(1.2388779)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9" + id="use5897-6-0" + transform="translate(3.7166336)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9" + id="use972-2-6" + transform="translate(4.9555114)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + </g> + <g + id="g997-7-0-2" + transform="matrix(2.0286761,0,0,2.2505963,-48.614984,-32.084523)" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"> + <path + style="fill:none;stroke:#000000;stroke-width:0.233999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 58.506514,31.728875 v 1.799133" + id="path5491-5-9-6" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9-6" + id="use5893-3-3-1" + transform="translate(1.2388778)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#use5893-3-3-1" + id="use5895-5-6-8" + transform="translate(1.2388779)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9-6" + id="use5897-6-0-7" + transform="translate(3.7166336)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9-6" + id="use972-2-6-9" + transform="translate(4.9555114)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + </g> + <g + id="g997-7-0-20" + transform="matrix(2.0286761,0,0,2.2505963,-46.132029,-32.084523)" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"> + <path + style="fill:none;stroke:#000000;stroke-width:0.233999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 58.506514,31.728875 v 1.799133" + id="path5491-5-9-2" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9-2" + id="use5893-3-3-3" + transform="translate(1.2388778)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#use5893-3-3-3" + id="use5895-5-6-7" + transform="translate(1.2388779)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9-2" + id="use5897-6-0-5" + transform="translate(3.7166336)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#path5491-5-9-2" + id="use972-2-6-92" + transform="translate(4.9555114)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.233999;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + </g> + </g> + <g + id="g5246" + transform="translate(-31.860501,-11.46542)"> + <rect + style="fill:#000000;stroke:none;stroke-width:0.499999;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect4185-1" + width="3.259963" + height="0.93704313" + x="24.808058" + y="50.012444" + rx="0.46852154" + ry="0.46852157" /> + <rect + style="fill:#000000;stroke:none;stroke-width:0.499999;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect4185-1-9" + width="3.259963" + height="0.93704313" + x="24.808058" + y="51.390312" + rx="0.46852154" + ry="0.46852157" /> + <rect + style="fill:#000000;stroke:none;stroke-width:0.499999;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect4185-1-4" + width="3.259963" + height="0.93704313" + x="24.808058" + y="52.821262" + rx="0.46852154" + ry="0.46852157" /> + <rect + style="fill:#000000;stroke:none;stroke-width:0.499999;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect4185-1-7" + width="3.259963" + height="0.93704313" + x="24.808058" + y="54.214146" + rx="0.46852154" + ry="0.46852157" /> + <g + id="g5237" + transform="translate(0.0318313)"> + <path + style="fill:#000000;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="m 26.551276,56.037596 -1.027451,0.02604 0.346166,-7.283368 h 0.681285 z" + id="path5056" + sodipodi:nodetypes="ccccc" /> + <use + x="0" + y="0" + xlink:href="#path5056" + id="use5233" + transform="matrix(-1,0,0,1,52.812416,0)" + width="100%" + height="100%" /> + </g> + </g> + <g + id="g5542" + transform="matrix(0.44387819,0,0,0.44387819,28.028396,19.994804)"> + <g + id="g3526"> + <path + style="fill:#000000;stroke:none;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="M 38.988179,58.674843 H 24.936903 l -2.191554,3.795887 v 5.46889 h 16.24283 z" + id="path2980" + sodipodi:nodetypes="cccccc" /> + <use + x="0" + y="0" + xlink:href="#path2980" + id="use3522" + transform="matrix(-1,0,0,1,67.420313,0)" + width="100%" + height="100%" /> + </g> + <use + x="0" + y="0" + xlink:href="#g3526" + id="use3528" + transform="matrix(1,0,0,-1,0,131.61528)" + width="100%" + height="100%" /> + <g + id="g3953" + transform="matrix(0.87993924,0,0,0.88086935,4.0284237,7.5847441)" + style="fill:#000000;fill-opacity:1;stroke:#ffffff;stroke-width:0.454337;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"> + <rect + style="fill:#000000;fill-opacity:1;stroke:#ffffff;stroke-width:0.454337;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect3552" + width="1.6384113" + height="19.270367" + x="26.19083" + y="56.461899" + rx="0.93097979" + ry="0.92999679" /> + <use + x="0" + y="0" + xlink:href="#rect3552" + id="use3940" + transform="translate(3.2715864)" + width="100%" + height="100%" + style="fill:#000000;fill-opacity:1;stroke:#ffffff;stroke-width:0.454337;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#rect3552" + id="use3942" + transform="translate(6.5431729)" + width="100%" + height="100%" + style="fill:#000000;fill-opacity:1;stroke:#ffffff;stroke-width:0.454337;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#rect3552" + id="use3944" + transform="translate(9.8147594)" + width="100%" + height="100%" + style="fill:#000000;fill-opacity:1;stroke:#ffffff;stroke-width:0.454337;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + <use + x="0" + y="0" + xlink:href="#rect3552" + id="use3946" + transform="translate(13.086346)" + width="100%" + height="100%" + style="fill:#000000;fill-opacity:1;stroke:#ffffff;stroke-width:0.454337;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + </g> + <use + x="0" + y="0" + xlink:href="#g5246" + id="use5248" + transform="rotate(22.654924,-19.185806,169.14803)" + width="100%" + height="100%" /> + <use + x="0" + y="0" + xlink:href="#use5248" + id="use5332" + transform="matrix(-1,0,0,1,67.13622,0)" + width="100%" + height="100%" /> + </g> + <use + x="0" + y="0" + xlink:href="#g5542" + id="use5544" + transform="translate(-17.260891,6.4288113)" + width="100%" + height="100%" /> + <g + id="g6078" + transform="translate(27.098966,-13.723158)"> + <rect + style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.37892;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect5854" + width="15.809621" + height="6.2406602" + x="8.2642393" + y="75.464272" + rx="0.42043981" + ry="0.46852151" /> + <circle + style="fill:#000000;fill-opacity:1;stroke:#ffffff;stroke-width:0.4;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="path5568" + cx="16.16905" + cy="83.097427" + r="6.4498248" /> + <rect + style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:0.4;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect5592" + width="5.0133963" + height="3.0984492" + x="13.662352" + y="79.26252" + rx="0.46852151" + ry="0.46852151" /> + <g + id="g5826" + transform="translate(0,-0.34780484)"> + <circle + style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:0.4;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="path5740" + cx="20.097223" + cy="82.646751" + r="0.43423128" /> + <use + x="0" + y="0" + xlink:href="#path5740" + id="use5822" + transform="translate(0,1.5969616)" + width="100%" + height="100%" /> + </g> + </g> + <g + id="g7086" + transform="translate(-26.40076,-23.564466)"> + <rect + style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.461378;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect6696" + width="9.0884457" + height="5.4127398" + x="9.6059895" + y="72.033241" + rx="0" + ry="0" /> + <g + id="g7080" + transform="translate(0.37761953)"> + <path + style="fill:#000000;stroke:#000000;stroke-width:0.05;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 12.813755,72.894819 c -1.649307,0 -3.2986133,0 -4.9479201,0 0,-0.201512 0,-0.403024 0,-0.604536 1.9689188,-1.136756 3.9378391,-2.273512 5.9067581,-3.410268 0,1.338268 0,2.676536 0,4.014804 -0.319613,0 -0.639225,0 -0.958838,0 z" + id="path6852" + sodipodi:nodetypes="cccccc" /> + <use + x="0" + y="0" + xlink:href="#path6852" + id="use7058" + transform="matrix(-1,0,0,1,27.545186,0)" + width="100%" + height="100%" + style="stroke:#000000;stroke-width:0.05;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + </g> + </g> + </g> + <g + inkscape:groupmode="layer" + id="layer2" + inkscape:label="Layer 2" + style="display:inline;mix-blend-mode:screen" + transform="translate(-15.310265,-14.455001)"> + <rect + style="fill:#586276;fill-opacity:1;stroke:none;stroke-width:0.499999;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="rect9371" + width="78.648399" + height="71.852043" + x="13.421401" + y="9.7267618" + rx="0" + ry="0" /> + </g> + <g + inkscape:groupmode="layer" + id="layer3" + inkscape:label="Layer 3" + transform="translate(-15.310265,-14.455001)"> + <path + style="fill:#ffcc00;stroke:none;stroke-width:0.151801px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + d="m 41.385234,22.583392 0.36463,0.904354 -0.688353,0.961359 5.126828,-0.281048 -1.198089,6.25764 5.155654,-0.545247 -1.173413,1.277768 2.857932,-1.187651 -1.971426,-1.830066 0.26229,1.289957 -4.125094,0.128922 1.625597,-6.403604 z" + id="path2410" + sodipodi:nodetypes="ccccccccccccc" /> + <path + style="fill:none;stroke:#cc0000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 58.914011,38.722204 c -2.370898,5.284044 -5.847495,7.731514 -11.383219,4.896464" + id="path8441" + sodipodi:nodetypes="cc" /> + <path + style="fill:none;stroke:#cc0000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 38.075454,43.756421 c -4.177135,5.326658 -12.781728,6.762675 -17.200153,6.383813" + id="path8443" + sodipodi:nodetypes="cc" /> + <path + style="fill:none;stroke:#cc0000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" + d="m 30.551411,49.738753 c 1.086688,6.828773 4.127792,10.263383 7.281748,12.062812" + id="path8445" + sodipodi:nodetypes="cc" /> + </g> + <g + inkscape:groupmode="layer" + id="layer4" + inkscape:label="Layer 4" + transform="translate(-15.310265,-14.455001)"> + <g + id="g15403" + transform="translate(2.6052425,14.343918)"> + <circle + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.653;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="path10092" + cx="19.017618" + cy="18.995359" + r="2.9860954" /> + <text + xml:space="preserve" + transform="matrix(0.22147178,0,0,0.22147178,24.296866,8.6389925)" + id="text10864" + style="font-size:26.6667px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect10866)"><tspan + x="-28.917969" + y="56.477896" + id="tspan18143"><tspan + style="font-family:Bahnschrift;-inkscape-font-specification:Bahnschrift" + id="tspan18141">1</tspan></tspan></text> + </g> + <g + id="g15411" + transform="translate(23.735495,12.857313)"> + <circle + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.653;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="circle15405" + cx="19.017618" + cy="18.995359" + r="2.9860954" /> + <text + xml:space="preserve" + transform="matrix(0.22147178,0,0,0.22147178,23.890665,8.623664)" + id="text15409" + style="font-size:26.6667px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect15413)"><tspan + x="-28.917969" + y="56.477896" + id="tspan18147"><tspan + style="font-family:Bahnschrift;-inkscape-font-specification:Bahnschrift" + id="tspan18145">2</tspan></tspan></text> + </g> + <g + id="g15411-5" + transform="translate(46.239689,16.01096)"> + <circle + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.653;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="circle15405-5" + cx="19.017618" + cy="18.995359" + r="2.9860954" /> + <text + xml:space="preserve" + transform="matrix(0.22147178,0,0,0.22147178,23.890665,8.623664)" + id="text15409-4" + style="font-size:26.6667px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect15413-1)"><tspan + x="-28.917969" + y="56.477896" + id="tspan18151"><tspan + style="font-family:Bahnschrift;-inkscape-font-specification:Bahnschrift" + id="tspan18149">3</tspan></tspan></text> + </g> + <g + id="g15411-6" + transform="translate(12.280177,27.882868)"> + <circle + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.653;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="circle15405-56" + cx="19.017618" + cy="18.995359" + r="2.9860954" /> + <text + xml:space="preserve" + transform="matrix(0.22147178,0,0,0.22147178,23.555982,8.623664)" + id="text15409-9" + style="font-size:26.6667px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect15413-7)"><tspan + x="-28.917969" + y="56.477896" + id="tspan18155"><tspan + style="font-family:Bahnschrift;-inkscape-font-specification:Bahnschrift" + id="tspan18153">4</tspan></tspan></text> + </g> + <g + id="g15411-7" + transform="translate(30.411115,42.721095)"> + <circle + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.653;stroke-linecap:round;stroke-linejoin:bevel;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:#000000" + id="circle15405-4" + cx="19.017618" + cy="18.995359" + r="2.9860954" /> + <text + xml:space="preserve" + transform="matrix(0.22147178,0,0,0.22147178,23.890665,8.623664)" + id="text15409-5" + style="font-size:26.6667px;line-height:1.25;font-family:sans-serif;white-space:pre;shape-inside:url(#rect15413-3)"><tspan + x="-28.917969" + y="56.477896" + id="tspan18159"><tspan + style="font-family:Bahnschrift;-inkscape-font-specification:Bahnschrift" + id="tspan18157">5</tspan></tspan></text> + </g> + </g> +</svg> diff --git a/paper/safety-reset-paper.tex b/paper/safety-reset-paper.tex index 367359c..c71ec26 100644 --- a/paper/safety-reset-paper.tex +++ b/paper/safety-reset-paper.tex @@ -33,7 +33,7 @@ \title{Ripples in the Pond: Transmitting Information through Grid Frequency Modulation} \titlerunning{Ripples in the Pond: Transmitting Information through Grid Frequency} \author{Jan Sebastian Götte \and Liran Katzir \and Björn Scheuermann} -\institute{Alexander von Humboldt Institut für Internet und Gesellschaft (HIIG)\\ \email{safetyreset@jaseg.de} \and Tel Aviv University\\Faculty of Engineering\\\email{lirankat@tau.ac.il} \and Humboldt-Universität zu Berlin\\ \email{scheuermann@informatik.hu-berlin.de}} +\institute{Alexander von Humboldt Institut for Internet and Society Berlin (HIIG)\\ \email{safetyreset@jaseg.de} \and Tel Aviv University\\Faculty of Engineering\\\email{lirankat@tau.ac.il} \and Humboldt-Universität zu Berlin\\ \email{scheuermann@informatik.hu-berlin.de}} % FIXME keywords \maketitle \keywords{Security, privacy and resilience in critical infrastructures \and Security and privacy in ``internet of @@ -48,11 +48,11 @@ things'' \and Cyber-physical systems \and Hardware security \and Network Securit In this paper, we approach the smart grid safety issue by implementing an emergency override that can be used to reset all connected devices to a known-good state and preempt subsequent compromise by cutting communication links. - To yield a fully fail-safe design, our system does not rely on the internet or other conventional communication - network to work. Instead, our system transmits error-corrected and cryptographically secured commands by modulating - grid frequency using a single large consumer such as a large aluminium smelter. This approach differs from - traditional Powerline Communication (PLC) systems in that it reaches every device within the same synchronous area - as the signal is embedded into the fundamental grid frequency instead of a superimposed voltage that is quickly + To yield a fully fail-safe design, our system does not rely on the internet or other conventional telecommunication + networks to function. Instead, our system transmits error-corrected and cryptographically secured commands by + modulating grid frequency using a single large consumer such as a large aluminium smelter. This approach differs + from traditional Powerline Communication (PLC) systems in that it reaches every device within the same synchronous + area as the signal is embedded into the fundamental grid frequency instead of a superimposed voltage that is quickly attenuated across long distances. Using simulations we have determined that control of a $\SI{25}{\mega\watt}$ load would allow for the transmission @@ -116,13 +116,29 @@ In this paper, instead of focusing on the very hard task of improving firmware s solution to the---in our opinion likely---scenario of a large-scale compromise of smart meter firmware. In our concept the components of the smart meter that are threatened by remote compromise are equipped with a physically separate \emph{safety reset controller} that listens for a ``reset'' command transmitted through the electrical grid's frequency -and on reception forcibly resets the smart meter's entire firmware to a known-good state. Our safety reset controller -receives commands through Direct Sequence Spread Spectrum (DSSS) modulation carried out on grid frequency through a -large controllable load such as an aluminium smelter. After forward error correction and cryptographic verification it -re-flashes the meter's main microcontroller over the standard JTAG interface. Note that our modulation technique is -\emph{changing the grid frequency itself}. This is fundamentally different in both generation and detection from -systems such as traditional PLC that superimpose a signal on grid voltage, but leave the underlying grid frequency -itself unaffected. +and on reception forcibly resets the smart meter's entire firmware to a known-good state and disables all network +functionality to prevent re-compromise. Our safety reset controller receives commands through Direct Sequence Spread +Spectrum (DSSS) modulation carried out on grid frequency through a large controllable load such as an aluminium smelter. +After forward error correction and cryptographic verification it re-flashes the meter's main microcontroller over the +standard JTAG interface. Note that our modulation technique is \emph{changing the grid frequency itself}. This is +fundamentally different in both generation and detection from systems such as traditional PLC that superimpose a signal +on grid voltage, but leave the underlying grid frequency itself unaffected. + +\begin{figure} + \centering + \includegraphics[width=0.4\textwidth]{flowchart} + \caption{Structural overview of our concept. 1 - Government authority or utility operations center. 2 - Emergency + radio link. 3 - Aluminium smelter. 4 - Electrical grid. 5 - Target smart meter.} + \label{fig_intro_flowchart} +\end{figure} + +Figure~\ref{fig_intro_flowchart} shows an overview of our concept. Two scenarios for its application are before or +during a cyberattack, to stop an attack on the electrical grid in its tracks, and after an attack while power is being +restored to prevent a repeated attack. In both scenarios, our concept is fully independent of all public communication +networks (such as the Internet or mobile networks) as well as broadcast systems (such as cable television or terrestrial +broadcast radio). A grid frequency-based system can function as long as power is still available, or as soon as power is +restored after the attack. One powerful function this allows is ``flushing out`` an attacker from compromised smart +meters after an attack, before restoring smart meter internet connectivity. Starting from a high level architecture, we have carried out simulations of our concept's performance under real-world conditions. Based on these simulations we implemented an end-to-end prototype of our proposed safety reset controller as @@ -313,6 +329,16 @@ well as low receiver hardware complexity. To the best of the authors' knowledge, grid frequency modulation has only ever been proposed as a communication channel at very small scales in microgrids before~\cite{urtasun01} and has not yet been considered for large-scale application. +Compared to traditional channels such as DSL, LTE or LoraWAN, grid frequency as a communication channel has a large +resiliency advantage: If there is power, a grid frequency modulation system is operational. Both DSL and LTE systems not +only require power but also require large amounts of centralized infrastructure to operate. Mesh networks such as +LoraWAN can cover short distances up to $\SI{20}{\kilo\meter}$ without requiring infrastructure to be available, but for +longer distances LoraWAN relies on the public internet for its network backbone. Therefore, during an ongoing +cyberattack, grid frequency is promising as a communication channel as only a single transmitter facility must be +operational for it to function. After a power outage, it can function as soon as electrical power is restored, even +while the public internet and mobile networks are still offline and it is unaffected by cyberattacks that target +telecommunication networks. + \subsection{Characterizing Grid Frequency} In utility SCADA systems, Phasor Measurement Units (PMUs, also called \emph{synchrophasors}) are used to precisely @@ -359,12 +385,28 @@ Aluminium smelters are operated around the clock, and due to the high financial outages has been carefully characterized by the industry. Power outages of tens of minutes up to two hours reportedly do not cause problems in aluminium potlines~\cite{eisma01,oye01}. Recently, even techniques for intentional power modulation without affecting cell lifetime or product quality have been developed to take advantage of variable energy -prices.~\cite{duessel01,eisma01}. An aluminium plant's power supply is controlled to constantly keep all smelter cells -under optimal operating conditions. Modern power supply systems employ large banks of diodes or SCRs to rectify -low-voltage AC to DC to be fed into the potline~\cite{ayoub01}. Potline voltage is controlled through a combination of a -tap changer and a transductor. Individual cell voltages are controlled by changing the physical distance between anode -and cathode distance. In this setup, power can be modulated fully electronically. Since this system does not have any -mechanical inertia, high modulation rates can reasonably be achieved. +prices.~\cite{duessel01,eisma01,depree01}. An aluminium plant's power supply is controlled to constantly keep all +smelter cells under optimal operating conditions. Modern power supply systems employ large banks of diodes or SCRs to +rectify low-voltage AC to DC to be fed into the potline~\cite{ayoub01}. Potline voltage is controlled through a +combination of a tap changer and a transductor. Individual cell voltages are controlled by changing the physical +distance between anode and cathode distance. In this setup, power can be modulated fully electronically. Since this +system does not have any mechanical inertia, high modulation rates can reasonably be achieved. + +In~\cite{depree01}, the authors describe a setup where a large Aluminium smelter in continental Europe is used as +primary control reserve for frequency \emph{regulation}. In this setup, a rise time of $\SI{15}{\second}$ was achieved +to meet the $\SI{30}{\second}$ requirement posed by local standards for primary control. In their conclusion, the +authors note that for their system, an energy storage capacity of $\SI{7.7}{\giga\watt\hour}$ is possible if all plants +of a single operator are used. Given the maximum modulation depth of $\SI{100}{\percent}$ for up to one hour that is +mentioned by the authors, this results in an effective modulation power of $\SI{7.7}{\giga\watt}$. Over a longer +timespan of $\SI{48}{\hour}$, they have demonstrated a $\SI{33}{\percent}$ modulation depth which would correspond to +a modulation power of $\SI{2.5}{\giga\watt}$. + +From this brief literature review, we conclude that a modulation of part of an aluminium smelter's power consumption +most likely is possible at no significant production impact and low infrastructure cost (such as for shell heat +exchangers as used in~\cite{depree01}). Aluminium smelters are connected to the grid in a way that they do not pose a +danger to other nearby consumers when they turn off or on parts of the plant, as this is commonplace during routine +maintenance activities. They are very large consumers of electrical power, but they are still small when seen in +relation to the entire grid. \subsection{Parametrizing Modulation for GFM} diff --git a/paper/safety-reset.bib b/paper/safety-reset.bib index 1690e30..18034b6 100644 --- a/paper/safety-reset.bib +++ b/paper/safety-reset.bib @@ -916,6 +916,16 @@ editor = {Geoff Bearne and Marc Dupuis and Gary Tarcy},
pages = {683-688},
}
+ +@InBook{depree01, + author = {N. Depree and R. Düssel and P. Patel and T. Reek}, + booktitle = {Light Metals 2016}, + date = {2016}, + doi = {10.1007/978-3-319-48251-4_96}, + title = {The Virtual Battery — Operating an Aluminium Smelter with Flexible Energy Input}, + editor = {E. Williams}, + pages = {571-576}, +} @InProceedings{duessel01,
author = {Roman Düssel},
|
