updates

[phd-thesis.git] / top / finale.tex

diff --git a/top/finale.tex b/top/finale.tex
index 1f1cdd6..3910583 100644 (file)
--- a/top/finale.tex
+++ b/top/finale.tex
@@ -22,11 +22,17 @@ In conjunction with \gls{ITASK}, it is possible to program all layers of the \gl
 
 Deep embedding.
 
-\section{Future work}
-The \gls{MTASK} systems is a proof-of-concept system for integrating \gls{IOT} edge devices 
+\subsection{Future work}
+There are many ways of extending the research on the \gls{MTASK} system that also concerns \gls{TOP} for resource constrained devices in general.
 
-Edge computing
+Edge devices may produce a lot of data and it is not always effective to send this data to the server for processing.
+Leaving the produced data and computations on the edge device is called \emph{edge computing} \citep{shi_edge_2016}.
+The \gls{MTASK} exhibits many properties of edge computing because it is possible to run entire workflows on the device.
+However, it would be interesting to see how far this can be extended.
+The \gls{MTASK} language is a high-level \gls{DSL} so it would be obvious to introduce abstractions for edge computations.
+For example, add \gls{TOP} support for machine learning on the edge device using TinyML \citep{sanchez-iborra_tinyml-enabled_2020}.
 
+Another recent advance in \gls{IOT} programming is intermittent computing.
 Intermittent computing
 
 Formal semantics