ERTL: An extension to RTL for the specification, analysis and verification of hybrid systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1996, Pages 3-8

  Hall, J G ^a   De Lemos, R ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSOLUTE TIMING; ANALYSIS AND VERIFICATIONS; COMPUTATIONAL TASK; COMPUTING SYSTEM; CONTINUOUS VARIABLES; DISCRETE EVENT DYNAMICS; FORMAL NOTATIONS; MODELLING AND ANALYSIS;

COMPUTATIONAL METHODS; HYBRID SYSTEMS;

REAL TIME SYSTEMS;

EID: 84884606657     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1996.557781     Document Type: Conference Paper

References (8)

1. T. Anderson, R. de Lemos, J. Fitzgerald, and A. Saeed. On formal support for industrial-scale requirements analysis. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 426-451. Springer-Verlag, 1993.
2. M. Barbacci and J. Wing. Specifying functional and timing behaviour for real-time applications. In J. W. de Bakker, A. J. Nijman, and P. C. Treleaven, editors, Proceedings PARLE Conference, Eindhoven, volume 259(II) of Lecture Notes in Computer Science. Springer-Verlag, 1987.
3. R. de Lemos and J. Hall. ERTL: An extension to RTL for requirements analysis for hybrid systems. Technical report, Department of Computing Science, University of Newcastle upon Tyne, UK., 1995.
4. K. L. Heninger. Specifying software requirements for complex systems: New techniques and their applications. IEEE Transactions on Software Engineering, SE-6(1):2-13, January 1980.
5. K. L. Heninger, J. Kallander, D. L. Parnas, and J. E. Shore. Software requirements for the A-7E Aircraft. Technical Report 3876, NRL, November 1978.
6. F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE-12(9):890-904, September 1986.
7. F. Jahanian, A. K. Mok, and D. A. Stuart. Formal specifications of real-time systems. Technical Report TR-88-25, Department of Computer Science, University of Texas at Austin, Texas, June 1988.
8. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, volume 600 of Lecture Notes in Computer Science, pages 447-484. Springer-Verlag, 1992.