many many updates
[phd-thesis.git] / intro / intro.tex
index f77d2a1..00ed080 100644 (file)
 \end{chapterabstract}
 
 There are at least 13.4 billion devices connected to the internet at the time of writing \citep{transformation_insights_current_2023}.
-Each of these sense, act, or otherwise interact with people, other computers, and the environment surrounding us.
-Despite their immense diversity, they are all computers.
+Each of these sense, act, or otherwise, interact with people, other computers, and the environment surrounding us.
+Despite their immense diversity in characteristics, they are all computers.
 And as computers, they require software to operate.
 
 An increasing amount of these connected devices are so-called \emph{edge devices} that operate in the \gls{IOT}.
-Edge devices are the leafs of the \gls{IOT} systems, they perform the interaction with the physical world and are often physically embedded in the fabric.
-They usually reside in hard-to-reach places such as light bulbs, smart electricity meters, or even farm animals.
+Edge devices are the leaves of the \gls{IOT} systems.
+They perform the interaction with the physical world and are often physically embedded in the fabric, residing usually in hard-to-reach places such as light bulbs, smart electricity meters, or even farm animals.
 Microcontrollers are equipped with a lot of connectivity for integrating peripherals such as sensors and actuators.
 The connectivity makes them very suitable to interact with their surroundings.
 Typically, these edge devices are powered by microcontrollers.
@@ -32,10 +32,10 @@ These miniature computers contain integrated circuits that accommodate a micropr
 Hence, microcontrollers are cheap; tiny; have little memory; and contain a slow, but energy-efficient processor.
 
 Unlike the conductor in an orchestra waving their baton to instruct the ensemble of instruments, in the universe of software there is room for little error.
-Moreover, in dynamic \gls{IOT} applications, often there is not even a coordinating conductor.
-Even though edge devices—the instruments—come and go, perform their own pieces, or are instructed to perform a certain piece, they operate without a central authority.
+Moreover, in dynamic \gls{IOT} applications, there is not always a coordinating conductor.
+Even though edge devices---the instruments---come and go, perform their own pieces, or are instructed to perform a certain piece, they operate without a central authority.
 In the traditional setting, an \gls{IOT} engineer has to program each device and their interoperation using different programming paradigms, programming languages, and abstraction levels.
-Thus resulting in semantic friction, which makes programming and maintaining \gls{IOT} systems a complex and error-prone process.
+This results in semantic friction, which makes programming and maintaining \gls{IOT} systems a complex and error-prone process.
 
 This dissertation describes the research carried out around orchestrating these complex \gls{IOT} systems using \gls{TOP}.
 \Gls{TOP} is an innovative tierless programming paradigm for interactive multi-layered systems.
@@ -59,7 +59,7 @@ As it is integrated with \gls{ITASK}, it allows for all layers of an \gls{IOT} a
 \section{Reading guide}%
 \label{lst:reading_guide}
 This work is structured as a purely functional rhapsody.
-On Wikipedia, a musical rhapsody is defined as follows \citep{wikipedia_contributors_rhapsody_2022}:
+The \citet{wikipedia_contributors_rhapsody_2022} define a musical rhapsody is defined as follows:
 \begin{quote}\emph{%
        A \emph{rhapsody} in music is a one-movement work that is episodic yet integrated, free-flowing in structure, featuring a range of highly contrasted moods, colour, and tonality.}
 \end{quote}
@@ -84,7 +84,7 @@ While the term \gls{IOT} briefly gained interest around 1999 to describe the com
 \end{quote}
 
 Much later, CISCO states that the \gls{IOT} started when there were as many connected devices as there were people on the globe, i.e.\ around 2008 \citep{evans_internet_2011}.
-Today, \gls{IOT} is the term for a system of devices that sense the environment, act upon it and communicate with each other and the world they live in.
+Today, \gls{IOT} is the term for a system of devices that sense the environment, act upon it, and communicate with each other and the world they live in.
 These connected devices are already in households all around us in the form of smart electricity meters, fridges, phones, watches, home automation, \etc.
 
 When describing \gls{IOT} systems, a tiered---or layered---architecture is often used for compartmentalisation.
@@ -155,7 +155,7 @@ This hyponymy is shown in \cref{fig:hyponymy_of_dsls}.
 
 \subsection{Standalone and embedded}%
 \label{sec:standalone_embedded}
-\glspl{DSL} where historically created as standalone languages, meaning that all machinery is developed solely for the language.
+\glspl{DSL} were historically created as standalone languages, meaning that all machinery is developed solely for the language.
 The advantage of this approach is that the language designer is free to define the syntax and type system of the language as they wish, not being restricted by any constraint.
 Unfortunately it also means that they need to develop a compiler or interpreter, and all the scaffolding for the language, making standalone \glspl{DSL} costly to create.
 Examples of standalone \glspl{DSL} are \TeX, make, yacc, XML, SQL, \etc.
@@ -402,11 +402,11 @@ It is compiled from the following publications:
                is a short paper on the multitasking capabilities of \gls{MTASK} comparing it to traditional multitasking methods for \gls{ARDUINO}.
 %              \paragraph{Contribution}
 %              The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer.
-       \item \emph{Simulation of a Task-\kern-1.25ptBased Embedded Domain Specific Language for the Internet of Things} \citep{koopman_simulation_2018}\footnotemark[\value{footnote}]
+       \item \emph{Simulation of a Task-\kern-1.25ptBased Embedded Domain Specific Language for the Internet of Things} \citep{koopman_simulation_2023}\footnotemark[\value{footnote}]
                are the revised lecture notes for a course on the \gls{MTASK} simulator was provided at the 2018 \gls{CEFP}\slash{}\gls{3COWS} winter school in Ko\v{s}ice, Slovakia, January 22--26, 2018.
 %              \paragraph{Contribution}
 %              Pieter Koopman wrote and taught it, I helped with the software and research.
-       \item \emph{Writing Internet of Things Applications with Task Oriented Programming} \citep{lubbers_writing_2019}\footnotemark[\value{footnote}]
+       \item \emph{Writing Internet of Things Applications with Task Oriented Programming} \citep{lubbers_writing_2023}\footnotemark[\value{footnote}]
                are the revised lecture notes from a course on programming \gls{IOT} systems using \gls{MTASK} provided at the 2019 \gls{CEFP}\slash{}\gls{3COWS} summer school in Budapest, Hungary, June 17--21, 2019.
 %              \paragraph{Contribution}
 %              Pieter Koopman prepared and taught half of the lecture and supervised the practical session.