This document provides a logical design specification for a simple elevator to support research into cyber-physical system security.
Elevator Logical Design Specification v1.0
Download Resources
This document describes the static structure and dynamic behavior of the software control aspects of an elevator. The description is intended to be useful for anyone trying to build such an elevator. The document also shows the log messages generated by the components of the elevator as it operates. A separate Monitoring and Analysis Dashboard (MonAD) tool displays these log messages for further analysis and debugging.
MITRE built this elevator model (and a corresponding physical prototype) in 2018. This publication makes available a shared, simple—yet complex enough—platform that cyber-physical security researchers can use to advance their research envelope.