\begin{document}
\input{subfileprefixsmall}
-\selectlanguage{dutch}
+\begin{otherlanguage}{dutch}
\ifSubfilesClassLoaded{\chapter*{Samenvatting}}{\chapter{Samenvatting}}%
\label{chp:samenvatting}
-%\begin{center}
-%\noindent%
-Het aantal computers om ons heen groeit enorm en hiermee ook de complexiteit van de systemen waarin ze zich bevinden.
-Veel van deze computers zijn \emph{randcomputers} die onderdeel zijn van het Internet of Things (IoT).
-Binnen deze orkesten interacteert deze apparatuur met de buitenwereld door sensoren en actuatoren.
-Randcomputers bevatten vaak goedkope microcontrollers die speciaal ontworpen zijn voor ge\"{\i}ntegreerde systemen.
+Het ontwikkelen van betrouwbare software voor Internet of Things (\IOT{}) systemen is moeilijk omdat ze dynamisch, interactief, gedistribueerd, samenwerkend, meerlaags en multitasking zijn.
+Ook draagt de semantische wrijving voorkomend uit de grote verscheidenheid aan hard- en software karakteristieken tussen de lagen bij aan dit probleem.
+Veel van deze computers zijn \emph{randcomputers} die onderdeel zijn van het \IOT{}.
+Randcomputers bestaan vaak uit goedkope microcontrollers, ontworpen voor geïntegreerde systemen, en ze interacteren met de buitenwereld door sensoren en actuatoren.
Enerzijds hebben ze weinig geheugen, langzame rekenkernen en trage communicatie.
-Anderzijds zijn ze klein en hoogst energie effici\"{e}nt.
-Het programmeren van deze IoT systemen is complex omdat ze dynamisch, interactief, gedistribueerd, samenwerkend, meerlaags en multitasking zijn.
-De complexiteit wordt verder opgestuwd door de semantische wrijving die voortkomt uit de grote verscheidenheid aan hard- en software karakteristieken tussen de lagen.
+Anderzijds zijn ze klein en hoogst energie-efficiënt.
-Taakge\"{o}rienteerd programmeren (TOP) is hierbij een oplossing.
-In TOP zijn taken, abstracte representaties van werk, de bouwstenen.
-Tijdens het uitvoeren van taken kan de huidige waarde geobserveerd worden en hierop kunnen andere taken reageren.
-Door taken samen te voegen of te transformeren kunnen samenwerkingsvormen uitgedrukt worden.
-Vanuit deze beschrijving wordt een computer systeem gegenereerd dat gebruikers begeleid in het uitvoeren van het werk.
-Een voorbeeld van een TOP-systeem is iTask, ontworpen om interactieve web toepassingen te beschrijven.
-De wens is om TOP ook voor randcomputers te gebruiken, maar het is niet evident hoe TOP-systemen op dusdanig beperkte middelen in te zetten.
+Taakgeörienteerd programmeren (TOP) is geschikt om met de uitdagingen van \IOT{} systemen om te gaan.
+In TOP zijn abstracte representaties van werk, de taken, de bouwstenen.
+Tijdens het uitvoeren van een taak kan de huidige waarde geobserveerd worden en hierop kunnen andere taken reageren.
+Door taken te combineren of te transformeren kunnen samenwerkingsvormen uitgedrukt worden.
+Van deze beschrijving wordt een computersysteem gegenereerd dat gebruikers begeleidt in het uitvoeren van het werk.
+Randcomputers hebben ook baat bij TOP, al is niet eenvoudig om TOP-systemen erop in te zetten.
-Deze dissertatie laat zien hoe gehele IoT systemen georkestreerd kunnen worden met {TOP}.
-Allereerst laat ik een wat technieken zien om ingebedde domein-specifieke talen te maken.
+Deze dissertatie laat zien hoe gehele \IOT{}-systemen georkestreerd kunnen worden met {TOP}.
+Gebruik makend van techniek kunnen alle lagen van een \IOT{}-systeem en hun samenwerking uitgedrukt worden in één hoog abstractieniveau, programmeertaal, paradigma en typesysteem.
+Allereerst laat ik enkele technieken zien om ingebedde domein-specifieke talen te maken.
Daarna beschrijf ik mTask, een TOP-systeem voor randcomputers ingebed in iTask.
-Taken worden tijdens het uitvoeren opgebouwd waardoor ze afgestemd kunnen worden op de huidige werkeisen.
+Taken worden tijdens het uitvoeren opgebouwd, waardoor ze afgestemd kunnen worden op de huidige werkeisen.
Vervolgens worden ze naar het apparaat gestuurd ter interpretatie.
-Een randcomputer is geschikt voor een mTask systeem als het uitgerust is met het lichtgewicht domeinspecifieke besturingssysteem.
-Dit stuurprogramma voert de ontvangen taken energiezuinig uit en automatiseert alle communicatie en data verwerking.
-Alle aspecten van het mTask systeem worden beschreven voorbeeldprogramma's, taalontwerp, implementatiedetails, integratie met iTask en de energiezuinige functionaliteit.
-Indien samen met iTask gebruikt, kan een geheel IoT systeem laagloos geprogrammeerd worden, gebruik makend van \'e\'en broncode, programmeertaal en paradigma, abstractieniveau en typesysteem.
-Eveneens worden problemen verzacht zoals semantische wrijving, onderhouds- en robuustheidsproblematiek en moeizame onderlinge samenwerking.
-%\end{center}
-\input{subfilepostamble}
-\selectlanguage{british}
+Na eenmalig uitgerust te worden met het domeinspecifieke besturingssysteem is een randcomputer geschikt voor mTask.
+Dit stuurprogramma voert de ontvangen taken energiezuinig uit en automatiseert tevens alle communicatie en dataverwerking.
+Alle aspecten van het mTask-systeem worden beschreven: voorbeeldprogramma's, taalontwerp, implementatiedetails, integratie met iTask en de energiezuinige functionaliteit.
+
+Het laagloos programmeren van \IOT{} systemen wordt ook vergeleken met traditioneel gelaagd programmeren.
+Laagloos programmeren leidt tot minder code en minder programmeertalen.
+Door het gebruik van één paradigma en een systeembreed typesysteem verlaagt laagloos programmeren de semantische wrijving, onderhouds- en robuustheidsproblematiek en moeizame onderlinge samenwerking.
+\end{otherlanguage}
\end{document}
repositories / phd-thesis.git / blobdiff