- The sheer number of connected devices around us is mind boggling and seems increases exponentially for many years.
- In 2022, there is an estimated number of 13.4 billion of devices connected that sense, act or otherwise interact with people and the physical world surrounding us\footnote{\url{https://transformainsights.com/research/tam/market}, accessed on: \formatdate{2022}{10}{13}}.
- These devices, together with all the scaffolding and integration such as the various networks providing the communication, (cloud) computers realising the back end or administration and the devices in our pockets providing us with a view on the system are called the \gls{IOT}.
- \Gls{IOT} systems can be seen as layered systems, where each layer is powered by different types of computers; programming languages and even programming paradigms.
- This thesis shows a novel way of orchestrating these brobdingnagian systems using the \gls{TOP} paradigm.
- It does so by giving a proof-of-concept implementation for a \gls{TOP} system specifically designed for the \gls{IOT}: \gls{MTASK}.
- At the core of the \gls{MTASK} system is a \gls{DSL}, embedded in the general purpose \gls{TOP} system \gls{ITASK}.
- Using the \gls{MTASK} system, all layers of an \gls{IOT} system can be programmed from a single declarative specification.
+ \noindent%
+ \begin{itemize}
+ \item How many devices are there?
+ \begin{itemize}
+ \item Number of devices is big\footnote{\url{https://transformainsights.com/research/tam/market}, accessed on: \formatdate{2022}{10}{13}}
+ \item It only grows
+ \item they are powered by software
+ \item These devices live in layered systems
+ \end{itemize}
+ \item What is the {IoT}?
+ \begin{itemize}
+ \item IoT is such a layered system
+ \item Layers, device layer
+ \end{itemize}
+ \item What is impedance mismatch/semantic friction?
+ \begin{itemize}
+ \item heterogeneous between layers
+ \item heterogeneous on the device/edge/perception layer
+ \item Results in problems in software
+ \item We see this also in web systems
+ \end{itemize}
+ \item What is TOP?\todo{hier al TOP uitleggen in \`e\`en zin? of alleen benoemen}
+ \begin{itemize}
+ \item declarative workflow language (partiture AND conductor)
+ \item iTask for distributed web applications.
+ \end{itemize}
+ \item This thesis: how to orchestrate this concerto of devices?
+ \begin{itemize}
+ \item Embedded devices require special code (different clef/key)
+ \item DSL is a special language in a language to facilitate this (part 1)
+ \item mTask is a TOP language for IoT (part 2)
+ \item This approach is called tierless programming (part 3)
+ \end{itemize}
+ \end{itemize}