---
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\r\nof 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\r\nrequirements, 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."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - '"Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>'
  - alexander.romanovsky@ncl.ac.uk
creators_name:
  - family: Iliasov
    given: Alexei
    honourific: ''
    lineage: ''
  - family: Romanovsky
    given: Alexander
    honourific: ''
    lineage: ''
data_type: ~
date: 2011
date_type: ~
datestamp: 2011-12-11 22:19:01
department: ~
dir: disk0/00/00/03/60
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 360
event_dates: 'Nov 29 - Dec 2, 2011'
event_location: 'Hiroshima, Japan'
event_title: 22nd IEEE International Symposium on Software Reliability Engineering
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: ''
full_text_status: none
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: ~
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2011-12-11 22:19:01
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: other
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 9
series: ~
skill_areas: []
source: ~
status_changed: 2011-12-11 22:19:01
subjects:
  - Event-Bsemantics
  - deploy_method_comp
  - deploy_method_proof
  - deploy_tooldev
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: 'Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper)'
type: conference_item
userid: 7
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>