creators_name: Varpaaniemi, Kimmo
type: rodin_archive
datestamp: 2011-09-02 12:08:44
lastmod: 2012-05-18 14:18:52
metadata_visibility: show
title: Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic
subjects: deploy_industrial
subjects: deploy_industrial_space
full_text_status: public
abstract: Each archive contains: (i) an Event-B model of the mode synchronization protocol specified at http://deploy-eprints.ecs.soton.ac.uk/309/ , and (ii) a corresponding ProB Classic model, including files for associated LTL formulas and preferred usage configuration. The Event-B project DSAOCSSv002 is hopefully correct in the case where the system has only two managers and only two modes. The Event-B project DSAOCSSv003 is hopefully correct whenever the system has only two managers and at least two modes.
date: 2011-09-03
date_type: completed
institution: Space Systems Finland Ltd
citation:   Varpaaniemi, Kimmo  (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/331/1/DSAOCSSv002.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/331/2/DSAOCSSv003.zip