A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2024.3355708
Abstract: 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… read more here.
Keywords: time; verification framework; colored petri; time triggered ... See more keywords