Apart from European projects RTSLAB has research cooperations with a number of other research groups, leading to visiting occasions on both sides.
On free software deployment in the hand held devices protocol stacks
On protocol security for handheld devices
On mobile code and embedded security
On the theme on Probabilistic Reasoning for safety analysis
Academic partner of Esterel Technologies, the provider of model-based solutions for
DO-178B and IEC 61508 safety-critical systems.
Cooperating on compositional reasoning of component-based systems
Cooperating with the RTSLAB project on QoS Management of Real-time Data Services, that is driven forward through trips between the two groups
Cooperation with RTSLAB through an NSF-supported grant, that allows several visits per year
Cooperation on securing critical infrastructures