creators_name: Iliasov, Alexei creators_name: Romanovsky, Alexander creators_id: "Alexei Iliasov" creators_id: alexander.romanovsky@ncl.ac.uk type: conference_item datestamp: 2011-12-11 22:19:01 lastmod: 2011-12-11 22:19:01 metadata_visibility: show title: Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper) ispublished: pub subjects: Event-Bsemantics subjects: deploy_method_comp subjects: deploy_method_proof subjects: deploy_tooldev full_text_status: none pres_type: other abstract: In this talk we report on scaling methodological and tool support of a formal method to size of problems relevant to industrial users. The report is based on the experience of the ICT Deploy project - a research project where a number of academic and industrial partners work together on advancing the agenda of formal modelling in the industrial setting. We present a summary of developments conducted by industrial users, the problems they have faced compiling requirements, building models, doing formal proofs and their views on the return form the investment in formal modelling training. In particular, we will focus on the transitions from initial, small-scale, feasibility studies to larger, realistic, developments and the challenges thus uncovered. date: 2011 event_title: 22nd IEEE International Symposium on Software Reliability Engineering event_location: Hiroshima, Japan event_dates: Nov 29 - Dec 2, 2011 event_type: conference refereed: TRUE citation: Iliasov, Alexei and Romanovsky, Alexander (2011) Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper). In: 22nd IEEE International Symposium on Software Reliability Engineering, Nov 29 - Dec 2, 2011, Hiroshima, Japan.