In the MURI project ISIS develops a composable tool architecture and integrated tool chain designing systems that are correct-by-construction, fault tolerant, secure and degrade gracefully under fault conditions or information attacks. Collaborative research focused on the Time-Triggered Architecture as a target platform for this toolchain.

Réalisation Axome - Création de sites Internet