Accession Number : AD1028363


Title :   Perpetual Model Validation


Descriptive Note : Technical Report,01 Oct 2014,01 Sep 2016


Corporate Author : Air Force Research Laboratory/RITA Rome United States


Personal Author(s) : Drager,Steven ; Bak,Stanley ; Anderson,Matthew


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1028363.pdf


Report Date : 01 Mar 2017


Pagination or Media Count : 29


Abstract : 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.


Descriptors :   validation , models , software engineering , computer systems , mathematical models , intrusion detection , hybrid systems , automation , automata , information processing


Subject Categories : Computer Systems Management and Standards


Distribution Statement : APPROVED FOR PUBLIC RELEASE