Industrial deployment of system engineering methods providing high dependability and productivity

 

Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic

Varpaaniemi, Kimmo (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic. [Rodin Archive]

[img] ZIP Archive (DSAOCSSv002.zip)
143Kb
[img] ZIP Archive (DSAOCSSv003.zip)
149Kb

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.

Item Type:Rodin Archive
Subjects:Industrial Deployment
Industrial Deployment > Space
ID Code:331
Deposited By: Dr. Kimmo Varpaaniemi
Deposited On:02 Sep 2011 12:08
Last Modified:18 May 2012 14:18

Repository Staff Only: item control page

Deploy-Project - All right reserved