Abstract
AnSyMo (Antwerp Systems and Software Modeling) is een onderzoeksgroep die onderzoek doet naar grondslagen, technieken, methoden en tools voor het ontwerp, de analyse en het onderhoud van software-intensieve systemen. MICSS (Modeling Intelligente Complex Software and Systems) Lab is gewijd aan het modelleren van intelligente systemen, zoals slimme cyberfysieke systemen van systemen met behulp van intelligente agents en modelgebaseerde ontwikkelingstechnieken.
Cyber-Physical Systems (CPS) bestaan uit nauw geïntegreerde en gecoördineerde computationele en fysieke elementen. Ze zijn de evolutie van embedded systemen naar een hoger niveau van complexiteit door te focussen op interactie met de hoogst onzekere fysieke realiteit (zoals tijdens menselijke interactie of bij slijtage van apparaten). In deze systemen bewaken embedded computers en netwerken (via sensoren) en besturen (via actuatoren) de fysieke processen, meestal met feedbackloops waar fysieke processen en berekeningen elkaar beïnvloeden. Het computationele deel van deze systemen speelt een sleutelrol en moet de onzekere situaties aankunnen met beperkte middelen (bijv. rekenkracht, geheugen, communicatie, enzovoort), meestal in realtime.
Binnen IoT en Industrie 4.0 raken deze systemen met elkaar verbonden en vormen ze complexe, grotere systemen, de cyberfysieke systemen van systemen (CPSoS). In deze systemen werken CPS'en als onderdeel van een groot systeem dat ruimtelijk verdeeld is, geen centrale controle heeft, autonome subsystemen heeft, dynamisch geconfigureerd is, opkomend gedrag vertoont en voortdurend evolueert, zelfs tijdens de reguliere werking.
Een belangrijk punt in CPSoS is het verkrijgen van kennis uit de informatie die door de subsystemen apart wordt verzameld door de omgeving te monitoren, met behulp van artificiële-intelligentietechnieken. Deze kennis kan het controle- en feedbackmechanisme verbeteren. Bovendien ontstaan hierdoor de slimme systemen van de toekomst die tijdige en nauwkeurigere beslissingen en acties kunnen nemen, genaamd Smart CPSoS (sCPSoS). Deze kunnen helpen bij het aanpakken van een aantal sociale, industriële en milieukwesties. Dit project wil de uitdagingen van sCPSoS aanpakken met behulp van intelligente agents en modelgebaseerde ontwikkelingstechnieken.
Onderzoeker(s)
Onderzoeksgroep(en)
Project type(s)