We discussed with Massimo a new model of off-the-shelf components for real-time systems. For an assembly to be correct, adaptors must be synthesised automatically to solve mismatch between components, regarding timing and/or communication protocol. We discussed such a synthesis method based on discrete controller synthesis.

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

Réalisation Axome - Création de sites Internet