Ensuring constant synchronicity between the ITA and the actual IS without the help of automatic tools is intractable, taking into account modern IS' rapid evolution and growing complexity and distribution. We propose an automatic AS-IS ITA verification methodology and framework based on deep passive network traffic analysis and subsequent application of logical inference rules over this domain with the goal of inferring relevant facts about their actual ITA. This information is described

more »

... ng to a conceptual model designed for this purpose. We propose a mapping relationship between that ITA network evidence model and an ISA modeling framework (CEO Framework), at the ITA level, realized through a set of logical deduction rules defining the conditions that must hold between the actual inferred evidence and the ITA model (both represented in this inference system) so that we can consider the ITA model factual and in line with reality. The application of these rules realizes the verification process that generates, as a result, the significant detected discrepancies. This methodology is implemented in a prototype applied to an IS case study in PT Comunicações. The proposed solution was shown to be capable of verifying the case study's ITA model as well as discovers new, undocumented, information through logical inference.