Relative time rates in dynamic timed automata

被引：0
作者：
Layadi S. [1 ]
Kitouni I. [1 ]
Belala N. [1 ]
Saïdouni D.-E. [1 ]
机构：
[1] MISC Laboratory, Constantine 2 University, Constantine
来源：
Layadi, Saïd (layadi@misc-umc.org) | 1600年 / Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland卷 / 17期
关键词：
Decidability; Distributed real-time systems; Dynamic timed automata; MANETs; Mobile ad hoc networks; Relative clock speeds;
D O I：
10.1504/IJCNDS.2016.10001615
中图分类号：
学科分类号：
摘要：
The verification of dynamic real-time systems, such as ad-hoc networks and ambient systems needs formal approaches and frameworks enabling tool construction. In this paper, the decidability question is addressed on a class of timed automata, the dynamic timed automata with relative time rates model (rd-TA). We introduce rd-TA as a simple extension of standard timed automata in which any process may spawn new processes. In this model, the distributed timed systems are formed by a set of dynamic timed automata. Each automaton is characterised by a set of local clocks that evolve at different but relative rate of the clocks of the other components. The main contribution is the consideration of slope parameter (which is the ratio of clock rates). This parameter helps us to explore the semantics based on region abstraction for decidability assessment and proof.
引用
收藏
页码：412 / 432
页数：20
相关论文
共 52 条
  • [41] Kumar N., Misra S., Obaidat M.S., Collaborative learning automata-based routing for rescue operations in dense urban regions using vehicular sensor networks, IEEE Systems Journal, 9, 3, pp. 1081-1090, (2015)
  • [42] Kumar N., Misra S., Obaidat M., Rodrigues J., Pati B., Networks of learning automata for the vehicular environment: A performance analysis study, IEEE Wireless Communications, 21, 6, pp. 41-47, (2014)
  • [43] Larsen K.G., Pettersson P., Yi W., Compositional and symbolic model-checking of real-time systems, Proceedings 16th IEEE Real-Time Systems Symposium, pp. 76-87, (1995)
  • [44] Lenzen C., Locher T., Wattenhofer R., Tight bounds for clock synchronization, Journal of the ACM, 57, 2, pp. 1-42, (2010)
  • [45] Misra S., Krishna P.V., Kalaiselvan K., Saritha V., Obaidat M.S., Learning automata-based QoS framework for cloud IaaS, IEEE Transactions on Network and Service Management, 11, 1, pp. 15-24, (2014)
  • [46] Misra S., Krishna P.V., Saritha V., Agarwal H., Ahuja A., Learning automata-based multi-constrained fault-tolerance approach for effective energy management in smart grid communication network, Journal of Network and Computer Applications, 44, pp. 212-219, (2014)
  • [47] Misra S., Krishna P.V., Saritha V., Agrawal H., Vasilakos A.V., Obaidat M.S., Learning automata-based fault-tolerant system for dynamic autonomous unmanned vehicular networks, IEEE Systems Journal, pp. 1-10, (2015)
  • [48] Puri A., Dynamical properties of timed automata, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 210-227, (1998)
  • [49] Rodriguez-Navas G., Proenza J., Using timed automata for modeling distributed systems with clocks: Challenges and solutions, IEEE Transactions on Software Engineering, 39, 6, pp. 857-868, (2013)
  • [50] Sarkar S.K., Basavaraju T.G., Puttamadappa C., Ad Hoc Mobile Wireless Networks: Principles, Protocols, and Applications, (2007)
123456