ABZ14: Difference between revisions

Line 14: Line 14:
=== ProB Live Visualisations of other Event-B models (click to join) ===
=== ProB Live Visualisations of other Event-B models (click to join) ===


The following two links contains executeable visualisations of the model from<ref>Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System, Su, W. and Abrial, J., 2014 in Communications in Computer and Information Science (ABZ 2014: The Landing Gear Case Study)</ref> before and after our fix respectively.
The following link contains an executeable visualisation of the model from<ref>Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System, Su, W. and Abrial, J., 2014 in Communications in Computer and Information Science (ABZ 2014: The Landing Gear Case Study)</ref>.
 
<html><a href="http://cobra.cs.uni-duesseldorf.de:8087/bms/vis_dev1/landinggear.html">
Before fix
<a></html>


<html><a href="http://cobra.cs.uni-duesseldorf.de:8083/bms/vis_dev1_fixed/landinggear.html">
<html><a href="http://cobra.cs.uni-duesseldorf.de:8083/bms/vis_dev1_fixed/landinggear.html">
After fix
Start Visualisation
<a></html>
<a></html>



Revision as of 12:29, 13 February 2015


This page provides additional resources for the journal article we have submitted for the International Journal on Software Tools for Technology Transfer.

The journal article is an extended version of the paper we have submitted for the ABZ 2014 case study track.

The full description of the case study can be found here.

ProB Live Visualisation (click to join)

ProB Live Visualisations of other Event-B models (click to join)

The following link contains an executeable visualisation of the model from[1].

Start Visualisation

ProB BMotion Studio Video

{{#ev:youtube|wFr_pEjbpqo|640}}

Resources

Links

BMotion Studio for ProB

ProB 2.0

References

  1. Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System, Su, W. and Abrial, J., 2014 in Communications in Computer and Information Science (ABZ 2014: The Landing Gear Case Study)