Betrouwbare veiligheids- en beveiligingscontrole voor cyberfysieke systemen (TACOS)

Het TACOS project heeft als doel om de overgang naar online en veilige herconfiguratie van CPS(Cyber-Physical System)--
controllers mogelijk te maken door het definiëren van generieke, herbruikbare beveiligingsmiddleware die de configuratie en het
onderhoud van Trusted Execution Environments (TEE) mogelijk maakt. Om dit te bereiken zal TACOS zich richten op drie
innovatiedoelen:
• De definitie en validatie van generieke, platformonafhankelijke interfaces, services en tools voor het configureren van een TEE
en het handhaven van de vertrouwelijkheid en integriteit van de componenten die erin zijn geïmplementeerd. (state-of-theart:
platformspecifieke configuratie, beperkte/geen herbruikbare services en tools)
• De handhaving van tijdsgaranties voor de uitvoering van in-TEE componenten die de beschikbaarheid van kritische
componenten bewaken en controleren. (sota: TEE-ondersteuning voor softwarebeschikbaarheid ontbreekt)
• Nalevingsanalyse en modelgebaseerde mapping tussen TACOS-middleware en beveiligingswetgeving en -standaarden, om
veiligheidscertificering te vergemakkelijken en hiaten, tegenstrijdigheden en onduidelijkheden te identificeren. (sota: gebrek
aan coherente mapping tussen softwareassets en beveiligingswetgeving/-normen)