summaryrefslogtreecommitdiffstats
path: root/notFinishedCode/Report
diff options
context:
space:
mode:
Diffstat (limited to 'notFinishedCode/Report')
-rw-r--r--notFinishedCode/Report/test.log94
-rw-r--r--notFinishedCode/Report/test.pdfbin609349 -> 608478 bytes
-rw-r--r--notFinishedCode/Report/test.tex2
-rw-r--r--notFinishedCode/Report/test.tex~23
4 files changed, 21 insertions, 98 deletions
diff --git a/notFinishedCode/Report/test.log b/notFinishedCode/Report/test.log
index 4e10f0a..925b95b 100644
--- a/notFinishedCode/Report/test.log
+++ b/notFinishedCode/Report/test.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.9.27) 9 OCT 2011 19:18
+This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.9.27) 9 OCT 2011 19:21
entering extended mode
%&-line parsing enabled.
**test.tex
@@ -321,86 +321,8 @@ LaTeX Font Info: External font `cmex10' loaded for size
(Font) <9> on input line 175.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <5> on input line 175.
-
-
-! Package inputenc Error: Keyboard character used is undefined
-(inputenc) in inputencoding `latin2'.
-
-See the inputenc package documentation for explanation.
-Type H <return> for immediate help.
- ...
-
-l.182 ...tor 44 byte, depth reached 65, •••
- errors: 0 •••
-You need to provide a definition with \DeclareInputText
-or \DeclareInputMath before using this key.
-
-
-! Package inputenc Error: Keyboard character used is undefined
-(inputenc) in inputencoding `latin2'.
-
-See the inputenc package documentation for explanation.
-Type H <return> for immediate help.
- ...
-
-l.182 ...tor 44 byte, depth reached 65, •••
- errors: 0 •••
-You need to provide a definition with \DeclareInputText
-or \DeclareInputMath before using this key.
-
-
-! Package inputenc Error: Keyboard character used is undefined
-(inputenc) in inputencoding `latin2'.
-
-See the inputenc package documentation for explanation.
-Type H <return> for immediate help.
- ...
-
-l.182 ...tor 44 byte, depth reached 65, •••
- errors: 0 •••
-You need to provide a definition with \DeclareInputText
-or \DeclareInputMath before using this key.
-
-
-! Package inputenc Error: Keyboard character used is undefined
-(inputenc) in inputencoding `latin2'.
-
-See the inputenc package documentation for explanation.
-Type H <return> for immediate help.
- ...
-
-l.182 ...reached 65, ••• errors: 0 •••
-
-You need to provide a definition with \DeclareInputText
-or \DeclareInputMath before using this key.
-
-
-! Package inputenc Error: Keyboard character used is undefined
-(inputenc) in inputencoding `latin2'.
-
-See the inputenc package documentation for explanation.
-Type H <return> for immediate help.
- ...
-
-l.182 ...reached 65, ••• errors: 0 •••
-
-You need to provide a definition with \DeclareInputText
-or \DeclareInputMath before using this key.
-
-
-! Package inputenc Error: Keyboard character used is undefined
-(inputenc) in inputencoding `latin2'.
-
-See the inputenc package documentation for explanation.
-Type H <return> for immediate help.
- ...
-
-l.182 ...reached 65, ••• errors: 0 •••
-
-You need to provide a definition with \DeclareInputText
-or \DeclareInputMath before using this key.
-
-[10] <sshTunnel.png, id=47, 696.6025pt x 152.57pt>
+ [10]
+<sshTunnel.png, id=47, 696.6025pt x 152.57pt>
File: sshTunnel.png Graphic file (type png)
<use sshTunnel.png> [11
@@ -429,10 +351,10 @@ File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
AED: lastpage setting LastPage [19] (./test.aux) )
Here is how much of TeX's memory you used:
- 4886 strings out of 495061
- 67587 string characters out of 1182621
+ 4885 strings out of 495061
+ 67574 string characters out of 1182621
255259 words of memory out of 3000000
- 8003 multiletter control sequences out of 15000+50000
+ 8002 multiletter control sequences out of 15000+50000
18484 words of font info for 43 fonts, out of 3000000 for 9000
28 hyphenation exceptions out of 8191
36i,10n,45p,751b,1285s stack positions out of 5000i,500n,10000p,200000b,50000s
@@ -449,9 +371,9 @@ ur/jknappen/ec/ecsx1440.600pk> </home/refik/.texmf-var/fonts/pk/ljfour/jknappen
0.600pk> </home/refik/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk></u
sr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/te
xmf-texlive/fonts/type1/public/amsfonts/cm/cmsy9.pfb>
-Output written on test.pdf (19 pages, 609349 bytes).
+Output written on test.pdf (19 pages, 608478 bytes).
PDF statistics:
- 589 PDF objects out of 1000 (max. 8388607)
+ 587 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)
36 words of extra memory for PDF output out of 10000 (max. 10000000)
diff --git a/notFinishedCode/Report/test.pdf b/notFinishedCode/Report/test.pdf
index 939dad1..675e879 100644
--- a/notFinishedCode/Report/test.pdf
+++ b/notFinishedCode/Report/test.pdf
Binary files differ
diff --git a/notFinishedCode/Report/test.tex b/notFinishedCode/Report/test.tex
index 1224bf0..05fa6d9 100644
--- a/notFinishedCode/Report/test.tex
+++ b/notFinishedCode/Report/test.tex
@@ -179,7 +179,7 @@ Full statespace search for:
assertion violations +
cycle checks - (disabled by -DSAFETY)
invalid end states +
-State-vector 44 byte, depth reached 65, ••• errors: 0 •••
+State-vector 44 byte, depth reached 65, errors: 0
40 states, stored
3 states, matched
43 transitions (= stored+matched)
diff --git a/notFinishedCode/Report/test.tex~ b/notFinishedCode/Report/test.tex~
index dc38a71..9db3763 100644
--- a/notFinishedCode/Report/test.tex~
+++ b/notFinishedCode/Report/test.tex~
@@ -114,7 +114,7 @@ Our first version of the developed program code for controlling the cell phones
to send commands instead of using a state controlled approach to confirm that every command was successfuly received and executed by the cell phone.
It meant we had to make an enormous number of assumptions. In comparison to our second approach, to build a state controlled cell phone control class,
our first approach was inferior and slower. The state controlled method connected two cell phones, on the same base station, up to 15 times faster than timed approach.
-\subsection{Some subsection}
+\subsection{subsection}
\newpage
\section{Hardware design}
In our team project we had the option to choose all the required hardware ourself beside the two BeagleBoards, which we were supplied by Konrad and Dennis.
@@ -153,37 +153,38 @@ At the start we did not have a cable supplied for the Siemens S55 phone. We cont
\subsection{Hanlder side}
\begin{figure}[ht!]
\centering
- \includegraphics[width=140mm]{protocolCommunicationHandler.png}
+ \includegraphics[width=130mm]{protocolCommunicationHandler.png}
\caption[]{Flowchart of the protocol, on the handler side}
\end{figure}
\begin{figure}[ht!]
\centering
- \includegraphics[width=140mm]{protocolCommunicationcControllerReceiver.png}
+ \includegraphics[width=130mm]{protocolCommunicationcControllerReceiver.png}
\caption[]{Flowchart of the protocol, on the controller side for the caller}
\end{figure}
\begin{figure}[ht!]
\centering
- \includegraphics[width=140mm]{protocolCommunicationcControllerCaller.png}
+ \includegraphics[width=130mm]{protocolCommunicationcControllerCaller.png}
\caption[]{Flowchart of the protocol, on the controller side for the receiver}
\end{figure}
\subsection{Verification of the protocol}
The verification results are listed here:
\begin{lstlisting}
-(Spin Version 6.1.0 -- 2 May 2011)
- + Partial Order Reduction
+(Spin Version 6.1.0 -- 2 May 2011) + Partial Order Reduction
Full statespace search for:
never claim - (none specified)
assertion violations +
- cycle checks - (disabled by -DSAFETY)
- invalid end states +
-State-vector 44 byte, depth reached 65, ••• errors: 0 •••
+ cycle checks - (disabled by -DSAFETY)
+ invalid end states +
+
+State-vector 44 byte, depth reached 65, errors: 0
40 states, stored
3 states, matched
- 43 transitions (= stored+matched)
+ 43 transitions ( stored+matched)
90 atomic steps
+
hash conflicts: 0 (resolved)
2.195 memory usage (Mbyte)
unreached in proctype Server1
@@ -197,7 +198,7 @@ pan: elapsed time 0 seconds
\clearpage
-
+\newpage
\section{Security and safety of the system}