Perpetual Model Validation
Technical Report,01 Oct 2014,01 Sep 2016
Air Force Research Laboratory/RITA Rome United States
Pagination or Media Count:
This research effort investigated fundamental techniques to provide perpetual model validation, where design-time models are validated continuously during runtime. The research considered two fronts validation of the software model, and validation of the model of the system interacting with the physical world. Since the field of runtime verification has extensively focused on the challenge of runtime model validation in software using direct models, the approach employed here instead considered using indirect models of software execution, for example memory access patterns, to check for security intrusions. Additional research was performed to tackle the essential problem of model validation for systems which contain interactions with the physical world using hybrid automata models. Perpetual model validation will ensure that the actual behavior of the system conforms to the analysis model, raising the level of confidence that can be placed in the results due to formal nature of the analysis.
- Computer Systems Management and Standards