Adding speedup data for comprehensive; adding comprehensive images to folder

Schrick-Noah_AG-CG-SyncFire.aux

@@ -94,10 +94,10 @@
 \bibstyle{ieeetr}
 \@writefile{lot}{\contentsline {table}{\numberline {II}{\ignorespaces Tabled Results for the Synchronous Firing Testing}}{7}{table.2}\protected@file@percent }
 \newlabel{table:S-Table}{{II}{7}{Tabled Results for the Synchronous Firing Testing}{table.2}{}}
-\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces Tabled Results for the Comprehensive Services with Synchronous Firing}}{7}{table.3}\protected@file@percent }
-\newlabel{table:Sync-Comp-Table}{{III}{7}{Tabled Results for the Comprehensive Services with Synchronous Firing}{table.3}{}}
+\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces Tabled Results for the Comprehensive Services without Synchronous Firing}}{7}{table.3}\protected@file@percent }
+\newlabel{table:Non-Sync-Comp-Table}{{III}{7}{Tabled Results for the Comprehensive Services without Synchronous Firing}{table.3}{}}
 \@writefile{toc}{\contentsline {section}{\numberline {VII}Conclusion}{7}{section.7}\protected@file@percent }
-\@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Tabled Results for the Comprehensive Services without Synchronous Firing}}{7}{table.4}\protected@file@percent }
-\newlabel{table:Non-Sync-Comp-Table}{{IV}{7}{Tabled Results for the Comprehensive Services without Synchronous Firing}{table.4}{}}
+\@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Tabled Results for the Comprehensive Services with Synchronous Firing}}{7}{table.4}\protected@file@percent }
+\newlabel{table:Sync-Comp-Table}{{IV}{7}{Tabled Results for the Comprehensive Services with Synchronous Firing}{table.4}{}}
 \@writefile{toc}{\contentsline {section}{References}{7}{section*.1}\protected@file@percent }
 \gdef \@abspage@last{7}

Schrick-Noah_AG-CG-SyncFire.log

@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.4.29)  10 OCT 2022 17:03
+This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.4.29)  11 OCT 2022 10:14
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -588,17 +588,17 @@ Underfull \hbox (badness 7451) in paragraph at lines 180--181
  []
 
 [4] [5 <./images/Sync-Fire.png>]
-<./images/Sync-Runtime-Bar.png, id=170, 609.696pt x 231.483pt>
+<./images/Sync-Runtime-Bar.png, id=170, 602.25pt x 238.491pt>
 File: ./images/Sync-Runtime-Bar.png Graphic file (type png)
 <use ./images/Sync-Runtime-Bar.png>
 Package pdftex.def Info: ./images/Sync-Runtime-Bar.png  used on input line 216.
 
-(pdftex.def)             Requested size: 252.0pt x 95.67511pt.
-<./images/Sync-Runtime.png, id=171, 576.627pt x 229.293pt>
+(pdftex.def)             Requested size: 252.0pt x 99.7907pt.
+<./images/Sync-Runtime.png, id=171, 549.69pt x 236.301pt>
 File: ./images/Sync-Runtime.png Graphic file (type png)
 <use ./images/Sync-Runtime.png>
 Package pdftex.def Info: ./images/Sync-Runtime.png  used on input line 217.
-(pdftex.def)             Requested size: 252.0pt x 100.20348pt.
+(pdftex.def)             Requested size: 252.0pt x 108.32838pt.
 <./images/Sync-StateSpace-Bar.png, id=172, 608.163pt x 223.38pt>
 File: ./images/Sync-StateSpace-Bar.png Graphic file (type png)
 <use ./images/Sync-StateSpace-Bar.png>
@@ -610,11 +610,11 @@ File: ./images/Sync-StateSpace.png Graphic file (type png)
 <use ./images/Sync-StateSpace.png>
 Package pdftex.def Info: ./images/Sync-StateSpace.png  used on input line 225.
 (pdftex.def)             Requested size: 252.0pt x 103.7312pt.
-<./images/Sync_Speedup.png, id=174, 557.355pt x 229.512pt>
+<./images/Sync_Speedup.png, id=174, 533.265pt x 236.301pt>
 File: ./images/Sync_Speedup.png Graphic file (type png)
 <use ./images/Sync_Speedup.png>
 Package pdftex.def Info: ./images/Sync_Speedup.png  used on input line 232.
-(pdftex.def)             Requested size: 252.0pt x 103.76973pt.
+(pdftex.def)             Requested size: 252.0pt x 111.66722pt.
 
 
 LaTeX Warning: Reference `sec:theo_results' on page 6 undefined on input line 2
@@ -626,7 +626,7 @@ Underfull \hbox (badness 3919) in paragraph at lines 284--285
  []
 
 
-Underfull \hbox (badness 2277) in paragraph at lines 333--334
+Underfull \hbox (badness 2277) in paragraph at lines 336--337
 \OT1/ptm/m/n/10 reduction due to the increased number of unattainable
  []
 
@@ -686,7 +686,7 @@ t/fonts/type1/urw/courier/ucrr8a.pfb></usr/share/texmf-dist/fonts/type1/urw/tim
 es/utmb8a.pfb></usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/sh
 are/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texmf-dist/fonts/ty
 pe1/urw/times/utmri8a.pfb>
-Output written on Schrick-Noah_AG-CG-SyncFire.pdf (7 pages, 577021 bytes).
+Output written on Schrick-Noah_AG-CG-SyncFire.pdf (7 pages, 574869 bytes).
 PDF statistics:
  253 PDF objects out of 1000 (max. 8388607)
  205 compressed objects within 3 object streams

Schrick-Noah_AG-CG-SyncFire.tex

@@ -269,7 +269,7 @@ When comparing the E/S Ratio for the non-synchronous graphs to the E/S Ratio for
             & \textbf{\begin{tabular}[c]{@{}c@{}}E/S\\Ratio\end{tabular}} 
             & \textbf{\begin{tabular}[c]{@{}c@{}}Speedup\end{tabular}} 
         \\ \hline
-            1    & 6277      & 34569      & 14872.86     & 5.501    & 5.87 \\ \hline
+            1    & 6277      & 34569      & 14872.86     & 5.507    & 5.87 \\ \hline
             2    & 11653     & 69385      & 29251.56     & 5.954    & 3.96 \\ \hline
             3    & 25317     & 160041     & 66799.18     & 6.321    & 2.76 \\ \hline
             4    & 36949     & 241577     & 102216.30    & 6.538    & 2.47 \\ \hline
@@ -285,42 +285,20 @@ The environment and resulting graphs presented in Section \ref{sec:theo_results}
 
 Another set of graphs were generated using only the 3 service case. These services were for a driveshaft boot check, an AC filter change, and an oil change. This set of graphs used `comprehensive services", where a car would undergo multiple services simultaneously. These results are seen in Table \ref{table:Sync-Comp-Table} for the synchronous firing enabled generation, and Table \ref{table:Non-Sync-Comp-Table} for the non-synchronous firing generation.
 
-\begin{table}[htp]
-    \centering
-    \begin{tabular}{|c|c|c|c|c|}
-        \hline
-        \multicolumn{5}{|c|}{Comprehensive Services with Synchronous Firing} \\ \hline
-            \textbf{Permutation} 
-            & \textbf{\begin{tabular}[c]{@{}c@{}}Number of \\ States\end{tabular}} 
-            & \textbf{\begin{tabular}[c]{@{}c@{}}Number of \\ Edges\end{tabular}} 
-            & \textbf{\begin{tabular}[c]{@{}c@{}}Runtime\\ (ms)\end{tabular}} 
-            & \textbf{\begin{tabular}[c]{@{}c@{}}E/S\\ Ratio\end{tabular}} 
-        \\ \hline
-            \begin{tabular}[c]{@{}c@{}}All \\ Disjoint\end{tabular}
-                & 25317    & 160041    & 66799.18   & 6.321 \\ \hline
-            \begin{tabular}[c]{@{}c@{}}Any Two Services, \\ One Disjoint\end{tabular}
-                & 10398    & 55354     & 26042.85   & 5.324 \\ \hline
-            \begin{tabular}[c]{@{}c@{}}All \\ Conjoined\end{tabular}
-                & 3774     & 18370     & 9261.03    & 4.868 \\ \hline
-    \end{tabular}
-    \caption{Tabled Results for the Comprehensive Services with Synchronous Firing}
-    \label{table:Sync-Comp-Table}
-\end{table} 
-
 \begin{table}[htp]
     \centering
     \begin{tabular}{|c|c|c|c|c|}
         \hline
         \multicolumn{5}{|c|}{Comprehensive Services with Non-Synchronous Firing} \\ \hline
             \textbf{Permutation} 
-            & \textbf{\begin{tabular}[c]{@{}c@{}}Number of \\ States\end{tabular}} 
-            & \textbf{\begin{tabular}[c]{@{}c@{}}Number of \\ Edges\end{tabular}} 
+            & \textbf{\begin{tabular}[c]{@{}c@{}}States\end{tabular}} 
+            & \textbf{\begin{tabular}[c]{@{}c@{}}Edges\end{tabular}} 
             & \textbf{\begin{tabular}[c]{@{}c@{}}Runtime\\ (ms)\end{tabular}} 
             & \textbf{\begin{tabular}[c]{@{}c@{}}E/S\\ Ratio\end{tabular}} 
         \\ \hline
             \begin{tabular}[c]{@{}c@{}}All \\ Disjoint\end{tabular}
                 & 72489    & 405236    & 184634.34   & 5.590 \\ \hline
-            \begin{tabular}[c]{@{}c@{}}Any Two Services, \\ One Disjoint\end{tabular}
+            \begin{tabular}[c]{@{}c@{}}Any Two\\Services,\\One Disjoint\end{tabular}
                 & 50052    & 241176    & 125176.22   & 4.819  \\ \hline
             \begin{tabular}[c]{@{}c@{}}All \\ Conjoined\end{tabular}
                 & 19764    & 87024     & 47126.42    & 4.403  \\ \hline
@@ -329,6 +307,31 @@ Another set of graphs were generated using only the 3 service case. These servic
     \label{table:Non-Sync-Comp-Table}
 \end{table}
 
+\begin{table}[htp]
+    \centering
+    \begin{tabular}{|c|c|c|c|c|c|}
+        \hline
+        \multicolumn{6}{|c|}{Comprehensive Services with Synchronous Firing} \\ \hline
+            \textbf{Permutation} 
+            & \textbf{\begin{tabular}[c]{@{}c@{}}States\end{tabular}} 
+            & \textbf{\begin{tabular}[c]{@{}c@{}}Edges\end{tabular}} 
+            & \textbf{\begin{tabular}[c]{@{}c@{}}Runtime\\ (ms)\end{tabular}} 
+            & \textbf{\begin{tabular}[c]{@{}c@{}}E/S\\ Ratio\end{tabular}} 
+            & \textbf{\begin{tabular}[c]{@{}c@{}}Speedup\end{tabular}} 
+        \\ \hline
+            \begin{tabular}[c]{@{}c@{}}All \\ Disjoint\end{tabular}
+                & 25317    & 160041    & 66799.18   & 6.321    & 2.76 \\ \hline
+            \begin{tabular}[c]{@{}c@{}}Any Two\\Services,\\One Disjoint\end{tabular}
+                & 10398    & 55354     & 26042.85   & 5.324    & 4.81 \\ \hline
+            \begin{tabular}[c]{@{}c@{}}All \\ Conjoined\end{tabular}
+                & 3774     & 18370     & 9261.03    & 4.868    & 5.09 \\ \hline
+    \end{tabular}
+    \caption{Tabled Results for the Comprehensive Services with Synchronous Firing}
+    \label{table:Sync-Comp-Table}
+\end{table} 
+
+
+
 \section{Future Works}
 As seen and discussed in Section \ref{sec:inseparable}, when unattainable states are generated, there is a compounding effect. Each unattainable state is explored, and is likely to generate additional unattainable states. Future works include examining the effect of synchronous firing when more assets are utilized. It is hypothesized that the synchronous firing approach will lead to an increased runtime reduction and state space reduction due to the increased number of unattainable state permutations. This work had a limited number of assets, but generated upwards of 400,000 states due to repeated applications of the exploit set due to the services corresponding with the compliance graph. Future work could alter the test scenario to have a greater number of assets, and a standard set of exploits more akin to an attack graph. Other future works could include measuring the performance of synchronous firing when multiple groups of inseparable features are used. This work used a single group, but multiple groups be added to examine the performance of the feature.