< Terug naar vorige pagina

Project

Betrouwbare Gedecentraliseerde Adaptieve Software Systemen

De betrouwbaarheid van de aankomende generatie software-intensieve systemen zal van cruciaal belang zijn voor onze samenleving. Een voorbeeld is een slim systeem dat toezicht houdt over een bepaald gebied. Onze focus van betrouwbaarheid ligt op het garanderen van doelstellingen met betrekking tot fouten, prestaties en efficiëntie. Onzekerheden in de uitvoeringscontext en inherente decentralisatie maken het ontwikkelen van deze systemen zeer complex. Bestaande benaderingen op basis van runtime aanpassingen zijn niet toereikend om gecoördineerde aanpassingen op een efficiënte en betrouwbare manier te realiseren. We stellen een nieuwe benadering voor om betrouwbare gedecentraliseerde adaptieve systemen te ontwikkelen die gebaseerd is op: (i) een nieuwe formeel-gebaseerde taal om interactieve feedback-loops modellen te specificeren die direct uitvoerbaar zijn, en (ii) statistische modelgebaseerde verificatie tijdens de uitvoering om de doelen efficiënt te garanderen met voldoende vertrouwen. We valideren de onderzoeksresultaten in een system met onbemande onderwater voertuigen en twee Internet of Things systemen.
Datum:1 okt 2018 →  30 sep 2022
Trefwoorden:Software engineering, Self-adaptation, Trustworthiness, Executable modelling language, Verification
Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen