An operational semantics for timed RAISE

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

Volumn 1709, Issue , 1999, Pages 1008-1027

  Yong, Xia ^a   George, Chris ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; REAL TIME SYSTEMS; SAFETY ENGINEERING; SECURITY SYSTEMS; SEMANTICS; SOFTWARE RELIABILITY; SPECIFICATION LANGUAGES; SPECIFICATIONS;

EQUIVALENCE RELATIONS; OPERATIONAL MODEL; OPERATIONAL SEMANTICS; REAL TIME REQUIREMENT; REAL-TIME APPLICATION; SAFETY CRITICAL SYSTEMS; SOFTWARE SYSTEMS; THEORETICAL FOUNDATIONS;

FORMAL METHODS;

EID: 84949484806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_4     Document Type: Conference Paper

References (20)

1. D. Bolignano, and M. Debabi. RSL: An Integration of Concurrent, Functional and Imperative Paradigms. Technical Report LA-COS/BULL/MD/3/V12.48, 1993.
2. Jim Davies. Specification and Proof in Real-Time CSP. Distinguished Dissertation Series. Cambridge University Press, 1993.
3. M. Debabi. Integration des paradigmes de programmation parallele, fonc-tionnelle et imperative: fondements sémantiques. Ph.D. Thesis (These de Doctorat en Informatique), Université Paris XI, Centre d'Orsay, July 1994.
4. C. J. Fidge Specification and verification of Real-Time Behaviour Using Z and RTL in J. Vytopil (ed.), Proc FME'92, LNCS571 (Springer), 1992.
5. C. J. Fidge, I. J. Hayes and B. P. Mahony, Defining Differentiation and Integration in Z, Technical report 98-09, Software Verification Research Centre, School of Information Technology, The University of Queensland, September 1998.
6. Chris George and Xia Yong An Operational Semantics for Timed RAISE Technical Report No. 149, United Nations University/International Institute for Software Technology, November 1998.
7. M. Hennessy and A. Ingélfsdéttir. Communicating Process with Value-passing and Assignments.In Formal Aspects of Computing, 1993.
8. Anne Haxthausen and Xia Yong A RAISE Specification Framework and Justification Assistant for the Duration Calculus.In ESSLLI-98 Workshop on Duration Calculus, August 1998.
9. Anne Haxthausen and Xia Yong. Linking DC together with TRSL. Re-search Report, Department of Information Technology, Technical University of Denmark, April 1999.
10. Li Li and He Jifeng Towards a Denotational Semantics of Timed RSL using Duration Calculus Technical Report No. 161, United Nations University/International Institute for Software Technology, April 1999.
11. Z. Manna and A. Pnueli. Models ofreactivity. In Acta Informatica. 30(7), 609-678, Springer-Verlag, 1993.
12. Anders P. Ravn. Design ofEmbedded Real Time Computing Systems.PhD thesis, Department of Computer Science, Technical University of Denmark, Denmark, September 1994.
13. The RAISE Language Group. The RAISE Specification Language.The BCS Practitioners Series. Prentice Hall Int., 1992.
14. The RAISE Method Group. The RAISE Development Method.TheBCS Practitioners Series. Prentice Hall Int., 1995.
15. Paritosh K. Pandya and Dang Van Hung. Duration Calculus of weakly monotonic time. Technical Report No. 122, United Nations University/International Institute for Software Technology, September 1997.
16. Jifeng He, C.A.R. Hoare, Markus Muller-Olm, Ernst-Rudiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, and Hans Rischel. The ProCoS Approach to the Design of Real-Time Systems: Linking Different Formalisms. In Formal Methods Europe 96, Oxford, UK, March 1996. Tutorial Material.
17. Qiu Zhongyan and Zhou Chaochen A Combination of Interval Logic and Linear Temporal Logic Technical Report No. 123, United Nations University/International Institute for Software Technology, September 1997.
18. Wang Yi. ACalculus of Real TimeSystems. PhD thesis, Department of Computer Sciences, Chalmers University of Technology, Goterborg, Sweden, 1991
19. Zhou Chaochen and Michael R. Hansen. Chopping a point. In J. F. He et al (Eds.), BCS-FACS 7th Refinement Workshop, Electronic Workshops in Computing, Springer-Verlag, 1996.
20. Zhou Chaochen, C.A.R. Hoare and A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269-276, 1991. Revised June 3, 1992.