Regio Zuid | Verkenning van methode voor het specificeren van dynamisch gedrag van systemen

Ratio Computer Aided Systems Engineering B.V. werkt aan technologie voor het schrijven van zeer gestructureerde ontwerpspecificaties voor technische (high-tech) systemen waarvan de consistentie automatisch (met algoritmes) is te controleren en te analyseren, met als doel de kwaliteit van ontwerpspecificaties te vergroten en daarmee de ontwikkeltijd en ontwikkelkosten van systemen te reduceren...Met de huidige technologie van Ratio is goed de zogenaamde ‘statische structuur’ van een systeem te beschrijven. Dat wil zeggen, men kan goed beschrijven wat een systeem moet kunnen, waar het aan moet voldoen en hoe het in elkaar zit. Het zogenaamde ‘dynamische gedrag’ is echter nog niet goed te beschrijven. Dat wil zeggen, men kan niet goed beschrijven wat een systeem moet doen als, bijvoorbeeld, een start-knop wordt ingedrukt. ..Dit project behelst een verkennende en experimentele bureaustudie naar uitbreiding van de technologie t.b.v. het beschrijven van dynamische gedrag van technische systemen. Het project draagt bij aan de ontwikkeling van nieuwe technologie (software) t.b.v. de verbetering en ondersteuning van de communicatie, coördinatie en samenwerking in ontwerpprocessen van (high-tech) systemen. Het sluit daarom goed aan bij de doelstellingen van de topsector Hightech systemen, materialen en ICT en de thema’s Smart Industry en ICT.