Timed automata semantics of spatial-temporal consistency language STeC

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

Volumn , Issue , 2014, Pages 201-208

  Zhang, Yuanrui ^a,b   Mallet, Frederic ^b   Chen, Yixiang ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

^b UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; EMBEDDED SYSTEMS; HIGH LEVEL LANGUAGES; INTELLIGENT SYSTEMS; INTELLIGENT VEHICLE HIGHWAY SYSTEMS; MODELING LANGUAGES; ROBOTS; SAFETY ENGINEERING; SEMANTICS; SOFTWARE ENGINEERING;

EXPRESSIVE POWER; FORMAL MODELING LANGUAGE; INTELLIGENT TRANSPORTATION SYSTEMS; PROCESS ALGEBRAS; SAFETY-CRITICAL EMBEDDED SYSTEMS; SPATIAL-TEMPORAL CONSISTENCY; TEMPORAL PROPERTY; VERIFICATION TECHNIQUES;

TELLURIUM COMPOUNDS;

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

References (20)

1. C.A.R Hoare. Communicating Sequential Processes. Communications of ACM, Volume 21 No. 8, 1978.
2. Robin Milner. A Calculus of Communicating Systems. Computer Science, Vol.92, 1986.
3. Steve Schneider. An Operational Semantics for Timed CSP. Information and Computation, 116:193-213, 1995.
4. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
5. Regis Gascon, Frederic Mallet, Julien DeAntoni. Logical time and temporal logics: comparing UML MARTE/CCSL and PSL. Temporal Representation and Reasoning (TIME), pp 141-148, 2011.
6. Yixiang Chen. STeC: A Location-Triggered Specification Language For Real-Time Systems. Science China, Vol.53, No.1-18, 2010.
7. Hengyang Wu, Yixiang Chen and Min Zhang On Denotational Semantics of Spatial-Temporal Consistency Language STeC. International Symposium on Theoretical Aspects of Software Engineering, pages 113-120, 2013.
8. Stefano Cattani and Marta Kwiatkowska. A Refinement-based Process Algebra for Timed Automata. Under consideration for publication in Formal Aspects of Computing, 17(2), pages 138-159, Springer. August 2005.
9. 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.
10. Charles Andre, Frederic Mallet. Clock Constraints in UML/MARTE CCSL. Research Report of Research Unit of INRIA Sophia Antipolis, 2008.
11. OMG. UML Profile for MARTE, v1.0. Object Management Group, 2009.
12. Charles Andre. Syntax and Semantics of the Clock Constraint Specification Language(CCSL). Research Report of Research Unit of INRIA Sophia Antipolis, 2009.
13. Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet and Paul Pettersson. Verifying MARTE/CCSL Mode Behaviors using UPPAAL. 11th International Conference on Software Engineering and Formal Methods, Volume 8137, pp 1-15, 2013.
14. Frederic Mallet, Jean-Vivien Millo, Yuliia Romenska. State-based representation of CCSL operators. Research Report of Project-Team Aoste of INRIA Sophia Antipolis, 2013.
15. Frederic Mallet. Logical Time in Model-Driven Engineering. University of Sophia Antipolis, 2010.
16. Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych. Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems.
17. Rajeev Alur, David Dill. Automata-theoretic Verification of Real-time Systems. 1995.
18. Joel Ouaknine, Steve Schneider. Timed CSP:A Retrospective. Electronic Notes in Theoretical Computer Science, 162 (2006) 273-276.
19. A.W. Roscoe. A CSP solution to the "trains" problem. Programming Research Group, University of Oxford.
20. Volker Diekert, Paul Gastin. First-order definable languages. Logic and Automata: History and Perspectives, Texts in Logic and Games, 2008.