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.

Réalisation Axome - Création de sites Internet