back/samenvatting.tex

   1 \documentclass[../thesis.tex]{subfiles}
   2
   3 \input{subfilepreamble}
   4
   5 \begin{document}
   6 \input{subfileprefixsmall}
   7 \begin{otherlanguage}{dutch}
   8 \ifSubfilesClassLoaded{\chapter*{Samenvatting}}{\chapter{Samenvatting}}%
   9 \label{chp:samenvatting}
  10 Het ontwikkelen van betrouwbare software voor Internet of Things (\IOT{}) systemen is moeilijk omdat ze dynamisch, interactief, gedistribueerd, samenwerkend, meerlaags en multitasking zijn.
  11 Ook draagt de semantische wrijving voorkomend uit de grote verscheidenheid aan hard- en software karakteristieken tussen de lagen bij aan dit probleem.
  12 Veel van deze computers zijn \emph{randcomputers} die onderdeel zijn van het \IOT{}.
  13 Randcomputers bestaan vaak uit goedkope microcontrollers, ontworpen voor geïntegreerde systemen, en ze interacteren met de buitenwereld door sensoren en actuatoren.
  14 Enerzijds hebben ze weinig geheugen, langzame rekenkernen en trage communicatie.
  15 Anderzijds zijn ze klein en hoogst energie-efficiënt.
  16
  17 Taakgeörienteerd programmeren (TOP) is geschikt om met de uitdagingen van \IOT{} systemen om te gaan.
  18 In TOP zijn abstracte representaties van werk, de taken, de bouwstenen.
  19 Tijdens het uitvoeren van een taak kan de huidige waarde geobserveerd worden en hierop kunnen andere taken reageren.
  20 Door taken te combineren of te transformeren kunnen samenwerkingsvormen uitgedrukt worden.
  21 Van deze beschrijving wordt een computersysteem gegenereerd dat gebruikers begeleidt in het uitvoeren van het werk.
  22 Randcomputers hebben ook baat bij TOP, al is niet eenvoudig om TOP-systemen erop in te zetten.
  23
  24 Deze dissertatie laat zien hoe gehele \IOT{}-systemen georkestreerd kunnen worden met {TOP}.
  25 Gebruik makend van techniek kunnen alle lagen van een \IOT{}-systeem en hun samenwerking uitgedrukt worden in één hoog abstractieniveau, programmeertaal, paradigma en typesysteem.
  26 Allereerst laat ik enkele technieken zien om ingebedde domein-specifieke talen te maken.
  27 Daarna beschrijf ik mTask, een TOP-systeem voor randcomputers ingebed in iTask.
  28 Taken worden tijdens het uitvoeren opgebouwd, waardoor ze afgestemd kunnen worden op de huidige werkeisen.
  29 Vervolgens worden ze naar het apparaat gestuurd ter interpretatie.
  30 Na eenmalig uitgerust te worden met het domeinspecifieke besturingssysteem is een randcomputer geschikt voor mTask.
  31 Dit stuurprogramma voert de ontvangen taken energiezuinig uit en automatiseert tevens alle communicatie en dataverwerking.
  32 Alle aspecten van het mTask-systeem worden beschreven: voorbeeldprogramma's, taalontwerp, implementatiedetails, integratie met iTask en de energiezuinige functionaliteit.
  33
  34 Het laagloos programmeren van \IOT{} systemen wordt ook vergeleken met traditioneel gelaagd programmeren.
  35 Laagloos programmeren leidt tot minder code en minder programmeertalen.
  36 Door het gebruik van één paradigma en een systeembreed typesysteem verlaagt laagloos programmeren de semantische wrijving, onderhouds- en robuustheidsproblematiek en moeizame onderlinge samenwerking.
  37 \end{otherlanguage}
  38 \end{document}