Duration calculus in the specification of safety requirements

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

Volumn 1486, Issue , 1998, Pages 103-112

  Veloudis, S ^a   Nissanke, N ^a  

^a UNIVERSITY OF READING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FAULT TOLERANCE; SPECIFICATIONS;

CRITICAL SYSTEMS; DURATION CALCULUS; EXPLICIT FORM; FUNCTIONAL REQUIREMENT; RAILWAY SIGNALLING; REAL TIME; SAFETY REQUIREMENTS;

REAL TIME SYSTEMS;

EID: 84958617748     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055340     Document Type: Conference Paper

References (9)

1. J. Cullyer and W. Wong. Application of formal methods to railway signalling – a case study. Computing & Control Engineering Journal, Feb 1993.
2. K. M. Hansen. Formalising railway interlocking systems. Technical Report ID/DTH KMH3/1, ProCos II, Department of Computer Science, Technical University of Denmark, DK-2000 Lyngby, Denmark, 1994.
3. M. R. Hansen and Z. Chaochen. Duration calculus: Logical foundations. Formal Aspects of Computing, 9:283-330, 1997.
4. N. G. Leveson and J. L. Stolzy. Safety analysis using Petri nets. IEEE Trans. On Software Engineering, 13(3), 1987.
5. N. Nissanke and N. Robinson. Formal methods in safety analysis. In V. Maggioli, editor, SAFECOMP'94, International Conference on Computer Safety, Reliability and Security, pages 239-248, Anaheim, California, 1994. Instrument Society of America.
6. N. Nissanke. Safety specification in deontic logic. In Proceedings, 2nd IMA Conference on the Mathematics of Dependable Systems, York, England, pages 113-133. Oxford University Press, 1997.
7. Director of S & T Engineering and Director of Operations. Standard Signalling Principles. British Railways Board.
8. A. P. Ravn, H. Rischel, and K. M. Hansen. Specifying and verifying requirements of real-time systems. IEEE Trans. on Software Engineering, 19(1):41-55, 1993.
9. J. U. Shakkebmk, A. Ravn, H. Rischel, and Z. Chaochen. Specification of embedded, real-time systems. In Proceedings, Euromicro Workshop on Real Time Systems, pages 116-121. IEEE Computer Society, June 1992.