Projecten
Intensief trainingsprogramma in Food Safety - ITP Food Safety Universiteit Gent
In het ITP Food Safety worden alle aspecten behandeld met betreking tot voedselveiligheid (microbiologische, chemische (waaronder ook de allergenen en GGO's), fysische gevaren) belicht en hun beheersing in de agro-voedselketen via nationale en internationale wetgeving, Codexn het implementeren van kwaliteitszorgsystemen zoals Pre Requisite Programs, HACCP en commercieel vereiste systemen. Ook risicoanalyse, als basis voor het nemen van van ...
Integratie van cybersecurity en safety standaarden bij de ontwikkeling van digitale systemen KU Leuven
Het Co-Assurance project reikt ontwikkelaars en producenten van industriële digitale systemen de inzichten en know-how aan om de cybersecurity en safety richtlijnen, standaarden en best-practices enerzijds te analyseren en te begrijpen, en anderzijds de kennis om deze op een pragmatische wijze te implementeren. Dit project zal ontwikkelaars van digitale systemen inzichten bieden omtrent de verschillende bestaande richtlijnen, met de focus op ...
IVORY : 'AI for Vision Zero in Road Safety' Universiteit Hasselt
Iron deficiency anaemia in pregnancy: Evaluation of the effectiveness and safety of intravenous ferric carboxymaltose and oral ferrous sulphate in a low-middle income country Instituut voor Tropische Geneeskunde
Beheersing van veiligheidsrisico's in Industrie 4.0 KU Leuven
Het TETRA-project “Safety Assurance 4.0 – Beheersing van veiligheidsrisico’s in Industrie 4.0” wil de vraag beantwoorden hoe men kan garanderen dat coöperatieve/collaboratieve robots, autonome mobiele robots, autonoom geleide voertuigen en andere autonome systemen op een veilige manier kunnen opereren zonder dat ze in een veiligheidskooi moeten opgesloten zitten.
Voor het Safety Assurance 4.0 TETRA project worden de volgende concrete ...
SAFETEE - Een platform voor veilige autonome systemenSAFETEE - Een platform voor veilige autonome systemen KU Leuven
Veilig Metaprogrammeren voor het Web. KU Leuven
Haskell is een invloedrijke functionele programmeertaal met een geavanceerd typesysteem dat veel bugs kan detecteren. In sommige gevallen is de Glasgow Haskell Compiler (GHC), de de facto standaardcompiler van Haskell, krachtiger dan de Haskell-programmeertaal zelf en kan dan ook dingen kan uitdrukken die programmeurs met de taal zelf niet kunnen omwille van veiligheidsredenen. Dit is de functionaliteit waarnaar we verwijzen met Haskells ...
Slimme luchtvaartelektronica voor vluchtafsluitingssystemen, SAFEST KU Leuven
SAFEST contributes to the European capability to provide independent, reliable and efficient solutions in the global space transportation market.
The project will lead to a demonstrator of a modular Autonomous Flight Termination Unit (AFTU) for micro/small launchers, validated in a representative flight processor (execution) and emulated environment (dynamics), reaching TRL 5-6. This solution will differentiate from other developments ...
Waarborgen van de veiligheid van autonome systemen door middel van human-centered exectuable assurance cases KU Leuven
Hoewel autonome systemen enorme mogelijkheden bieden, gaan zij ook gepaard met grote uitdagingen op het gebied van veiligheid. De veiligheid van de mens staat immers centraal in elk autonoom systeem. Huidige veiligheidstechnieken en -normen zijn in de eerste plaats ontwikkeld voor systemen waarbij de mens het systeem kan overnemen in noodsituaties. Dit maakt ze ongeschikt voor autonome systemen. Executable safety assurance cases in ...