Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking-Reference-Cited by-同舟云学术

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

Published:2007 Issue: Volume: Page:307-326
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Rodriguez-Navas Guillermo,Proenza Julián,Hansson Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-76650-6_18.pdf

Reference14 articles.

1. ISO: ISO11898. Road vehicles - Interchange of digital information - Controller area network (CAN) for high-speed communication (1993)

2. Rodríguez-Navas, G., Bosch, J., Proenza, J.: Hardware Design of a High-precision and Fault-tolerant Clock Subsystem for CAN Networks. In: FeT 2003, Portugal (2003)

3. Rodríguez-Navas, G., Proenza, J., Hansson, H.: Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network. In: Proc. of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, Catania, Italy (2005)

4. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata? Journal of Computer and System Sciences 57(1), 94–124 (1998)

5. Daws, C., Yovine, S.: Two examples of verification of multirate timed automata with kronos. In: RTSS 1995, Pisa, Italy, pp. 66–75. IEEE Computer Society Press, Los Alamitos (1995)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata;2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2021-10