Formal verification of a SONET data stream processor

We describe the formal verification of an industrial hardware design from PMC-Sierra, Inc. The design under investigation is a telecom system block, which processes a portion of the synchronous optical network (SONET) line overhead of a received data stream. We adopted a hierarchical modelling and verification approach which follows the natural design hierarchy. The formal specification and verification have been carried out based on multiway decision graphs (MDG), a new decision diagram subsuming the traditional binary decision diagrams and allowing abstract data and functions. The verification has been performed using both equivalence and model checking. To measure the performance of the MDG-based model checking, we also conducted a comparative verification of the same design using Cadence FormalCheck

Teleprotection signalling over an IP/MPLS network

Protection of electricity networks have developed to incorporate communications, referred to as protection signalling. Due to the evolution of the electricity supply system, there are many developments pending within the scope of protection signalling and protection engineering in general. This project investigates the use of current and emerging communications technologies (i.e. packetised networks) being applied and incorporated into current protection signalling schemes and technologies. The purpose of the project is to provide a more cost-effective solution to protection schemes running obsolescent hardware. While the medium-term goal of the industry is to move entirely to IEC 61850 communications, legacy teleprotection relays using non-IP communications will still exist for many years to come. For companies to be ready for an IEC 61850 rollout a fully deployed IP/MPLS network will be necessary and it can be seen that various companies worldwide are readying themselves in this way. However, in the short-term for these companies, this means maintaining their existing TDM network (which runs current teleprotection schemes) and IP/MPLS network. This is a costly business outcome that can be minimised with the migration of services from and decommissioning of TDM networks. Network channel testing was the primary testing focus of the project. The testing proved that teleprotection traffic with correct QoS markings assured the system met latency and stability requirements. Furthermore, MPLS resiliency features (secondary LSPs & Fast-reroute) were tested and proved automatic path failover was possible under fault conditions at sub-30ms speeds

Journal of Telecommunications in Higher Education

This Issue: Integrating Networks ATM: It\u27s All That Matters ATM Delivers Voice, Data, Video Cabling the Integrated Network Interview: Robert Collet, Data Services & Network Systems BYU: Striving for Excellence in Telecom Service

Organizational identity, organizational capabilities, and the evolution of the multinational corporation : JTech's transmission systems business in the US

Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 2007."June 2007."Includes bibliographical references (v. 2, leaves 259-267).When a multinational corporation (MNC) internationalizes by establishing a new subsidiary, the subsidiary's evolution depends upon its acceptance within its host country environment, by its home country headquarters, by other subsidiaries, and by all other stakeholders, including employees, suppliers, customers, complementary innovators, product market critics and analysts. To be accepted, the subsidiary organization has to have a legitimate form with some combination of properties - such as activities, features, and boundaries - that make it recognizable and understandable as a meaningful social unit. In short, as a social object, the subsidiary has to have an identity that conforms to a recognized and accepted type, so that it is evaluated positively as belonging to a legitimate category of organizations. Yet, if value creation simultaneously depends upon a subsidiary developing organizational capabilities, how does its identity shape the development of those capabilities? How do the capabilities in turn alter the subsidiary's identity? How does the identity-capability relationship influence the subsidiary's strategy, and how do the organizational structures put in place to cope with these changes affect the organization's identity and legitimacy? I explore these issues by analyzing the case of the evolution of a US subsidiary of a Japanese high technology MNC, which had responsibility for activities related to the development and sale of transmission equipment into the US, over a fifteen year period ending in 2000. I find that organizational members constructed an identity for their organization through which they enacted their environment, organizational capabilities, strategy, and structure.(cont.) These, in turn, recursively interacted with the organizational identity in complex ways, either reinforcing the salient organizational identity or stressing it, resulting in identity work through which organizational members sought to reconstruct a new and legitimate organizational identity. Understanding the identity of a subsidiary is necessary in efforts to improve the effectiveness of managing across borders. As a corollary, management practices designed to improve collaboration, such as facilitating the transfer of more complex information, or that aim to deepen understanding among collaborating units of an MNC, such as increasing personnel transfers, may actually undermine cross-border knowledge development through their negative effect on organizational identity.by Christopher J. Voisey.Ph.D

Journal of Telecommunications in Higher Education

This Issue: Integrating Networks ATM: It\u27s All That Matters ATM Delivers Voice, Data, Video Cabling the Integrated Network Interview: Robert Collet, Data Services & Network Systems BYU: Striving for Excellence in Telecom Service

A real-time prediction of UTC

The reference time scale for all scientific and technologic applications on the Earth, the Universal Coordinated Time (UTC), must be as stable, reliable, and accurate as possible. With this in view the BIPM and before it the BIH, have always calculated and then disseminated UTC with a delay of about 80 days. There are three fundamental reasons for doing this: (1) It takes some weeks for data, gathered from some 200 clocks spread world-wide, to be collected and for errors to be eliminated; (2) changes in clock rates can only be measured with high precision well after the fact; and (3) the measurement noise originating in time links, in particular using Loran-C, is smoothed out only when averaging over an extended period. Until mid-1992, the ultimate stability of UTC was reached at averaging times of about 100 days and corresponded to an Allan deviation sigma(sub y)(tau) of about 1,5x10(exp -14) then compared to the best primary clock in the world, the PTB CS2. For several years now, a predicted UTC has been computed by the USNO through an extrapolation of the values as published in deferred time by the BIPM. This is made available through the USNO Series 4, through the USNO Automated Data Service, and through GPS signals. Due to the instability of UTC, the poor predictability of the available clocks, and the intentional SA degradation of GPS signals, the real-time access to this extrapolated UTC has represented the true deferred-time UTC only to within several hundreds of nanoseconds

Satellite Networks: Architectures, Applications, and Technologies

Since global satellite networks are moving to the forefront in enhancing the national and global information infrastructures due to communication satellites' unique networking characteristics, a workshop was organized to assess the progress made to date and chart the future. This workshop provided the forum to assess the current state-of-the-art, identify key issues, and highlight the emerging trends in the next-generation architectures, data protocol development, communication interoperability, and applications. Presentations on overview, state-of-the-art in research, development, deployment and applications and future trends on satellite networks are assembled