Field experiments with a grooming switch for OTDM meshed networking

Field experiments of 42.7/128.1 Gb/s wavelength-division multiplexed, optical time-division multiplexed (WDM-OTDM) transmultiplexing and all-optical dual-wavelength regeneration at the OTDM rate are presented in this paper. By using the asynchronous retiming scheme, we achieve error-free bufferless data grooming with time-slot interchange capability for OTDM meshed networking. We demonstrate excellent performance from the system, discuss scalability, applicability, and the potential reach of the asynchronous retiming scheme for transparent OTDM-domain interconnection.

FlexSIG-Flexible software inspection groupware

The objective of this research is to design and build a groupware system which will allow members of a distributed group more flexibility in performing software inspection. Software inspection, which is part of non-execution based testing in software development, is a group activity. The groupware system aims to provide a system that will improve acceptability of groupware and improve software quality by providing a software inspection tool that is flexible and adaptable. The groupware system provide a flexible structure for software inspection meetings. The groupware system will extend the structure of the software inspection meeting itself, allowing software inspection meetings to use all four quadrant of the space-time matrix: face-to-face, distributed synchronous, distributed asynchronous, and same place-different time. This will open up new working possibilities. The flexibility and adaptability of the system allows work to switch rapidly between synchronous and asynchronous interaction. A model for a flexible groupware system was developed. The model was developed based on review of the literature and questionnaires. A prototype based on the model was built using java and WWW technology. To test the effectiveness of the system, an evaluation was conducted. Questionnaires was used to gather response from the users. The evaluations ascertained that the model developed is flexible and adaptable to the different working modes, and the system is capable of supporting several different models of the software inspection process.

The design of fault tolerant software for loosely coupled distributed systems

Requirements for systems to continue to operate satisfactorily in the presence of faults has led to the development of techniques for the construction of fault tolerant software. This thesis addresses the problem of error detection and recovery in distributed systems which consist of a set of communicating sequential processes. A method is presented for the `a priori' design of conversations for this class of distributed system. Petri nets are used to represent the state and to solve state reachability problems for concurrent systems. The dynamic behaviour of the system can be characterised by a state-change table derived from the state reachability tree. Systematic conversation generation is possible by defining a closed boundary on any branch of the state-change table. By relating the state-change table to process attributes it ensures all necessary processes are included in the conversation. The method also ensures properly nested conversations. An implementation of the conversation scheme using the concurrent language occam is proposed. The structure of the conversation is defined using the special features of occam. The proposed implementation gives a structure which is independent of the application and is independent of the number of processes involved. Finally, the integrity of inter-process communications is investigated. The basic communication primitives used in message passing systems are seen to have deficiencies when applied to systems with safety implications. Using a Petri net model a boundary for a time-out mechanism is proposed which will increase the integrity of a system which involves inter-process communications.

Optical grooming switch with regenerative functionality for transparent interconnection of networks

We demonstrate a regenerative optical grooming switch for buffer-less interconnection of metro/access and metro/core ring networks with switching functionality in time, space and wavelength domain. Key functionalities of the router are the traffic aggregation with time-slot interchanging (TSI) functionality, the WDM-to-ODTM multiplexing and the OTDM-to-WDM demultiplexing of high-speed channel into lower bit-rate tributaries as well as multi-wavelength all-optical 2R regeneration of several higher-speed signals. BER and Q-factor measurements of different switching scenarios show excellent performance with no error floor and Q-factors above 21 dB.

An all-optical grooming switch for interconnecting access and metro ring networks

A regenerative all-optical grooming switch for interconnecting 130 Gbit/s on-off keying (OOK) metro/core ring and 43 Gbit/s-OOK metro/access ring networks with switching functionality in time, space, and wavelength domains is demonstrated. Key functionalities of the switch are traffic aggregation with time-slot interchanging functionality, optical time division multiplexing (OTDM) to wavelength division multiplexing (WDM) demultiplexing, and multi-wavelength 2R regeneration. Laboratory and field demonstrations show the excellent performance of the new concept with error-free signal transmission and Q-factors above 20 dB.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

Design, synthesis and thermal behaviour of a series of well-defined clickable and triggerable sulfonate polymers

In the printing industry, the exploitation of triggerable materials that can have their surface properties altered on application of a post-deposition external stimulus has been crucial for the production of robust layers and patterns. To this end, herein, a series of clickable poly(R-alkyl p-styrene sulfonate) homopolymers, with systematically varied thermally-labile protecting groups, has been synthesised via reversible addition-fragmentation chain transfer (RAFT) polymerisation. The polymer range has been designed to offer varied post-deposition thermal treatment to switch them from hydrophobic to hydrophilic. Suitable RAFT conditions have been identified to produce well-defined homopolymers (Đ, Mw/Mn < 1.11 in all cases) at high monomer conversions (>80% for all but one monomer) with controllable molar mass. Poly(p-styrene sulfonate) with an isobutyl protecting group has been shown to be the most readily thermolysed polymer that remains stable at room temperature, and was thus investigated further by incorporation into a diblock copolymer, P3HT-b-PiBSS, by click chemistry. The strategy for preparation of thermal modifiable block copolymers exploiting R-protected p-styrene sulfonates and azide-alkyne click chemistry presented herein allows the design of new, roll-to-roll processable materials for potential application in the printing industry, particularly organic electronics.

Building the hybrid organisation through ERP and enterprise social software

This research traces the implementation of an information system in the form of ERP modules covering tenant and contract management in a Chinese service company. Misalignments between the ERP system specification and user needs led to the adoption of informal processes within the organisation. These processes are facilitated within an informal organisational structure and are based on human interactions undertaken within the formal organisation. Rather than to attempt to suppress the emergence of the informal organisation the company decided to channel the energies of staff involved in informal processes towards organisational goals. The company achieved this by harnessing the capabilities of what we term a hybrid ERP system, combining the functionality of a traditional (formal) ERP installation with the capabilities of Enterprise Social Software (ESS). However the company recognised that the successful operation of the hybrid ERP system would require a number of changes in organisational design in areas such as reporting structures and communication channels. A narrative provided by interviews with company personnel is thematised around the formal and informal characteristics of the organisation as defined in the literature. This leads to a definition of the characteristics of the hybrid organisation and strategies for enabling a hybrid organisation, facilitated by a hybrid ERP system, which directs formal and informal behaviour towards organisational goals and provides a template for future hybrid implementations.