| Title |
Verification of the FAIR Control System Using Deterministic Network Calculus |
| Authors |
- M. Schütze, S. Bondorf
DISCO, Kaiserslautern, Germany
- M. Kreider
GSI, Darmstadt, Germany
- M. Kreider
Glyndŵr University, Wrexham, United Kingdom
|
| Abstract |
The FAIR control system (CS) is an alarm-based design and employs White Rabbit time synchronization over a GbE network to issue commands executed accurate to 1 ns. In such a network based CS, graphs of possible machine command sequences are specified in advance by physics frameworks. The actual traffic pattern, however, is determined at runtime, depending on interlocks and beam requests from experiments and accelerators. In 'unlucky' combinations, large packet bursts can delay commands beyond their deadline, potentially causing emergency shutdowns. Thus, prior verification if any possible combination of given command sequences can be delivered on time is vital to guarantee deterministic behavior of the CS. Deterministic network calculus (DNC) can derive upper bounds on message delivery latencies. This paper presents an approach for calculating worst-case descriptors of runtime traffic patterns. These so-called arrival curves are deduced from specified partial traffic sequences and are used to calculate end-to-end traffic properties. With the arrival curves and a DNC model of the FAIR CS network, a worst-case latency for specific packet flows or the whole CS can be obtained.
|
| Funding |
Carl Zeiss Foundation |
| Paper |
download TUCPL06.PDF [0.369 MB / 7 pages] |
| Slides |
download TUCPL06_TALK.PDF [0.203 MB] |
| Export |
download ※ BibTeX
※ LaTeX
※ Text/Word
※ RIS
※ EndNote |
| Conference |
ICALEPCS2017, Barcelona, Spain |
| Series |
International Conference on Accelerator and Large Experimental Control Systems (16th) |
| Proceedings |
Link to full ICALEPCS2017 Proccedings |
| Session |
Timing and Synchronization |
| Date |
10-Oct-17 14:00–15:30 |
| Main Classification |
Timing and Synchronization |
| Keywords |
ion, network, controls, operation, timing |
| Publisher |
JACoW, Geneva, Switzerland |
| Editors |
Volker RW Schaa (GSI, Darmstadt, Germany); Isidre Costa (ALBA-CELLS, Cerdanyola del Vallès, Spain); David Fernández (ALBA-CELLS, Cerdanyola del Vallès, Spain); Ãscar Matilla (ALBA-CELLS, Cerdanyola del Vallès, Spain) |
| ISBN |
978-3-95450-193-9 |
| Published |
January 2018 |
| Copyright |
|
