X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=back%2Fsummary.tex;fp=back%2Fsummary.tex;h=01b2c55abde0b0c631a1342481cbb461741d433d;hb=9778c30bde0ac05c50b7664aba1f3faad6682ef3;hp=0f1a927797a103c74e97fe888125d8a888812165;hpb=3044eec5a52dcd464ecfe502a521d09689f48f06;p=phd-thesis.git diff --git a/back/summary.tex b/back/summary.tex index 0f1a927..01b2c55 100644 --- a/back/summary.tex +++ b/back/summary.tex @@ -7,15 +7,20 @@ \ifSubfilesClassLoaded{\chapter*{Summary}}{\chapter{Summary}}% \label{chp:summary}% \glsresetall% +\todo[inline]{ +eigenlijk zouden de eerste zinnen van de alinea's in je samenvatting zouden de samenvatting van je samenvatting moeten zijn. +} + The number of computers around us is growing exponentially, compounding the complexity of the systems in which they operate. Many of these computers are \emph{edge devices} operating in \gls{IOT} systems. Within these orchestrations of computers, they interact with the environment using sensors and actuators. Edge devices often use low-cost microcontrollers designed for embedded applications. They have little memory, unhurried processors, and are slow in communication but are also small and energy efficient. -Programming \gls{IOT} systems is complex since they are dynamic, interactive, distributed, collaborative, multi-tiered, and multitasking in nature. +Programming \gls{IOT} systems is complex since they are dynamic, interactive, distributed, collaborative, multi-tiered, and multitasking in nature.\todo[inline]{Dit eerste zin maken?} The complexity is increased further by semantic friction that arises through different hardware and software characteristics between tiers. A solution is found in \gls{TOP}. +\todo[inline]{Dit is nog niet erg specifiek voor dit werk. De eerste zin is prima. Verder zijn er volgens mij twee dingen van belang: high level focus op de taken die gedaan moeten woredn en alle code uit een source genereren (tierless).} %A solution is found in the declarative programming paradigm \gls{TOP}.%, a declarative programming paradigm. In \gls{TOP}, the main building blocks are tasks, an abstract representation of work. During execution, the current value of the task is observable, and other tasks can act upon it. @@ -26,15 +31,18 @@ Programming edge devices benefits from \gls{TOP} as well. However, it is not straightforward to run \gls{TOP} systems on resource-constrained edge devices. This dissertation demonstrates how to orchestrate complete \gls{IOT} systems using \gls{TOP}. +\todo[inline]{Eerste zin moet al het woord DSL bevatten} First, I present advanced \gls{DSL} embedding techniques. Then \gls{MTASK} is shown, a \gls{TOP} \gls{DSL} for \gls{IOT} edge devices, embedded in \gls{ITASK}. Tasks are constructed and compiled at run time. This allows tasks to be tailor-made for the current work requirements. The compiled task is sent to the device for interpretation. For a device to be used in an \gls{MTASK} system, it is programmed once with a lightweight domain-specific \gls{OS}. +\todo[inline]{Waar, maar erg op de tecniek. Wat je er aan hebt lijkt me belangrijker.} This \gls{OS} executes tasks in an energy-efficient way and automates all communications and data sharing. -All aspects of the \gls{MTASK} system are shown: example applications, language design, implementation details, integration with \gls{ITASK}, and green computing facilities. +All aspects of the \gls{MTASK} system are shown: example applications, language design, implementation details, integration with \gls{ITASK}, and green computing facilities such as automatic sleeping. When using \gls{MTASK} in conjunction with \gls{ITASK}, entire \gls{IOT} systems are programmed tierlessly from a single source, language, paradigm, high abstraction level, and type system. Many problems such as semantic friction; maintainability and robustness issues; and interoperation safety are mitigated when using tierless programming. +\todo[inline]{episode III mist eigenlijk nog.\ vergelijking met de traditionele IoT implementatie heeft laten zien dat dit inderdaad veel korter en veiliger is.} %This is a summary of 350--400 words. \end{document}