ABZ14: Difference between revisions
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
The full description of the case study can be found [[Media:landing_system.pdf|here]]. | The full description of the case study can be found [[Media:landing_system.pdf|here]]. | ||
=== ProB Live Visualisations of Event-B models=== | === ProB Live Visualisation (click to join) === | ||
<html><a href="http://cobra.cs.uni-duesseldorf.de:8084/bms/landing/landinggear.html"> | |||
<img src="http://www.stups.uni-duesseldorf.de/ProB/images/7/7b/Landing_gear.png" width="600" /><a> | |||
</html> | |||
=== ProB Live Visualisations of other Event-B models=== | |||
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 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. | ||
| Line 15: | Line 20: | ||
After fix | After fix | ||
<a></html> | <a></html> | ||
=== ProB BMotion Studio Video === | === ProB BMotion Studio Video === | ||
Revision as of 08:27, 13 February 2015
This page provides additional resources for 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
The following two links contains executeable visualisations of the model from[1] before and after our fix respectively.
ProB BMotion Studio Video
{{#ev:youtube|wFr_pEjbpqo|640}}
Resources
Links
BMotion Studio for ProB
- BMotion Studio for ProB Homepage
- BMotion Studio for ProB User Handbook
- BMotion Studio for ProB Sourcecode
ProB 2.0
References
- ↑ 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)