Specification of embedded, real-time systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1992, Pages 116-121

  Skakkebæk, Jens U ^a   Ravn, Anders P ^a   Rischel, Hans ^a   Zhou, Chaochen ^a,b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SPECIFIC; COMPONENT SPECIFICATION; INTERVAL TEMPORAL LOGIC; REAL TIME; REQUIREMENTS SPECIFICATIONS;

DESIGN; MATHEMATICAL MODELS; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 84884599180     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRT.1992.637481     Document Type: Conference Paper

References (15)

1. Dines Bjørner: A ProCoS Project Description, ESPRIT BRA 3104, EATCS Bull., No 39, October 1989.
2. Zhou Chaochen, C.A.R. Hoare, A.P. Ravn: A Calculus of Durations, Information Processing Letters, 40(5), 1992.
3. Zhou Chaochen, Michael R. Hansen, A. P. Ravn: Duration Specifications for Shared Processors. In: Proceedings of Symposium on Formal Techniques in Real-time and Fault Tolerant Systems, Nijmegen, January 6-10, 1992. (To appear in the LNCS series.)
4. A.M. Davis and P.A. Freeman: Guest Editors' Introduction: Requirements Engineering, IEEE Trans. Software Eng., 17, March 1991, p. 210-211.
5. John Dawes: The VDM-SL reference guide, Pitmann, 1991.
6. A.G. Hamilton: Logic for Mathematicians, Cambridge University Press, Revised Edition, 1988.
7. M. R. Hansen, Zhou Chaochen and Jørgen Staunstrup: A Real- Time Duration Semantics for Circuits. ProCoS Rep. ID/DTH MRH 7/1, September 1991.
8. Zhiming Liu: A Probabilistic Duration Calculus. Working Paper, Department of Computer Science, Technical University of Denmark, December 1991.
9. Ben Moszkowski: A Temporal Logic for Multilevel Reasoning about Hardware, IEEE Computer, vol. 18, no. 2, 1985, pp. 10-19.
10. J. Nordahl: Requirements Specification for a Railway Level Crossing, ProCoS Note ID/DTH JNO 2, Feb. 1990.
11. K.M. Wansen, A.P. Ravn, H. Rischel: Specifying and Verifying Requirements of Real-Time Systems, Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems, New Orleans, December 4-6, 1991, ACM Software Engineering Notes, vol. 15, no. 5, pp. 44-54, 1991.
12. David G. Luenberger: Introduction to Dynamic Systems. Theory, Models & Applications, Wiley, 1979.
13. A.P. Ravn, H. Rischel and V. Stavridou: Provably Correct Safety Critical Software, in Proceedings of IFAC SafeComp'90, London, England, Oct. 1990.
14. A.P. Ravn, H. Rischel: Requirements Capture for Embedded Read-Time Systems, Proceedings of IMACS-MCTS Symp., Villeneuve-d'Asq, France, May 1991, Vol. 2, p. 147-152.
15. J. U. Skakkebæk: Development of Provably Correct Systems, Master's thesis, Dept. of Computer Science, Technical University of Denmark, 1991.