more upydates
[phd-thesis.git] / intro / intro.tex
index c0cbb9e..7896e62 100644 (file)
@@ -247,6 +247,7 @@ enterPerson
 
 \subsection{\texorpdfstring{\Gls{MTASK}}{MTask}}
 This thesis uses \gls{ITASK} in conjunction with \gls{MTASK}, an innovative \gls{TOP} language designed for defining interactive systems for \gls{IOT} edge devices \citep{koopman_task-based_2018}.
+Where \gls{ITASK} abstracts away from details such as user interfaces, data storage, and persistent workflows, \gls{MTASK} offers abstractions for edge layer-specific details such as the heterogeneity of architectures, platforms and frameworks; peripheral access; multitasking; task scheduling; and energy consumption.
 It is written in \gls{CLEAN} as a multi-view \gls{EDSL} and hence there are multiple interpretations of the language of which the byte code compiler is the most relevant for this thesis.
 From the terms in the \gls{TOP} language, a very compact binary representation of the work that needs to be done is compiled.
 This specification is then sent to a device that runs the \gls{MTASK} \gls{RTS}, a domain-specific \gls{TOP} engine implemented as a feather-light domain-specific \gls{OS}.