Modelling coordinated atomic actions in timed CSP

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

Volumn 1926, Issue , 2000, Pages 228-239

  Veloudis, Simeon ^a   Nissanke, Nimal ^b  

^a UNIVERSITY OF READING   (United Kingdom)

^b LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

Author keywords

CA actions; Real time systems; Safety critical systems; Timed CSP

Indexed keywords

CONSTRUCTION EQUIPMENT; COORDINATION REACTIONS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SAFETY ENGINEERING; SECURITY SYSTEMS;

ATOMIC ACTIONS; COMPLEX ACTIVITY; FORMAL FRAMEWORK; FORMAL REPRESENTATIONS; HIERARCHICAL APPROACH; REAL TIME; SAFETY CRITICAL SYSTEMS; TIMED CSP;

REAL TIME SYSTEMS;

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

References (17)

1. J. Davies. Specification and Proof in Real-Time CSP. Distinguished Dissertations in Computer Science. Cambridge University Press, 1993.
2. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
3. M. Koutney and G. Pappalardo. The ERT model of fault-tolerant computing and its application to a formalisation of coordinated atomic actions. Technical Report 636, Department of Computing Science, University of Newcastle upon Tyne, 1998.
4. Z. Liu and M. Joseph. Transformation of programs for fault-tolerance. Formal Aspects of Computing, 4(5):442-469, 1992.
5. N. Nissanke, J. Pascoe, and A. E. Abdallah. Csp in safety critical systems design. Technical report, University of Reading Department of Computer Science, 1999.
6. B. Randell. System structure for software fault tolerance. IEEE Trans. on Software Engineering, 1(2):220-232, June 1975.
7. B. Randell, A. Romanovsky, R.J. Stroud, J. Xu, A.F. Zorzo, Schwier D., and F. von Henke. Coordinated atomic actions: Formal model, case study and system implementation. Technical Report 628, Department of Computing Science, University of Newcastle upon Tyne, 1998.
8. A. Romanovsky, J. Xu, and B. Randell. Exception handling in object-oriented real-time distributed systems. Technical Report 624, Department of Computing Science, University of Newcastle upon Tyne, 1998.
9. S. Schneider. Concurrent and Real-time Systems, The CSP Approach. Worldwide Series in Computer Science by David Barron and Peter Wegner. John Wiley & Sons, 2000.
10. S. Veloudis and N. Nissanke. A formal framework for modelling interactions within a safety-critical system. Technical Report RUCS/2000/TR/002/B, University of Reading Department of Computer Science, 2000.
11. S. Veloudis and N. Nissanke. Modelling abstract items of equipment - a formal framework. Technical Report RUCS/2000/TR/001/A (submitted for publication), University of Reading Department of Computer Science, 2000.
12. S. Veloudis and N. Nissanke. Reasoning about safety in critical systems. Technical Report (to appear), University of Reading Department of Computer Science, 2000.
13. J. Woodcock and J. Davies. Using Z - Specification, Refinement and Proof. Prentice Hall Series in Computer Science by Tony Hoare and Richard Bird. Prentice Hall, 1996.
14. J. Xu, B. Randell, A. Romanovsky, C.M.F. Rubira, R.J. Stroud, and Z. Wu. Fault tolerance in concurrent object-oriented software through coordinated error recovery. Technical Report 507, Department of Computing Science, University of Newcastle upon Tyne, 1995.
15. J. Xu, A. Romanovsky, R.J. Stroud, and A.F. Zorzo. Rigorous development of a safety-critical system based on coordinated atomic actions. Technical Report 662, Department of Computing Science, University of Newcastle upon Tyne, 1999.
16. A.F. Zorzo. A production cell controlled by dependable multiparty interactions. Technical Report 667, Department of Computing Science, University of Newcastle upon Tyne, 1999.
17. A.F. Zorzo, A. Romanovsky, J. Xu, B. Randell, R.J. Stroud, and I.S. Welch. Using coordinated atomic actions to design dependable distributed object systems. Technical Report 619, Department of Computing Science, University of Newcastle upon Tyne, 1998.