home:
en: home
nl: thuis
- nds: thoos
+ nds: thoes
languagename:
en: Languages
nl: Talen
posts:
en: Posts
nl: Postberichten
- nds: Stu'kes
+ nds: Schrievsels
footer:
en: '
Valid HTML 5 and optimized for screen readers.<br />
tenminste ≥80x24 tekstmodus in een van <a href="https://nl.wikipedia.org/wiki/Lijst_van_webbrowsers">deze webbrowsers.</a><br />
Gedreven door <a href="https://jekyllrb.com">Jekyll</a> (linkt naar een Engelse site)'
nds: '
- Gooien HTML 5 en optimaliseerd veur schearmlèèzers..<br />
- Doew kanst dit et beste bekieken met nen schermresolutie van mear as ≥640x480 of
+ Gooien HTML 5 en optimaliseerd veur schearmleazers..<br />
+ Doe kaanst dit et beste bekieken met nen schermresolutie van mear as ≥640x480 of
mear as ≥80x24 in tekstmodus in een van <a href="https://nl.wikipedia.org/wiki/Lijst_van_webbrowsers">disse webbrowsers.</a> (geet noar nen Nederlaandsen webstie)<br />
Maakt deur <a href="https://jekyllrb.com">Jekyll</a> (geet noar nen Engelse webstie)'
## 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:
## 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).
---
layout: index
-title: Walrusvereeniging Almere
+title: Waalrusvereeniging Almere
language: nds
language_reference: walrus
---
-Wolkom bie 'n webstie van de Walrusvereniging Almere.
-Nen heanig boetenzwemclubke dat, anners dan da'j van 'n noam maj't deanken, nog
-nich 'n heeln weeinter deur zwemt mear wie wolt het wa gearn.
+Wolkom bie 'n webstie van de Waalrusvereniging Almere.
+Nen heanig boetenzwemclubke dat, anners dan da'j van 'n naam maj't deanken, nog
+nich 'n heeln weeinter deur zwemt, mear wie wolt et wa gearn.
### Stie
-Noorderplassenstrand, wie komt bie mekaar op n diek ([N 52°23.681' E 005°13.202'](https://www.openstreetmap.org/?mlat=52.39467&mlon=5.22003#map=19/52.39467/5.22003))
+Noorderplassenstrand, wie komt te hoap op 'n diek ([N 52°23.681' E 005°13.202'](https://www.openstreetmap.org/?mlat=52.39467&mlon=5.22003#map=19/52.39467/5.22003))
<iframe width="425" height="350" frameborder="0" scrolling="no" marginheight="0" marginwidth="0" src="https://www.openstreetmap.org/export/embed.html?bbox=5.218304693698884%2C52.39362700408787%2C5.221764743328095%2C52.39571056721453&layer=mapnik&marker=52.39466797958001%2C5.220034718513489" style="border: 1px solid black"></iframe>
### Agenda
-Wie hebt genne vast daagn mear zwemt twee tut dree moal in de wek.
+Wie hebt genne vaste daagn mear zwemt twee tut dree moal in de wek.
### Contact
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}.
+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.