Hello,
at this year's OSPERT 2016 workshop [1], the following Genode-related work was presented:
"A communication framework for distributed access control in microkernel-based systems"
by Mohammad Hamad, Johannes Schlatow, Vassilis Prevelakis, Rolf Ernst (TU Braunschweig)
It describes a distributed communication system between electronic con- trol units (ECUs) within a vehicle. The paper is available as PDF [2].
Cheers Norman
[1] http://www.cs.hs-rm.de/~kaiser/events/ospert16/ [2] http://www.cs.hs-rm.de/~kaiser/events/ospert16/pdf/ospert16-p6.pdf