期刊文献+

Timed-pNets: a communication behavioural semantic model for distributed systems 被引量:1

Timed-pNets: a communication behavioural semantic model for distributed systems
原文传递
导出
摘要 This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous communications. Since each node of such system has its own physical clock, it brings the challenges of correctly specifying the system time constraints. Based on the logical clocks proposed by Lamport, and CCSL proposed by Aoste team in INRIA, as well as pNets from Oasis team in INRIA, we develop timed-pNets to model communication behaviours for distributed systems. Timed-pNets are tree style hierarchical structures. Each node is associated with a timed specification which consists of a set of logical clocks and some relations on clocks. The leaves are represented by timed-pLTSs. Non-leaf nodes (called timed-pNets nodes) are synchronisation devices that synchronize the behaviours of subnets (these subnets can be leaves or non-leaf nodes). Both timed-pLTSs and timed-pNets nodes can be translated to timed specifications. All these notions and methods are illustrated on a simple use-case of car insertion from the area of intelligent transportation systems (ITS). In the end the TimeSquare tool is used to simulate and check the validity of our model. This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous communications. Since each node of such system has its own physical clock, it brings the challenges of correctly specifying the system time constraints. Based on the logical clocks proposed by Lamport, and CCSL proposed by Aoste team in INRIA, as well as pNets from Oasis team in INRIA, we develop timed-pNets to model communication behaviours for distributed systems. Timed-pNets are tree style hierarchical structures. Each node is associated with a timed specification which consists of a set of logical clocks and some relations on clocks. The leaves are represented by timed-pLTSs. Non-leaf nodes (called timed-pNets nodes) are synchronisation devices that synchronize the behaviours of subnets (these subnets can be leaves or non-leaf nodes). Both timed-pLTSs and timed-pNets nodes can be translated to timed specifications. All these notions and methods are illustrated on a simple use-case of car insertion from the area of intelligent transportation systems (ITS). In the end the TimeSquare tool is used to simulate and check the validity of our model.
出处 《Frontiers of Computer Science》 SCIE EI CSCD 2015年第1期87-110,共24页 中国计算机科学前沿(英文版)
基金 This work was partially funded by the INRIA Associated Team DAESD between INRIA and ECNU by the National Basic Research Program of China (973 Program) (2011CB302802) by the National Natural Science Foundation of China (Grant Nos. 61321064 and 61370100) by Shanghai Knowledge Service Platform Project (ZF1213). We give great thanks to Frederic Mallet and Jalien Deantoni who took time to discuss with us and gave us bunches of advices. We are also indebted to the anonymous referees for their suggested improvements.
关键词 ITS logical time formal method timed specification synchronous and asynchronous communication ITS, logical time, formal method, timed specification, synchronous and asynchronous communication
  • 相关文献

参考文献29

  • 1Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7): 558-565.
  • 2Fidge C. Logical time in distributed computing systems. Computer, 1991, 24(8): 28-33.
  • 3Berry G. The foundations of esterel. In: Proceedings of Proof, Lan- guage, and Interaction. 2000, 425-454.
  • 4Benveniste A, Le Guernic P, Jacquemot C. Synchronous programming with events and relations: the signal language and its semantics. Sci- ence of computer programming, 1991, 16(2): 103-149.
  • 5Boussinot F, De Simone R. The Esterel language. Proceedings of the IEEE, 1991, 79(9): 1293-1304.
  • 6Andr6 C. Syntax and Semantics of the Clock Constraint Specifica- tion Language (CCSL). Research Report RR-6925, INRIA, 2009 (in French).
  • 7Barros T, Boulifa R, Cansado A, Henrio L, Madelaine E. Behavioural models for distributed Fractal components. Annals of Telecommunica- tions, 2009, 64(1-2): 25-43.
  • 8Arnold A, Plaice J. Finite Transition Systems: Semantics of Commu- nicating Systems. Prentice Hall International (UK) Ltd., 1994.
  • 9Ameur-Boulifa R, Henrio L, Madelaine E, Savu A. Behavioural Se- mantics for Asynchronous Components. Research Report RR-8167, INRIA, 2012 (in French).
  • 10Chen Y, Chen Y, Madelaine E. Timed-pNets: a formal communication behavior model for real-time CPS systems. In: Proceedings of Work- shop on Trustworthy Cyber Physical Systems. 2012.

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部