PRiME research nominated for best paper award at the Forum on specification & Design Languages (FDL)

The Forum on specification & Design Languages (FDL) is an international forum devoted to the dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages. The forum covers several application areas including the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

FDL 2016 was held in Bremen, Germany, on the 14th -16th September and PRiME was well represented with the presentation of two papers.

Colin Snook and Tom Kazmierski’s paper “Using Event-B and Modelica to evaluate thermal management strategies in many core systems” was presented in the special session on Resilient Embedded Electronic Systems.

Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander Romanovsky and Alex Yakovlev’s work was presented in the paper entitled “Selective Abstraction and Stochastic Methods for Scalable Power Modelling of Heterogeneous Systems” in the session Extra Functional Properties. The authors were particularly pleased that their work was nominated for the best paper award.