Structuring reactive systems in B AMN

ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

Volumn , Issue , 2000, Pages 25-33

  Lano, K ^a   Androutsopoulos, K ^a   Kan, P ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Actuators; Computer industry; Computer science; Control systems; Educational institutions; Guidelines; Partitioning algorithms; Rail transportation; Safety; Sensor systems

Indexed keywords

ACCIDENT PREVENTION; ACTUATORS; COMPUTER SCIENCE; CONTROL SYSTEMS; RAILROAD TRANSPORTATION; RAILROADS;

COMPUTER INDUSTRY; EDUCATIONAL INSTITUTIONS; GUIDELINES; PARTITIONING ALGORITHMS; RAIL TRANSPORTATION; SENSOR SYSTEMS;

COMPUTER CONTROL SYSTEMS;

EID: 33947429348     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICFEM.2000.873802     Document Type: Conference Paper

References (17)

1. M. Ali, B Specification of Steam Boiler, MSc thesis, Dept. of Computing, Imperial College, 1998.
2. K. Androutsopoulos. The Reactive System Design Tool, ROOS Project report, Department of Computing, Imperial College, 1999.
3. D. Bert, M-L. Potet, Y. Rouzaud. A Study on Components and Assembly Primitives in B, Proceedings of 1st B Conference, pp 47-62, 1996.
4. J.C. Bicarregui, K.C. Lano, T.S.E. Maibaum, Objects, Associations and Subsystems: a hierarchical approach to encapsulation, ECOOP 97, Springer Verlag LNCS, 1997.
5. M. Büchi, R. Back, Compositional Symmetric Sharing in B, FM '99, Springer-Verlag LNCS, 1999.
6. A. Chavoya, A. Sanchez, K. Lano, Formal Implementation of Procedural Controllers for Event-Driven Sequential Systems in Chemical Processes, CINVESTAV, Mexico, January 2000.
7. I. Hayes, A Survey of Data Refinement and Full Abstraction in VDM and Z, Dept. of Computer Science, University of Queensland, 1991.
8. C. Heitmeyer, Formal Methods for Developing Software Specifications: Paths to Wider Usage, Naval Research Laboratory, Washington, DC 20375, USA, 1999.
9. International Society for Measurement and Control. Batch Control Models and Terminology, ISA-S88.01-1995, 1995.
10. K. Lano, A. Sanchez, Design of Real-time Control Systems for Event-driven Operations, FME '97, Springer-Verlag LNCS, 1997.
11. K. Lano, J. Bicarregui, and A. Evans. Structured Axiomatic Semantics for UML Models, ROOM 2000 Proceedings, to appear in Electronic Workshops in Computer Science, Springer-Verlag, 2000.
12. K. Lano, K. Androutsopoulos, D. Clark, Structuring and Design of Reactive Systems using RSDS and B, FASE 2000, to appear in LNCS, Springer-Verlag, 2000.
13. K. Lano, D. Clark, K. Androutsopoulos, P. Kan, Invariant-based Synthesis of Fault-tolerant Systems, FTRTFT 2000, Pune, India, 2000.
14. C. Lewerentz, T. Lindner (eds.), Formal Development of Reactive Systems, LNCS Vol. 891, Springer-Verlag, 1995.
15. A. Lötzbeyer, R Mühlfeld, Task Description of a Flexible Production Cell with Real Time Properties, FZI, Karlsruhe, 1996.
16. F. Mejia, Formalising Existing Safety-Critical Software, FMERail Workshop No. 2, London, UK, 1998. http://www.ifad.dk/Projects/fmerail.htm.
17. A. Sanchez. Formal Specification and Synthesis of Procedural Controllers for Process Systems. Springer-Verlag. Lecture Notes in Control and Information Sciences, vol. 212. 1996.