Deriving real-time programs from duration calculus specifications

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

Volumn 2144, Issue , 2001, Pages 92-97

  Siewe, François ^a   van Hung, Dang ^b  

^a UNIVERSITY OF DSCHANG   (Cameroon)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

Concurrency; Continuous specification; Discrete design; Hoare triples; Real time program; Shared variables

Indexed keywords

CALCULATIONS; CONCURRENCY CONTROL; FORMAL LOGIC; FORMAL SPECIFICATION; INTERACTIVE COMPUTER SYSTEMS;

CONCURRENCY; CONTROL PROGRAM; DISCRETE STATE; DISCRETIZATIONS; DURATION CALCULUS; HOARE TRIPLES; REAL TIME PROGRAMS; SHARED VARIABLES;

REAL TIME SYSTEMS;

EID: 35248873579     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44798-9_7     Document Type: Conference Paper

References (9)

1. M. Fränzle. Synthesizing Controllers from Duration Calculus Specifications. Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRFT’96), LNCS 1135, Springer-Verlag, 1996.
2. Jozef Hooman. Extending Hoare Logic to Real-Time. Formal Aspects of Computing, 6A:801-825, 1994.
3. Dang Van Hung and Dimitar P. Guelev. Completeness of a fragment of Duration Calculus with Iteration. Proceedings of Asian Computing Science Conference (ASIAN’99), LNCS 1742, Springer-Verlag, 1999, pp. 139–150.
4. Paritosh K. Pandya and Dang Van Hung. Duration Calculus with Weakly Monotonic Time. Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486, pp. 55–64, Springer-Verlag, 1998.
5. Paritosh K. Pandya, Wang Hanpin, and Xu Qiwen. Towards a Theory of Sequential Hybrid Programs. Proceedings of the International Conference on Programming Concepts and Methods (PROCOMET’98), Chapman & Hall, 1998, pp. 366-384.
6. François Siewe and Dang Van Hung. From continuous specification to discrete design. Proceedings of the International Conference on Software: Theory and Practice (ICS2000), Yulin Feng, David Notkin and Marie-Claude Gaudel (eds), Beijing, August 21-24, 2000, pp. 407-414.
7. François Siewe and Dang Van Hung. Deriving Real-time Programs from Duration Calculus Specifications. Technical Report 222, UNU/IIST, P.O. Box 3058, Macau, December 2000.
8. Xu Qiwen and Mohalik Swarup. Compositional Reasoning using Assumption-Commitment Paradigm. Technical Report 136, UNU/IIST, P.O. Box 3058, Macau, February 1998.
9. Zhou Chaochen, C.A.R. Hoare, and Anders P. Ravn. A calculus of duration. Information Processing Letters, 40(5):269–276, 1991.