--- abstract: 'The RODIN, and DEPLOY projects have laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B; we investigated code generation for embedded, multi-tasking systems. This work describes activities from a follow-on project, ADVANCE; where our interest is co-simulation of cyber-physical systems. We are working to better understand the issues arising in a development when modelling with Event-B, and animating with ProB, in tandem with a multi-simulation strategy. With multi-simulation we aim to simulate various features of the environment separately, in order to exercise the deployable code. This paper has two contributions, the first is the extension of the code generation work of DEPLOY, where we add the ability to generate code from Event-B state-machine diagrams. The second describes how we may use code, generated from state-machines, to simulate the environment, and simulate concurrently executing state-machines, in a single task. We show how we can instrument the code to guide the simulation, by controlling the relative rate that non-deterministic transitions are traversed in the simulation.' accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - ae2@ecs.soton.ac.uk - J.L.Colley@ecs.soton.ac.uk - mjb@ecs.soton.ac.uk creators_name: - family: Edmunds given: Andrew honourific: '' lineage: '' - family: Colley given: John honourific: '' lineage: '' - family: Butler given: Michael honourific: '' lineage: '' data_type: ~ date: ~ date_type: ~ datestamp: 2012-09-13 09:16:59 department: ~ dir: disk0/00/00/04/55 divisions: [] edit_lock_since: ~ edit_lock_until: 0 edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 455 event_dates: ~ event_location: ~ event_title: 'DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B ' event_type: workshop exhibitors_id: [] exhibitors_name: [] fileinfo: /455/2.hassmallThumbnailVersion/DS_EventB_2012.pdf;/455/2/DS_EventB_2012.pdf full_text_status: public funders: - Advance 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: 2013-02-18 14:59:23 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: paper producers_id: [] producers_name: [] projects: [] publication: ~ publisher: ~ refereed: FALSE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 21 series: ~ skill_areas: [] source: ~ status_changed: 2012-11-27 12:35:24 subjects: - ADVANCE - Code_generation - deploy_method - deploy_tooldev_rodinplugins succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: 'Building on the DEPLOY legacy: code generation and simulation' type: conference_item userid: 187 volume: ~