Projecten
Een model-gebaseerde aanpak voor het ontwikkelen van zelf-adaptieve systemen met garanties KU Leuven
Moderne software systemen zijn in toenemende mate onderhevig aan onzekerheden die vaak moeilijk te voorspellen zijn tijdens de ontwikkeling. Voorbeelden zijn wijzigingen in de context waarin systemen uitvoeren en veranderingen in de beschikbaarheid van noodzakelijke diensten. Om de vereiste kwaliteiten te kunnen waarborgen (betrouwbaarheid, prestaties, e.d.) dient de software met de onzekerheden om te gaan tijdens de uitvoering. Een ...
Sabbatperiode Danny Weyns: zelf-evoluerende computersystemen KU Leuven
In de hyper-geconnecteerde wereld van de toekomst zullen computersystemen met grote hoeveelheden data moeten omgaan en werken onder omstandigheden die niet te voorzien waren op het moment dat deze systemen ontworpen werden. Hierdoor zullen systemen inherent hybride worden, bestaande uit traditionele componenten gecombineerd met leermechanismen. Eén manier om met onvoorziene omstandigheden van computersystemen om te gaan, zijn operatoren die ...
Levenslange zelf-aanpassing om concept drift aan te pakken in zelf-adaptieve systemen ondersteund met machinaal leren KU Leuven
Naarmate software systemen complexer worden en voortdurend moeten werken in onzekere omstandigheden, wordt het integreren van technieken voor het beheren van onzekerheden tijdens hun werking essentieel. Een belangrijke aanpak hiervoor is gebaseerd op het principe van een externe feedback loop die toegevoegd wordt aan het systeem; dit vormt de basis vormt voor zelf-adaptieve systemen. Recentelijk is heel wat onderzoek verricht naar het gebruik ...
Een control-theoretische aanpak voor zelf-adaptieve software systemen met formele garanties KU Leuven
Software engineers worden in toenemende mate geconfronteerd met onzekerheden tijdens het ontwerp van systemen. Voorbeelden hiervan zijn dynamische veranderingen in de omgeving die moeilijk te voorspellen zijn of vereisten van gebruikers die tijdens de uitvoering veranderen. Het idee van zelf-aanpassing is om dergelijke onzekerheden te behandelen tijdens de uitvoering van het systeem, wanneer de ontbrekende informatie beschikbaar wordt. ...
Een Statistische Aanpak voor Gedecentraliseerde Zelf-Adaptieve Systemen KU Leuven
Moderne software systemen bestaan in toenemende mate uit losgekoppelde entiteiten. Dit resulteert in complexe geïntegreerde systemen. Het ontwikkelen van dergelijke systemen en het garanderen dat de vereisten van deze systemen tijdens de uitvoering is bijzonder complex. Twee belangrijke redenen voor deze complexiteit zijn decentralisatie en onzekerheden tijdens de ontwikkeling bijvoorbeeld omtrent de beschikbaarheid van hulpbronnen. ...