Performance Analysis of Industrial Ethernet Networks by Means of Timed Model-Checking

Daniel Witsch, Birgit Vogel-Heuser, Jean Marc Faure, Gaëlle Marsal

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Scopus citations


Ethernet networks are promising for the harmonization of the communication technologies in manufacturing automation but they have not been specifically intended for industrial control applications. Thus, investigations have become necessary to evaluate their performance. Most analysis approaches use probabilistic models to validate the system's behavior. This chapter presents common modeling techniques for the timed model-checker Uppaal that can be used in order to cope with the state-space-explosion problem. A new modeling technique was introduced and validated by means of different benchmarks. These modeling techniques were applied within a case-study, where the real-time capability of an industrial Ethernet network (OpenModbus) with client-server communication (IO-Scanning) was analyzed. The chapter presents Uppaal automata of model components and discusses their implemented real-time behavior. © 2006

Original languageEnglish
Title of host publicationInformation Control Problems in Manufacturing 2006
PublisherElsevier Ltd
Number of pages6
ISBN (Print)9780080446547
StatePublished - 2006
Externally publishedYes


Dive into the research topics of 'Performance Analysis of Industrial Ethernet Networks by Means of Timed Model-Checking'. Together they form a unique fingerprint.

Cite this