A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net

Time-triggered (TT) network provides a low-cost service to meet the strong demand of modern industry networks for real-time communication. Both simulation and reachability analysis provide effective research methods for TT networks. This article presents a verification framework for the TT network b...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on computer-aided design of integrated circuits and systems 2024-07, Vol.43 (7), p.2112-2125
Hauptverfasser:	Zhong, Wenjie, Zhou, Jian-tao, Sun, Tao, Song, Xiaoyu, Li, Zonghui
Format:	Artikel
Sprache:	eng
Schlagworte:	Aerospace electronics Analytical models Automatic modeling Biological system modeling Color message transmission Messages Modelling Networks Petri nets Reachability analysis Real time Real-time systems systematic analysis time-triggered (TT) network timed colored Petri nets (TCPNs) Verification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!