FM&MDD 2017

2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

November 16 2017, Xi'an - in Conjunction with ICFEM 2017

Program

13:30 - 14:30 Invited Talk

Dominique Mery

14:30 - 15:30 Technical Talks

A Formal Model to Facilitate Security Testing in Modern Automotive Systems
Eduardo Dos Santos, Dominik Schoop and Andrew Simpson

Securing Open Source Clouds Using Models
Irum Rauf and Elena Troubitsyna

15:30 - 16:00 Coffee Break

16:00 - 17:00 Technical Talks

Incremental Database Design using UML-B and Event-B
Ahmed Al-Brashdi, Michael Butler and Abdolbaghi Rezazadeh

Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
Inna Vistbakka and Elena Troubitsyna

17:00 - 18:00 Invited talk

Regine Laleau

18:00 - 18:10 Closing