STeC: A location-triggered specification language for real-time systems

Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2012

Volumn , Issue , 2012, Pages 1-6

  Chen, Yixiang ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Cyber Physical Systems; Internet of Things; Location Triggered Real Time Systems; Operational Semantics; Specification Language

Indexed keywords

CYBER PHYSICAL SYSTEMS (CPSS); DIJKSTRA; INTERNET OF THINGS (IOT); NONDETERMINISTIC CHOICE; OPERATIONAL SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; INFORMATION TECHNOLOGY; INTERNET; SPECIFICATION LANGUAGES;

REAL TIME SYSTEMS;

EID: 84861525116     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORCW.2012.11     Document Type: Conference Paper

References (26)

1. Parosh Aziz Abdulla, Pavek Krcal and Yi Wang, Sampled semantics of times automata. Logical Methods in Computer Science Vol. 6 (3:14): 1-37, 2010.
2. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
3. Myla Archer, Constance Heitmeyer, Mechanical verification of timed automata: a case study. In Proceedings of Real-Time Technology and Applications Symposium, pp 192-203, 1996.
4. Danièle Beauquier and Anatol Slissenko, The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages, LNCS 1214:201-212, 1997.
5. J. C. M. Baeten and J. A. Bergstra. Real time process algebra. Formal Aspects of Computing, 3:142-188, 1991.
6. Danièle Beauquier, Anatol Slissenko, The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model-Checking in High-Level Languages, in M. Bidoit and M. Dauchet, eds., "Proceedings of TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE", Springer Lecture Notes in Computer Science 1214, pp202-212, 1997.
7. J. Davies, S.A. Schneider, A brief history of times CSP. Theoretical Computer Science, 138(2): 243-271, 1995.
8. Y. X. Chen, H.Y. Wu, Domain semantics of possibility computations, Information Sciences 178: 2661-2679, 2008.
9. Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog1, Jun Pang, André Platzer1, Marc Segelken, and BorisWirtz, Automating Verification of Cooperation, Control, and Design in Traffic Applications, LNCS 4700, pp115-169, 2007.
10. Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi, Schedulability analysis of fixed-priority systems using timed automata. Theoretical Computer Science 354: 301-317, 2006.
11. He, J.: 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. 171C189. Prentice-Hall, Englewood Cliffs 1994.
12. C. Heitmeyer and D. Mandrioli, editors. Formal Meth-ods for Real-Time Computing. Number 5 in Trends in Software. John Wiley & Sons, 1996.
13. Thomas A. Henzinger, Benjamin Horowitz, and Christoph Meyer Kirsch, Giotto: A Time-Triggered Language for Embedded Programming.T.A. Henzinger and C.M. Kirsch (Eds.): EMSOFT 2001, LNCS 2211, pp. 166C184, 2001.
14. C. Heitmeyer and N. Lynch. The Generalized Railroad Crossing: A case study in formal verification of realtime systems. In Proc., Real-Time Systems Symposium.,pp:120-131, San Juan, Puerto Rico, December 1994.
15. Mathew Hennessy and Tim. Regan. A Process Algebra fo Timed Systems. Information and Computation 117: 221-239, 1995.
16. Jean-Marie Jacquet, Isabelle Linden. Fully abstract models and refinements as tools to compare agents in timed coordination languages. Theoretical Computer Science 410: 221-253,2009
17. Karl Lermer, Colin F. Fidge, Ian J. Hayes, A Theory for execution-time derivation in real-time programs. Theoretical Computer Science 346: 3-27,2005.
18. 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, pp 1C15, 2010.
19. Sheikh Shanawaz Mostafa, Md. Mahbub Hossian, Khondker Jahid Reza, Gazi Maniur Rashid, A Radio Based Intelligent Railway Grade Crossing System to Avoid Collision, International Journal of Computer Science Issues, 7(6): 139-143, 2010.
20. 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, pp435C449, 2003.
21. Joël Ouaknine,Steve Schneider. Timed CSP: A Retrospective, Electronic Notes in Theoretical Computer Science 162: 273C276, 2006.
22. 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.
23. G. M. Reed and A. W. Roscoe. The timed failures-stability model for CSP. Theoretical Computer Science, 211:85-127, 1999.
24. A. W. Roscoe, A CSP solution to the "trains" problem, Proceeding of The Analysis of Concurrent Systems, Editors: B. Tim Denvir W. T. Harwood M. I. Jackson M. J. Wray, pp:384-388, Springer-Verlag London, UK 1985
25. Steve Schneider, An Operational Semantics for Timed CSP, Information and Computation 116: 193-213, 1995.
26. Yi Wang, CCS+Time= an Interleaving Model for Real-Time Systems. LNCS 510:217-228, 1991.