Refinement patterns for rapid development of dependable systems

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07

Volumn , Issue , 2007, Pages

  Iliasov, Alexei ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION AREA; DEPENDABLE SYSTEMS; DESIGN PATTERNS; EVENT-B; FORMAL FRAMEWORK; FORMAL MODEL; MECHANISATION; PLUG-INS; RAPID DEVELOPMENT; TRIPLE MODULAR REDUNDANCY;

COMPUTATION THEORY; FORMAL METHODS; MACHINERY; TECHNICAL PRESENTATIONS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 77950501563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1316550.1316560     Document Type: Conference Paper

References (6)

1. Rodin: Rigorous Open Development Environment for Complex Systems. IST FP6 STREP project, http://rodin.cs.ncl.ac.uk/ (Last accessed: 18 June 2007)
2. C. Metayer, J.-R. Abrial, L.V., ed.: Rodin Deliverable D7: Event B language. Project IST-511599, School of Computing Science, University of Newcastle (2005)
3. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (2005)
4. Lyons, R.E., Vanderkulk, W.: The Use of Triple-Modular Redundancy to Improve Computer Reliability. IBM Journal (1962) 200{209
5. Iliasov, A.: Finer Plugin to the RODIN Platform. Version 0.0.1. http://www.iliasov.org/ncl.plugin.-ner 0.0.1.jar (Last accessed: 18 June 2007)
6. Iliasov, A.: Finer Plugin Introduction. http://www.iliasov.org/ FinerPlugin.html (Last accessed: 18 June 2007)