On denotational semantics of spatial-temporal consistency language - STeC

Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013

Volumn , Issue , 2013, Pages 113-120

  Wu, Hengyang ^a   Chen, Yixiang ^b   Zhang, Min ^b  

^a HANGZHOU DIANZI UNIVERSITY   (China)

^b EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Cyber Physical Systems; Formal Semantics; Spatial Temporal Consistency; Specification Language

Indexed keywords

CYBER PHYSICAL SYSTEMS (CPSS); DENOTATIONAL SEMANTICS; FORMAL SEMANTICS; HIGH SPEED TRAINS; OPERATIONAL SEMANTICS; SOUNDNESS AND COMPLETENESS; SPATIAL-TEMPORAL CONSISTENCY; TEMPORAL CONSISTENCY;

SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

EMBEDDED SYSTEMS;

EID: 84886446743     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2013.16     Document Type: Conference Paper

References (14)

1. Yixiang Chen. STeC: A location-triggered specification language for real-time systems, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp. 1-6, 2012. DOI 10.1109/ISORCW.2012.11
2. Yanwen Chen, Yixiang Chen and Eric Madelaine. Timed-pNets: A formal communication behavior model for real-time CPS system. Trustworthy Cyber-Physical System in The Newcastle Connection Conference, Newcastle upon Tyne, UK, 2012
3. J. Davies and S. A. Schneider. A brief history of timed CSP. Theoretical Computer Science 138(2): 243-271, 1995.
4. C. Heitmeyer and D. Mandrioli. Formal methods for real-time computing. Number 5 in Trends in Software. John Wiley & Sons, 1996.
5. Jifeng He. From CSP to hybrid systems. In: The Proc. of A Classical Mind: Essays in Honour of C. A. R. Hoare. International Series In Computer Science, pp. 171-189. Prentice-Hall, Englewood Cliffs 1994.
6. Mathew Hennessy and Tim. Regan. A process algebra for timed systems. Information and Computation 117: 221-239, 1995.
7. Jean-Marie Jacquet and Isabelle Linden. Fully abstract models and refinements as tools to compare agents in timed coordination languages. Theoretical Computer Science 410: 221-253, 2009.
8. Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, and Liang Zou. A calculus for hybrid CSP. K. Ueda (Ed.): APLAS 2010, LNCS 6461: 1-15, 2010.
9. William Rounds and Hosung Song. The-Calculus: A language for distributed control of reconfigurable embedded systems. O. Maler and A. Pnueli (Eds.): HSCC 2003, LNCS 2623: 435-449, 2003.
10. Joël Ouaknine and Steve Schneider. Timed CSP: A retrospective, Electronic Notes in Theoretical Computer Science 162: 273-276, 2006.
11. G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In Proceedings of the Thirteenth International Colloquium on Automata, Languages, and Programming (ICALP 86), pages 314-323. Springer LNCS, 1986. Theoretical Computer Science 58(1-3): 249-261, 1988.
12. Steve Schneider. An operational semantics for timed CSP, Information and Computation 116: 193-213, 1995.
13. Yi Wang. CCS+Time=an Interleaving Model for Real-Time Systems. LNCS 510: 217-228, 1991.
14. Chaochen Zhou, Ji Wang and A. Ravn. A formal description of hybrid systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 511-530. Springer, Heidelberg (1996).