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.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet