There is a newer version of the record available.

Published March 9, 2018 | Version v3
Dataset Open

Detection of a Timing Channel in an UPPAAL Model of a Cyber-Manufacturing System

Authors/Creators

  • 1. Paderborn University
  • 2. Fraunhofer IEM
  • 3. Paderborn University & Fraunhofer IEM

Description

Model of a cyber-manufacturing system for the UPPAAL model checker, including a mitigation of a timing channel.

Files

ManufacturingSystem.xml

Files (27.5 kB)

Name Size
md5:8bb67286c3ef2b8817f3897af6a5471c
101 Bytes Download
md5:e47056eeba1944f6430227840cb9bc8d
27.4 kB Preview Download

Additional details

Subjects

UPPAAL
http://uppaal.org