David Pereira participated in ENABLE-S3 review project meeting
5, Jul, 2018
Between the 3rd and 5th of July 2018, CISTER researcher David Pereira has participated in ENABLE-S3’s second review meeting, that took place in IBM Ireland, Dublin. David presented one of the demonstrators of the Farming Use-Case (which is lead by TTTech) and which is focused on applying runtime verification techniques for the verification of intra-vehicles communication for Time Sensitive Networks. The meting included also on day (the 4th of July) open to external visitors, and the work developed by CISTER (and its combination with the tool developed by DTU researchers) was very welcome as a future solution to consider in the verification of highly-automated and autonomous CPSs.
Overall, the review meeting was a success and the project is on track to fulfil its objectives.