Section: New Results
Work has continued on the definition of a type system for the assemblage of communicating components. A first type system was published this year  . The paper proves that the type inference problem for this type system is undecidable, and provides a semi-algorithm for type inference. In parallel, we have developed a second, more practical type system with decidable type inference. A first prototype implementation has been developed and has been integrated with the Fractal Toolchain. This implementation has enabled us to check the use of our type analyser on large Dream configurations and to show that the type system can be used with other component models, such as Click. This work is currently submitted for publication.