IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal

14th IEEE International Symposium on Modeling, Analysis, and Simulation

Author(s): F. Hanssen ; A. Mader ; P.G. Jansen
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Monterey, CA, USA, USA
Conference Date: 11 September 2006
Page(s): 239 - 246
ISBN (Paper): 0-7695-2573-3
ISSN (Paper): 1526-7539
DOI: 10.1109/MASCOTS.2006.52
Regular:

RTnet is a distributed real-time network protocol for fully-connected local area networks with a broadcast capability. It supports streaming real-time and non-realtime traffic and on-the-fly... View More

Advertisement