Elevator Subsystem - modelint/types GitHub Wiki

This subsystem encompasses the entire Elevator Management domain. This domain focuses on the passenger observable behavior of an Elevator system operating within a single building. Observable elements consist of the Cabin, Door, Shaft, Floor and so forth. This domain is responsible for servicing passenger requests for stopping and delivering Cabins for transit. It must ensure that no passenger requests for transit are skipped and that delivery of passengers to destinations are managed in a predictable and convenient manner. It is also responsible for ensuring that no safety hazards are posed to passengers and that the equipment is not damaged.