nds/thesis.md

   1 ---
   2 layout: index
   3 title: Orchestrating the Internet of Things with Task-Oriented Programming
   4 language: nds
   5 language_reference: thesis
   6 ---
   7
   8 {% include img.html alt='Umslag' img='thesiscover' %}{% include img.html alt='Beukenlegger (in t Nederlaands)' img='thesisboekenlegger' %}
   9
  10 [Bestelln (webstie in et Nederlaands)](https://www.boekenbestellen.nl/boek/orchestrating-the-internet-of-things-with-task-oriented-programming/9789493296114?lang=nl)
  11
  12 {% include toc.html %}
  13
  14 ## Details
  15
  16 In et openbaar verdedigd op gownsdag 4 oktober um stipt 14:30.
  17
  18 Promotor:
  19
  20 - prof. dr. ir. M.J. (Rinus) Plasmeijer
  21
  22 Copromotoren:
  23
  24 - dr. J.M. (Jan Martin) Jansen (Nederlandse Defensie Academie)
  25 - dr. P.W.M. (Pieter) Koopman
  26
  27 Manuscriptcommissie:
  28
  29 - prof. dr. S.-B. (Sven-Bodo) Scholz
  30 - prof. dr. G.K. (Gabriele) Keller (Universiteit Utrecht)
  31 - prof. dr. M. (Mary) Sheeran (Chalmers Tekniska Högskola, Zweden)
  32
  33 ## Samenvatting
  34
  35 **Dit is geels nich kloar**
  36
  37 Et ontwikkelen van sekure software veur et Internet of Things (IoT, internet van dingen) is meuilijk.
  38 Dit kump omdat ze veranderlijk bint en dr interactie bie komt kieken.
  39 Noast dat, is et opbröken in stukkes dee op annere machines dreaien möt en met mekaar mot kuieren.
  40 De verschillende machines liekt nich op mekoar in hardware en software iegenschappen en dat gef stried.
  41 Dissen striend neumt ze semantiese wrieving.
  42 Völ van disse komputers bint _randkomputers_ dee deel oet maakt van het IoT.
  43 Randkomputers bint meesttieds goodkope _microcontrollers_ en hebt de meugelijkhied te proaten met de boetenwearld.
  44 Dit geet met sensoren en actuatoren.
  45 An de eene kaant is et geheugen beteun, bint ze troag in et rekken en kuieren met annere systemen.
  46 Aanderzieds bint ze heanig en broekt ze nich völ stroom.
  47
  48 Taakorienteerd programmeren (TOP) is past good bie de oetdagingen van IoT.
  49 TOP hef abstracties veur weark, dit neumt ze de taken, boustenen.
  50 At zonne taak gangs is kun ie de woarde zean.
  51 Annere taken kunt hier op inspölen.
  52 Ok kunt taken kombineert of aanpast worden en zo ku'j oetdrukn hoo at d'r samenwearkt mot worden.
  53 Van de taak beschrieving kan 'n komputersysteem maakt worden.
  54 Met dit programma kunt gebroekers et weark doon.
  55 Randkomputers hebt ok verlet aan TOP, mear et is nich invoalig om TOP op disse heanige machientjes in te zetten.
  56
  57 Mien dissertaasie loat zeen hoe at ie allens in nen IoT systeem in eenen moal kunt oetdrukken met TOP, as in n orkest.
  58 Deur techniek te broeken kujnt alle lagen van n IoT systeem en hoo of ze met mekoar proat oetdrukt worden.
  59 Dit geet ammoal in éénen abstractieniveau, programmeersproake, paradigma en typeringssysteem.
  60 As eerste loat ik luk zeen hoo of ie inbeddende domien-specifieke sproaken maken kujnt.
  61 Doarna beschrief ik mTask, nen TOP systeem veur randkomputers wel inbed is in iTask.
  62 De taken, et weark, wöd bouwt tiedens n oetvuring.
  63 Zo kunt ze afstemt worden op et weark woaran et systeem verlet hef.
  64 Et weark wör opstuurt noar de machiens dee et interpreteert.
  65 At disse machiens eenmoal oetrust bint met et domienspecifieke besturingssyteem dan ku'j ze altied broeken veur mTask.
  66 Et besturingssysteem döt al et kuieren veur oe, n data-opslag, et weark.
  67 Dit allns döt he ok nog zuunig.
  68 Ik beschrief alle sieden van het mTask systeem.
  69 Veurbeeldprogramma's, sproakontwerp, onnerliggende wearking, n integratie met iTask en de wieze woarup et stroomverbroek beperkt wordt.
  70
  71 Ok vergeliek ik laagloos programmeren met hoe of dat aans geet in leagkes.
  72 As ie laagloos programmeert hoof ie minner code en sproaken te broeken.
  73 Ok he'j genog an éénen paradigma, typesysteem
  74 Et langlaasts he'j ok hoast gen semantiese wrieving en is et stabiel en ku'j et makkelijk onnerhoalen.
  75
  76 Slides veur de samenvattingspresentatie kunt [hier](/files/thesispraatje.pdf) vunden worden (in et Nederlaands).