summaryrefslogtreecommitdiffstats
path: root/notFinishedCode/Report/test.tex.backup
diff options
context:
space:
mode:
Diffstat (limited to 'notFinishedCode/Report/test.tex.backup')
-rw-r--r--notFinishedCode/Report/test.tex.backup65
1 files changed, 55 insertions, 10 deletions
diff --git a/notFinishedCode/Report/test.tex.backup b/notFinishedCode/Report/test.tex.backup
index 2bf7a72..28acb38 100644
--- a/notFinishedCode/Report/test.tex.backup
+++ b/notFinishedCode/Report/test.tex.backup
@@ -117,23 +117,38 @@ our first approach was inferior and slower. The state controlled method connecte
\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 luckily supplied by Konrad and Dennis.
-Since one of the project goals was to reduce the costs as much as it was possible, we had tried to use some of the leftovers in our lab.
+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.
+Since one of the project goals was to reduce the costs as much as it was possible, we had tried to use some of the leftovers found in our lab.
+\subsection{BeagleBoard}
+``The BeagleBoard is an OMAP3530 platform designed specifically to address the Open
+Source Community.
\begin{figure}[ht!]
\centering
\includegraphics[width=130mm]{bb.jpg}
\caption[]{BeagleBoard, a linux-on-chip board where our controller software runs the GSM device }
\end{figure}
-\par Our first attempt was to control a Nokia cell phone 3310 with the supplied USB connection cable.
-Protocols used by old versions of Nokia phones as the 3310 use the F-Bus protocol. It was not easy to work with.
-After performing various experiments we found out that it was not possible to
-send commands for controlling the calls. In the meantime we found two Siemens phones, one M45 and S55.
-The first one, Siemens M45, had a cable supplied with it and it was not difficult to control it with AT commands.
-At the start we did not have a cable supplied with the Siemens S55 phone. We controlled it over the Bluetooth port.
-\subsection{Cables}
+It has been equipped with a minimum set of features to allow the
+user to experience the power of the OMAP3530 and is not intended as a full development
+platform as many of the features and interfaces supplied by the OMAP3530 are not
+accessible from the BeagleBoard'' \cite{beagleDataSheet}.
+We run on it a special precompiled version of Ubuntu for the ARM processor type.
+The board has an USB hub and network port attached to it. In our project it is connected to our
+internal university LAN network and to a cell phone. We positioned the two BeagleBoards in rooms where
+we had LAN access and GSM signal coverage of our two local base stations.
+
+\subsection{Cell phones}
+Our first attempt was to control a Nokia cell phone 3310 with the supplied USB connection cable.
+The protocols used by old versions of Nokia cell phones, as the 3310, use the F-Bus protocol. It was not easy to work with.
+After performing various experiments we succeeded to send and to read SMS messages. Later on we found out that it was not possible to
+send commands for receiving and making the calls. In the meantime we found two Siemens phones, one M45 and S55.
+The first one, Siemens M45, had a cable supplied with it and it was not difficult to control it with the standard set of AT modem commands.
+At the start we did not have a cable supplied for the Siemens S55 phone. We controlled it over the Bluetooth port.
+
+\subsection{Cables for the cell phones}
+
+\clearpage
-\newpage
\section{Communication protocol}
\begin{figure}[ht!]
@@ -154,6 +169,33 @@ At the start we did not have a cable supplied with the Siemens S55 phone. We con
\caption[]{Flowchart of the protocol, on the controller side for the receiver}
\end{figure}
+\begin{lstlisting}
+
+(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 •••
+ 40 states, stored
+ 3 states, matched
+ 43 transitions (= stored+matched)
+ 90 atomic steps
+hash conflicts: 0 (resolved)
+ 2.195 memory usage (Mbyte)
+unreached in proctype Server1
+ (0 of 36 states)
+unreached in proctype Server2
+ (0 of 36 states)
+unreached in proctype Client
+ (0 of 67 states)
+pan: elapsed time 0 seconds
+
+\end{lstlisting}
+
+
\clearpage
\newpage
@@ -401,6 +443,9 @@ Hypothesis}, preprint (2003), available at
\bibitem{pChart} \emph{pChart}, accessed on 15.08.2011, available at
\url{http://http://www.pchart.net/}.
+\bibitem{beagleDataSheet} \emph{BeagleBoard System Reference Manual}, accessed on 20.06.2011, available at
+\url{http://beagleboard.org/static/BBSRM_latest.pdf}.
+
%bibliography end
\end{thebibliography}