There is a newer version of the record available.

Published May 4, 2018 | Version v9
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.zip

Files (2.3 MB)

Name Size Download all
md5:48c5bfd65d1202c49f496ea5920389b0
2.3 MB Preview Download

Additional details

Subjects

UPPAAL
http://uppaal.org