initial dutch summary
[phd-thesis.git] / back / samenvatting.tex
1 \documentclass[../thesis.tex]{subfiles}
2
3 \input{subfilepreamble}
4
5 \begin{document}
6 \input{subfileprefixsmall}
7 \selectlanguage{dutch}
8 \ifSubfilesClassLoaded{\chapter*{Samenvatting}}{\chapter{Samenvatting}}%
9 \label{chp:samenvatting}
10 %\begin{center}
11 %\noindent%
12 Het aantal computers om ons heen groeit enorm en hiermee ook de complexiteit van de systemen waarin ze zich bevinden.
13 Veel van deze computers zijn \emph{randcomputers} die onderdeel zijn van het Internet of Things (IoT).
14 Binnen deze orkesten interacteert deze apparatuur met de buitenwereld door sensoren en actuatoren.
15 Randcomputers bevatten vaak goedkope microcontrollers die speciaal ontworpen zijn voor ge\"{\i}ntegreerde systemen.
16 Enerzijds hebben ze weinig geheugen, langzame rekenkernen en trage communicatie.
17 Anderzijds zijn ze klein en hoogst energie effici\"{e}nt.
18 Het programmeren van deze IoT systemen is complex omdat ze dynamisch, interactief, gedistribueerd, samenwerkend, meerlaags en multitasking zijn.
19 De complexiteit wordt verder opgestuwd door de semantische wrijving die voortkomt uit de grote verscheidenheid aan hard- en software karakteristieken tussen de lagen.
20
21 Taakge\"{o}rienteerd programmeren (TOP) is hierbij een oplossing.
22 In TOP zijn taken, abstracte representaties van werk, de bouwstenen.
23 Tijdens het uitvoeren van taken kan de huidige waarde geobserveerd worden en hierop kunnen andere taken reageren.
24 Door taken samen te voegen of te transformeren kunnen samenwerkingsvormen uitgedrukt worden.
25 Vanuit deze beschrijving wordt een computer systeem gegenereerd dat gebruikers begeleid in het uitvoeren van het werk.
26 Een voorbeeld van een TOP-systeem is iTask, ontworpen om interactieve web toepassingen te beschrijven.
27 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.
28
29 Deze dissertatie laat zien hoe gehele IoT systemen georkestreerd kunnen worden met {TOP}.
30 Allereerst laat ik een wat technieken zien om ingebedde domein-specifieke talen te maken.
31 Daarna beschrijf ik mTask, een TOP-systeem voor randcomputers ingebed in iTask.
32 Taken worden tijdens het uitvoeren opgebouwd waardoor ze afgestemd kunnen worden op de huidige werkeisen.
33 Vervolgens worden ze naar het apparaat gestuurd ter interpretatie.
34 Een randcomputer is geschikt voor een mTask systeem als het uitgerust is met het lichtgewicht domeinspecifieke besturingssysteem.
35 Dit stuurprogramma voert de ontvangen taken energiezuinig uit en automatiseert alle communicatie en data verwerking.
36 Alle aspecten van het mTask systeem worden beschreven voorbeeldprogramma's, taalontwerp, implementatiedetails, integratie met iTask en de energiezuinige functionaliteit.
37 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.
38 Eveneens worden problemen verzacht zoals semantische wrijving, onderhouds- en robuustheidsproblematiek en moeizame onderlinge samenwerking.
39 %\end{center}
40 \input{subfilepostamble}
41 \selectlanguage{british}
42 \end{document}