Situation awareness is necessary for operators to make informed decisions regarding avoidance of airspace hazards. To this end, each operator must consolidate operationsrelevant information from disparate sources and apply extensive domain knowledge to correctly interpret the current state of the NAS as well as forecast its (combined) evolution over the duration of the NAS operation. This time-and workload-intensive process is periodically repeated throughout the operation so that changes can be managed in a timely manner. The imprecision, inaccuracy, inconsistency, and incompleteness of the incoming data further challenges the process. To facilitate informed decision making, this paper presents a model-based framework for the automated real-time monitoring and prediction of possible effects of airspace hazards on the safety of the National Airspace System (NAS). First, hazards to flight are identified and transformed into safety metrics, that is, quantities of interest that could be evaluated based on available data and are predictive of an unsafe event. The safety metrics and associated thresholds that specify when an event transitions from safe to unsafe are combined with models of airspace operations and aircraft dynamics. The framework can include any hazard to flight that can be modeled quantitatively. Models can be detailed and complex, or they can be considerably simplifed, as appropriate to the application. Real-time NAS safety monitoring and prediction begins with an estimate of the state of the NAS using the dynamic models. Given the state estimate and a probability distribution of future inputs to the NAS, we can then predict the evolution of the NAS-the future state-and the occurrence of hazards and unsafe events. The entire probability distribution of airspace safety metrics is computed, not just point estimates, without significant assumptions regarding the distribution type and/or parameters. We demonstrate our overall approach through a simulated scenario in which we predict the occurrence of some unsafe events and show how these predictions evolve in time as flight operations progress. Predictions accounting for common sources of uncertainty are included and it is shown how the predictions improve in time, become more confident, and change dynamically as new information is made available to the prediction algorithm.