Recovery is a critical function in backbone networks. The primary function of recovery is to provide connectivity regardless of which layer... Show moreRecovery is a critical function in backbone networks. The primary function of recovery is to provide connectivity regardless of which layer recovery operates at. Another function of recovery is for all services traversing a failed link to be restored in a way that is consistent with a service user’s requirements. These requirements can include the consideration of factors such as (1) the cost of recovery, (2) the amount of traffic restored, and (3) the delay in restoring units of traffic. With more options available to recover traffic, providing an integrated recovery solution is necessary. An important force driving the evolution of network devices to transport services such as IP traffic is the layering of network resources. Layering enables networks to increase capacity by extending legacy SONET networks to interface with optical wavelengths. Inconsistent provisioning can prevent service continuity from being achieved during a failure. Continuity of service has been recognized as one key business goal. Furthermore, since recovery can occur at a different time than when it is provisioned, inconsistent provisioning is determined after the fact, with services left unrepaired, repaired unnecessarily at an extra cost, or not repaired fast enough. A network manager can check if recovery is consistent with a global perspective on how traffic should be restored by comparing the provisioning at each device against suitable properties of a formal representation. To address this issue an engineering method was developed to detect errors in provisioning automated recovery processes in multilayer and multiprotocol transport networks. This dependability assessment process (DAP) leverages inference techniques provided by Semantic Web technologies in order to detect network-device provisioning errors. Provisioning should be accompanied by methodologies, processes, and activities to ensure that it can be trusted to achieve a desired network state. The DAP takes into account unique constraints in the telecommunications domain including bottom-up evolution of physical layer technologies to provide connectivity, and lack of a universal model of network functionality. This method is applied to assessing the correctness of provisioning decisions for a protection switching application in a transport network in both the spatial and temporal domains. Ph.D. in Computer Science, May 2017 Show less