Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.

The impact of organizational culture and reshaping capabilities on change implementation success: The mediating role of readiness for change

It was hypothesized that employees' perceptions of an organizational culture strong in human relations values and open systems values would be associated with heightened levels of readiness for change which, in turn, would be predictive of change implementation success. Similarly, it was predicted that reshaping capabilities would lead to change implementation success, via its effects on employees' perceptions of readiness for change. Using a temporal research design, these propositions were tested for 67 employees working in a state government department who were about to undergo the implementation of a new end-user computing system in their workplace. Change implementation success was operationalized as user satisfaction and system usage. There was evidence to suggest that employees who perceived strong human relations values in their division at Time 1 reported higher levels of readiness for change at pre-implementation which, in turn, predicted system usage at Time 2. In addition, readiness for change mediated the relationship between reshaping capabilities and system usage. Analyses also revealed that pre-implementation levels of readiness for change exerted a positive main effect on employees' satisfaction with the system's accuracy, user friendliness, and formatting functions at post-implementation. These findings are discussed in terms of their theoretical contribution to the readiness for change literature, and in relation to the practical importance of developing positive change attitudes among employees if change initiatives are to be successful.

The impact of leadership and change management strategy on organizational culture and individual acceptance of change during a merger

This article reports a longitudinal study that examined mergers between three large multi-site public-sector organizations. Both qualitative and quantitative methods of analysis are used to examine the effect of leadership and change management strategies on acceptance of cultural change by individuals. Findings indicate that in many cases the change that occurs as a result of a merger is imposed on the leaders themselves, and it is often the pace of change that inhibits the successful re-engineering of the culture. In this respect, the success or otherwise of any merger hinges on individual perceptions about the manner in which the process is handled and the direction in which the culture is moved. Communication and a transparent change process are important, as this will often determine not only how a leader will be regarded, but who will be regarded as a leader. Leaders need to be competent and trained in the process of transforming organizations to ensure that individuals within the organization accept the changes prompted by a merger.