Published May 11, 2018 | Version v10
Dataset Open

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

Authors/Creators

  • 1. Paderborn University

Description

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

Files

ManufacturingSystem.xml

Files (24.2 kB)

Name Size Download all
md5:29ec5ea41e69c42d9ab1d591ca76ee46
105 Bytes Download
md5:3d9f322be6fb53b8fefa9b8035bd6bd4
11.9 kB Preview Download
md5:29ec5ea41e69c42d9ab1d591ca76ee46
105 Bytes Download
md5:ac38a6b72fb9bd3d33069882fab67db0
12.1 kB Preview Download

Additional details

Subjects

UPPAAL
http://uppaal.org