Apart from European projects RTSLAB has research cooperations with a number of other research groups, leading to visiting occasions on both sides.
On modelling and analysis for safety and security
On properties of actor languages
On the topic of optimisation methods for scheduling in avionic systems
On risk assessment for SCADA systems
On protocol security for handheld devices
On mobile code and embedded security
On predictability of multicore systems
On real-time scheduling
On real-time scheduling of multicore systems
On free software deployment in the hand held devices protocol stacks
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