Extended RTL in the specification and verification of an industrial press

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

Volumn 1066, Issue , 1996, Pages 114-125

  de Lemos, Rogério ^a   Hall, Jon G ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; PRESSES (MACHINE TOOLS); RECONFIGURABLE HARDWARE; TIME DOMAIN ANALYSIS;

ABSOLUTE TIMING; FIRST ORDER LOGIC; MODELLING AND ANALYSIS; REAL-TIME LOGIC; SPECIFICATION AND VERIFICATION; SYSTEM VARIABLES; TIME DOMAIN;

REAL TIME SYSTEMS;

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

References (11)

1. T. Anderson, R. de Lemos, J. Fitzgerald and A. Saeed. "On Formal Support for Industrial-Scale Requirements Analysis". Hybrid Systems. Eds. R. L. Grossman et al. Lectures Notes in Computer Science 736. Springer-Verlag. 1993. pp. 426-451.
2. P. J. Antsaklis, J. A. Stiver, M. Lemmon. "Hybrid System Modelling and Autonomous Control Systems". Hybrid Systems. Eds. R. L. Grossman et al. Lectures Notes in Computer Science 736. Springer-Verlag. 1993. pp. 367-392.
3. R. de Lemos, A. Saeed, T. Anderson. " Analysing Safety Requirements for Process-Control Systems". IEEE Software 12. 1995. pp. 42-53.
4. R. de Lemos, A. Saeed, T. Anderson. "Formal Techniques for Requirements Analysis for Safety-Critical Systems". Mathematics of Dependable Systems. C. Mitchell and V. Stavridou (Eds.). Oxford University Press. 1995. pp. 63-95.
5. R. de Lemos, J. Hall. "ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems". Department of Computing Science Technical Report Series. University of Newcastle upon Tyne, UK. (also presented at the 2nd European Workshop on Real-Time and Hybrid Systems. May/June 1995. Grenoble, France.)
6. R. de Lemos, J. Hall. "Extended RTL in the Specification and Verification of an Industrial Press". Department of Computer Science Technical Report Series. University of York, UK.
7. K. L. Heninger, J. Kallander, D. L. Pamas and J. E. Shore. "Software Requirements for the A-7E Aircraft". NRL Memorandum Report 3876. November 1978.
8. K. L. Heninger. "Specifying Software Requirements for Complex Systems: New Techniques and their Applications". IEEE Transactions on Software Engineering Vol. SE-6 (1). January 1980. pp 2-13.
9. F. Jahanian, A. K. Mok. "Safety Analysis of Timing Properties in Real-Time Systems". IEEE Transactions on Software Engineering Vol. SE-12 (9). September 1986. pp 890-904.
10. F. Jahanian, A. K. Mok, D. A. Stuart. "Formal Specifications of Real-Time Systems". Department of Computer Science TR-88-25. University of Texas at Austin, TX. June 1988.
11. J. Raisch, S. O’Young. "A DES Approach to Control of Hybrid Dynamical Systems". Proceedings of the Workshop on Verification and Control of Hybrid Systems. New Brunswick, NJ. 1995. (In this volume.)