Invariant-based synthesis of fault-tolerant systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1926, Issue , 2000, Pages 46-57

  Lano, K ^a   Clark, David ^b   Androutsopoulos, K ^a   Kan, P ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; FORMAL LANGUAGES; FORMAL SPECIFICATION; SEMANTICS;

COMPOSITIONAL DEVELOPMENT; DESIGN STRATEGIES; FAULT TOLERANT SYSTEMS; REACTIVE SYSTEM; STATECHART SEMANTICS; STATECHARTS;

REAL TIME SYSTEMS;

EID: 84974694691     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45352-0_6     Document Type: Conference Paper

References (11)

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. I. Hayes, A Survey of Data Refinement and Full Abstraction in VDM and Z, Dept. of Computer Science, University of Queensland, 1991.
4. International Electrotechnical Commission, IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, 1999.
5. 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.
6. 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.
7. C. Lewerentz, T. Lindner (eds.), Formal Development of Reactive Systems, LNCS Vol. 891, Springer-Verlag, 1995.
8. A. Lötzbeyer, R Mühlfeld, Task Description of a Flexible Production Cell with Real Time Properties, FZI, Karlsruhe, 1996.
9. F. Mejia, Formalising Existing Safety-Critical Software, FMERail Workshop No. 2, London, UK, 1998. http://www.ifad.dk/Projects/fmerail.htm.
10. E. Sekerinski. Graphical Design of Reactive Systems. 2nd International Conference on B, Lecture Notes in Computer Science, Springer Verlag, pages 182-197, 1998.
11. H. Treharne, S. Schneider, Using a Process Algebra to Control B Operations, IFM’99, Springer-Verlag, 1999.