Use of timed automata models in the design of real-time control network elements

Margaret Naughton, Donal Heffernan, Gabriel Leen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The design of network elements for real-time control networks requires careful consideration of the fundamental timing requirements. The use of a timed automata approach for modelling and verifying the timing requirements promises to be beneficial. In this work a case study approach is shown where a model of the packet scheduler component for a network switch element is developed, based on a timed automata method. Using the Uppaal model checker certain properties are verified. The timed behaviour of the model can be assessed, based on clocks incorporated into the timed automata model.

Original languageEnglish
Title of host publication2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA
Pages433-436
Number of pages4
DOIs
Publication statusPublished - 2006
Event2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA - Hamburg, Germany
Duration: 20 Sep 200622 Sep 2006

Publication series

NameIEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Conference

Conference2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA
Country/TerritoryGermany
CityHamburg
Period20/09/0622/09/06

Fingerprint

Dive into the research topics of 'Use of timed automata models in the design of real-time control network elements'. Together they form a unique fingerprint.

Cite this