small updates

[martlubbers.net.git] / nds / thesis.md

diff --git a/nds/thesis.md b/nds/thesis.md
index 65a92d2..0eb2596 100644 (file)
--- a/nds/thesis.md
+++ b/nds/thesis.md
@@ -13,7 +13,7 @@ language_reference: thesis
 
 ## Details
 
-In et openbaar verdedigd op goawnsdag 4 oktober um stipt 14:30.
+In et openbaar verdedigd op gownsdag 4 oktober um stipt 14:30.
 
 Promotor:
 
@@ -32,6 +32,45 @@ Manuscriptcommissie:
 
 ## Samenvatting
 
-**De samenvatting mot nog oawerzet worn.**
+**Dit is geels nich kloar**
 
-Slides veur de samenvattingspresentatie kunt [hier](/files/thesispraatje.pdf) vunden worn (in et Nederlaands).
+Et ontwikkelen van sekure software veur et Internet of Things (IoT, internet van dingen) is meuilijk.
+Dit kump omdat ze veranderlijk bint en dr interactie bie komt kieken.
+Noast dat, is et opbröken in stukkes dee op annere machines dreaien möt en met mekaar mot kuieren.
+De verschillende machines liekt nich op mekoar in hardware en software iegenschappen en dat gef stried.
+Dissen striend neumt ze semantiese wrieving.
+Völ van disse komputers bint _randkomputers_ dee deel oet maakt van het IoT.
+Randkomputers bint meesttieds goodkope _microcontrollers_ en hebt de meugelijkhied te proaten met de boetenwearld.
+Dit geet met sensoren en actuatoren.
+An de eene kaant is et geheugen beteun, bint ze troag in et rekken en kuieren met annere systemen.
+Aanderzieds bint ze heanig en broekt ze nich völ stroom.
+
+Taakorienteerd programmeren (TOP) is past good bie de oetdagingen van IoT.
+TOP hef abstracties veur weark, dit neumt ze de taken, boustenen.
+At zonne taak gangs is kun ie de woarde zean.
+Annere taken kunt hier op inspölen.
+Ok kunt taken kombineert of aanpast worden en zo ku'j oetdrukn hoo at d'r samenwearkt mot worden.
+Van de taak beschrieving kan 'n komputersysteem maakt worden.
+Met dit programma kunt gebroekers et weark doon.
+Randkomputers hebt ok verlet aan TOP, mear et is nich invoalig om TOP op disse heanige machientjes in te zetten.
+
+Mien dissertaasie loat zeen hoe at ie allens in nen IoT systeem in eenen moal kunt oetdrukken met TOP, as in n orkest.
+Deur techniek te broeken kujnt alle lagen van n IoT systeem en hoo of ze met mekoar proat oetdrukt worden.
+Dit geet ammoal in éénen abstractieniveau, programmeersproake, paradigma en typeringssysteem.
+As eerste loat ik luk zeen hoo of ie inbeddende domien-specifieke sproaken maken kujnt.
+Doarna beschrief ik mTask, nen TOP systeem veur randkomputers wel inbed is in iTask.
+De taken, et weark, wöd bouwt tiedens n oetvuring.
+Zo kunt ze afstemt worden op et weark woaran et systeem verlet hef.
+Et weark wör opstuurt noar de machiens dee et interpreteert.
+At disse machiens eenmoal oetrust bint met et domienspecifieke besturingssyteem dan ku'j ze altied broeken veur mTask.
+Et besturingssysteem döt al et kuieren veur oe, n data-opslag, et weark.
+Dit allns döt he ok nog zuunig.
+Ik beschrief alle sieden van het mTask systeem.
+Veurbeeldprogramma's, sproakontwerp, onnerliggende wearking, n integratie met iTask en de wieze woarup et stroomverbroek beperkt wordt.
+
+Ok vergeliek ik laagloos programmeren met hoe of dat aans geet in leagkes.
+As ie laagloos programmeert hoof ie minner code en sproaken te broeken.
+Ok he'j genog an éénen paradigma, typesysteem
+Et langlaasts he'j ok hoast gen semantiese wrieving en is et stabiel en ku'j et makkelijk onnerhoalen.
+
+Slides veur de samenvattingspresentatie kunt [hier](/files/thesispraatje.pdf) vunden worden (in et Nederlaands).