update pres

diff --git a/pres.intro.tex b/pres.intro.tex
index 83a2dc6..a2cb5b4 100644 (file)
--- a/pres.intro.tex
+++ b/pres.intro.tex
@@ -1,22 +1,20 @@
 \subsection{IoT}
 \begin{frame}
 \subsection{IoT}
 \begin{frame}

-       \frametitle{What is Internet of Things (IoT)}
+       \frametitle{What is the Internet of Things (IoT)}

        \begin{block}{History}
                \begin{itemize} \item 1999: \pause{} RFID
                        \item Device to device communication
                        \pause{}
        \begin{block}{History}
                \begin{itemize} \item 1999: \pause{} RFID
                        \item Device to device communication
                        \pause{}

-                       \item ESP8266
+                       \item Now: \pause{} IoT is everywhere

                        \item Estimated 30 billion in 2020
                \end{itemize}
        \end{block}
        \pause{}
        \begin{block}{Tasks performed by IoT}
                        \item Estimated 30 billion in 2020
                \end{itemize}
        \end{block}
        \pause{}
        \begin{block}{Tasks performed by IoT}

-               \begin{itemize}
+               \begin{itemize}[<+->]

                        \item Monitoring (Temperature, Electricity, Humidity, Heartbeat)
                        \item Acting (Servo's, Motors)
                        \item Tracking (GPS, WiFi tracking)
                        \item Monitoring (Temperature, Electricity, Humidity, Heartbeat)
                        \item Acting (Servo's, Motors)
                        \item Tracking (GPS, WiFi tracking)

-                       \item Communication (SMS, Whatsapp)
-                       \pause{}

                        \item Combinations: e.g. Thermostat, Smart Clothing, Smart Watches
                \end{itemize}
        \end{block}
                        \item Combinations: e.g. Thermostat, Smart Clothing, Smart Watches
                \end{itemize}
        \end{block}


@@ -45,7 +43,7 @@
                        \item Tasks are basic blocks
                        \item Generated web interface
                        \item Type driven
                        \item Tasks are basic blocks
                        \item Generated web interface
                        \item Type driven

-                       \item EDSL
+                       \item EDSL in Clean

                \end{itemize}
        \end{block}
        \pause{}
                \end{itemize}
        \end{block}
        \pause{}


@@ -63,74 +61,50 @@
        \begin{block}{Overlap}
                \begin{itemize}[<+->]
                        \item Tasks often involve humans
        \begin{block}{Overlap}
                \begin{itemize}[<+->]
                        \item Tasks often involve humans

-                       \item Tasks can be performed by IoT
-               \end{itemize}
-       \end{block}
-       \pause{}
-       \begin{block}{But how to integrate}
-               \begin{itemize}[<+->]
-                       \item Distributed iTasks
-                       \item SDS
-                       \item Swat two flies at once
+                       \item Tasks can often be performed by IoT

                \end{itemize}
        \end{block}
 \end{frame}
 
 \begin{frame}
                \end{itemize}
        \end{block}
 \end{frame}
 
 \begin{frame}

-       \frametitle{Solution}
-       \begin{itemize}[<+->]
-               \item Add IoT to iTasks
-               \item Solve the integration problem
-               \item Extend the reach of iTasks
-               \item iTasks server
-               \item IoT device client
-               \item EDSL to make IoT tasks
-               \item Internalship
-       \end{itemize}
-\end{frame}
+       \frametitle{Problem statement}
+       \begin{block}{What is the problem?}
+               \begin{itemize}
+                       \item iTasks works
+                       \item IoT works
+                       \item But...\pause{} integration does not
+               \end{itemize}
+       \end{block}

 
 

-\begin{frame}
-       \frametitle{Problems overcome}
-       \begin{itemize}[<+->]
-               \item Way to express IoT Tasks
-               \item Write client software
-               \item Write server software
-               \item Connect them up
-               \item But first some theory
-               \item Reprogramming, write cycles
-       \end{itemize}
+       \pause{}
+
+       \begin{block}{Why is this interesting?}
+               \begin{itemize}[<+->]
+                       \item Make IoT integration easier
+                       \item Extend the reach of iTasks
+                       \item Fully integrated systems
+               \end{itemize}
+       \end{block}

 \end{frame}
 
 \subsection{iTasks}
 \begin{frame}[fragile]
 \end{frame}
 
 \subsection{iTasks}
 \begin{frame}[fragile]

-       \frametitle{Task Oriented Programming}
-       \framesubtitle{\ldots and iTasks}
-       \begin{block}{iTasks}
+       \frametitle{First some theory}
+       \framesubtitle{\ldots iTasks}
+       \begin{block}{Tasks}

                \begin{itemize}[<+->]
                \begin{itemize}[<+->]

-                       \item Basic blocks
-                       \item Generated web interface
-                       \item Type driven
+                       \item Observables
+                       \item Given the state, a \CI{TaskValue} is observed.
+                       \item Continuous execution
+                       \item Generics

                \end{itemize}
        \end{block}
        \pause{}
                \end{itemize}
        \end{block}
        \pause{}

-       \begin{columns}[c]
-               \column{.49\linewidth}
-                       \begin{block}{Tasks}
-                               \begin{itemize}[<+->]
-                                       \item Observables
-                                       \item Given the state, a \CI{TaskValue} is observed.
-                                       \item Continuous execution
-                                       \item Generics
-                               \end{itemize}
-                       \end{block}
-               \pause{}
-               \column{.49\linewidth}
-                       \begin{figure}[ht]
-                               \centering
-                               \includegraphics[width=\linewidth]{fig-taskvalue}
-                               \caption{The states of a \CI{TaskValue}}
-                       \end{figure}
-       \end{columns}
+       \begin{figure}[ht]
+               \centering
+               \includegraphics[width=\linewidth]{fig-taskvalue}
+               \caption{The states of a \CI{TaskValue}}
+       \end{figure}

 \end{frame}
 
 \begin{frame}[fragile]
 \end{frame}
 
 \begin{frame}[fragile]


@@ -217,6 +191,15 @@ wait :: String (r -> Bool) (ReadWriteShared r w) -> Task r
        \end{lstlisting}
 \end{frame}
 
        \end{lstlisting}
 \end{frame}
 

+\begin{frame}
+       \frametitle{So how can we do the integration?}
+       \begin{itemize}[<+->]
+               \item Program device as an SDS
+               \item Distributed iTasks
+               \item Devices have different paradigms
+       \end{itemize}
+\end{frame}
+

 \begin{frame}
        \frametitle{But not all Tasks or SDSs are suitable for microcontrollers\ldots}
        \pause\centering\Large EDSLs to the rescue
 \begin{frame}
        \frametitle{But not all Tasks or SDSs are suitable for microcontrollers\ldots}
        \pause\centering\Large EDSLs to the rescue

diff --git a/pres.mtask.tex b/pres.mtask.tex
index 3d602b3..49a275f 100644 (file)
--- a/pres.mtask.tex
+++ b/pres.mtask.tex
@@ -140,7 +140,7 @@ instance intArith PrettyPrinter where
        \begin{block}{What is mTask}
                \begin{itemize}
                        \item Created by Pieter Koopman and Rinus Plasmeijer
        \begin{block}{What is mTask}
                \begin{itemize}
                        \item Created by Pieter Koopman and Rinus Plasmeijer

-                       \item EDSL
+                       \item EDSL for imperative programs

                        \item Arduino C++ generation, iTasks simulation
                \end{itemize}
        \end{block}
                        \item Arduino C++ generation, iTasks simulation
                \end{itemize}
        \end{block}


@@ -157,10 +157,7 @@ instance intArith PrettyPrinter where
 \begin{frame}[fragile]
        \frametitle{Expressions}
        \begin{block}{mTask}
 \begin{frame}[fragile]
        \frametitle{Expressions}
        \begin{block}{mTask}

-               \begin{itemize}[<+->]
-                       \item Of the form \CI{v t p}
-                       \item \CI{p} is hierarchical
-               \end{itemize}
+               Of the form \CI{v t p}

        \end{block}
        \pause{}
        \begin{lstlisting}[language=Clean]
        \end{block}
        \pause{}
        \begin{lstlisting}[language=Clean]


@@ -226,24 +223,16 @@ class assign v where
        \frametitle{Examples}
        \begin{lstlisting}[language=Clean]
 blink = task \blink=(\x.
        \frametitle{Examples}
        \begin{lstlisting}[language=Clean]
 blink = task \blink=(\x.

-            IF (x ==. lit True)
+            IF x)

                (ledOn LED1)
                (ledOff LED2) :.
             blink (lit 1000) (Not x))
         In {main=blink (lit 1000) True}
 
 thermostat :: Main (View () Stmt)
                (ledOn LED1)
                (ledOff LED2) :.
             blink (lit 1000) (Not x))
         In {main=blink (lit 1000) True}
 
 thermostat :: Main (View () Stmt)

-thermostat = {main = IF (analogRead A0 >. lit 50)
-                        ( digitalWrite D0 (lit True)  )
-                        ( digitalWrite D0 (lit False) )
-             }
+thermostat = {main = digitalWrite (dIO D0) (analogRead A0 >. lit 50)

 
 thermostat2 :: Main (View () Stmt)
 
 thermostat2 :: Main (View () Stmt)

-thermostat2 = let a0 = aIO A0
-                  d0 = dIO D0
-              in {main = IF (a0 >. lit 50)
-                            (d0 =. lit True)
-                            (d0 =. lit False)
-              }
+thermostat = {main = (dIO D0) =. (analogRead A0 >. lit 50)

        \end{lstlisting}
 \end{frame}
        \end{lstlisting}
 \end{frame}

diff --git a/pres.system.tex b/pres.system.tex
index 1dd21c3..84b9b1e 100644 (file)
--- a/pres.system.tex
+++ b/pres.system.tex
@@ -2,6 +2,7 @@
 \begin{frame}
        \frametitle{Current state of mTask}
        \begin{itemize}
 \begin{frame}
        \frametitle{Current state of mTask}
        \begin{itemize}

+               \item Suits our needs as an EDSL

                \item It all seems perfect
                \item \ldots\pause{} but\ldots
                \pause{}
                \item It all seems perfect
                \item \ldots\pause{} but\ldots
                \pause{}


@@ -14,12 +15,12 @@
 \begin{frame}
        \frametitle{Solution}
        \begin{itemize}[<+->]
 \begin{frame}
        \frametitle{Solution}
        \begin{itemize}[<+->]

+               \item Reuse mTask

                \item New bytecode backend for mTask
                \item Interpreter on client
                \item Server in iTasks with integration
                \item No taskserver generation, onetime programming
                \item Dynamic task sending
                \item New bytecode backend for mTask
                \item Interpreter on client
                \item Server in iTasks with integration
                \item No taskserver generation, onetime programming
                \item Dynamic task sending

-               \item Explicit SDS publishing

        \end{itemize}
 \end{frame}
 
        \end{itemize}
 \end{frame}
 


@@ -83,29 +84,8 @@ BCIfStmt (BC b) (BC t) (BC e) = BC (
        \end{lstlisting}
 \end{frame}
 
        \end{lstlisting}
 \end{frame}
 

-%\begin{frame}[fragile]
-%      \frametitle{Functionality}
-%      \begin{block}{SDS scope and naming}
-%              \begin{itemize}
-%                      \item SDS is lost
-%                      \item State per device
-%                      \item Tasks are sent and gone
-%              \end{itemize}
-%              \pause{}
-%              \begin{lstlisting}
-%class namedsds v where
-%      namedsds :: ((v t Upd) -> In (Named t String) (Main (v c s)))
-%              -> (Main (v c s)) | ...
-%:: Named a b = Named infix 1 a b
-%
-%instance sdspub ByteCode where
-%      pub (BC x) = BC (censor (\[BCSdsFetch s]->[BCSdsPublish s]) x)
-%              \end{lstlisting}
-%      \end{block}
-%\end{frame}
-

 \begin{frame}[fragile]
 \begin{frame}[fragile]

-       \frametitle{Assignment}
+       \frametitle{Assignment and SDSs}

        \begin{lstlisting}[language=Clean]
 instance sds ByteCode where
        sds f = {main = BC (freshshare
        \begin{lstlisting}[language=Clean]
 instance sds ByteCode where
        sds f = {main = BC (freshshare


@@ -127,6 +107,18 @@ makeStore [...]             = [...]
        \end{lstlisting}
 \end{frame}
 
        \end{lstlisting}
 \end{frame}
 

+\begin{frame}[fragile]
+       \frametitle{Bandwidth is scarce}
+       Publish SDS explicitly
+       \pause{}
+       \begin{lstlisting}
+class sdspub v where
+       pub :: (v t Upd) -> (v () Stmt)
+instance sdspub ByteCode where
+       pub (BC x) = BC (censor (\[BCSdsFetch s]->[BCSdsPublish s]) x)
+       \end{lstlisting}
+\end{frame}
+

 \begin{frame}[fragile]
        \frametitle{Task scheduling}
        \begin{block}{Old}
 \begin{frame}[fragile]
        \frametitle{Task scheduling}
        \begin{block}{Old}