Elevator Logical Design Specification v1.0

By Suresh Damodaran , Caroline Lee , Saurabh Mittal , Gabriel Pascualy , Andrew Yale

This document provides a logical design specification for a simple elevator to support research into cyber-physical system security.

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.