Semi-formal static and dynamic modeling and categorization of airport checkpoints

Airport check points are vital infrastructure for secure and safe air transport. They consist of an ever increasing number of components. Also the interactions between the checkpoint components as well as the checkpoint itself and external systems are expected to further increase in the future, e.g. if profiling and more risk based methods are applied. As a basis of analyzing airport checkpoints with respect to security and safety a sufficient system understanding is a prerequisite. The systems modeling language (SysML) is used to accomplish that, which is a system engineering adaption of the unified modeling language (UML). We show how static and dynamic properties of airport checkpoints are modeled using SysML. Aiming at an overall modeling of different airport checkpoint designs, we model a generic airport checkpoint design using SysML. The model comprises standard airports as in operation at many airports today. Throughout the paper, we give a broad outlook how these semi-formal models are applied to new ACP concepts as for example proposed by the famous ""airport of the future"" project as well as distributed checkpoints, where parts of the screening happens ""on the fly"" by stand-off screening equipment without intrusion for the passenger.