Geautomatiseerde en simulatiegebaseerde methode voor functionele veiligheidstechniek (aSET_ICON).

Complexe veiligheidsgerelateerde producten die mechanica, elektrische componenten, elektronica en software combineren in hun ontwerp hebben een grote impact op het functionele functionele veiligheidsproces. Het doel van het aSET-project is om methodologieën te ontwikkelen om de functionele veiligheid te automatiseren engineeringproces om het proces minder gevoelig voor fouten te maken. Verder beoogt het ook de ontwerp tijd en kosten in vergelijking met de huidige handmatige state-of-the-practice te verminderen.  Meer specifiek zijn de doelstellingen van het project: (i) de ontwikkeling van een functional safety formeel model geïmplementeerd om de intrinsieke koppeling tussen alle functionele veiligheid mogelijk te maken. (ii) de ontwikkeling van een methode en demonstrator tooling voor de vertaling van tekstuele vereisten in wiskundige vergelijkingen (die als een ontwerp kunnen dienen contract voor het feitelijke hardware-ontwerp) die de functionaliteit van E / E / PE beschrijven de automatisering van HARA mogelijk maken met behulp van een functioneel E / E / PE-model en plant model; (iii) de validatie van deze methoden in een generieke use-case evenals in verschillende industriële use-cases die hun functionaliteit en het beoogde ontwerp aantonen tijd- en kostenstijgingen.

Trefwoorden:VEILIGHEID, MODELLERINGMETHODEN

Disciplines:Computer hardware, Computertheorie, Scientific computing, Andere computer ingenieurswetenschappen, informatietechnologie en mathematische ingenieurswetenschappen

Project type:Samenwerkingsproject