DiversIoT:Research visit and workshop with INRIA

= Introduction =

Research visit from Sergiu Bursuc (INRIA Nancy) to establish tighter connections and discuss possible collaborations in the DiversIoT project.

The visit was spread over the weekend and the Monday after that. It included both visiting the research facilities of IFI and SINTEF and also the social and living standards of Oslo as a town.

= Main Outcomes = Two main general ideas emerged.


 * Test the diversification ideas on a third use case in the DiversIoT project from the field of Smart Transportation and Autonomous vehicles. This should connect better with the SCOTT project.
 * Include also work on techniques to provide Security Assurance based on automated tools integrated in the diversifying compilers of ThingML.