Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

Intellectual property law

A firm favourite with students and lecturers alike, Intellectual Property can be trusted to equip you with the best possible basis for study of this dynamic subject. Providing an unrivalled account of the law in this area, this book also examines the ethical and policy influences which have shaped its development providing you with a solid basis for further exploration of the subject.

Institutions, finance and the level of development:the impact on entrepreneurship in transition

We investigate the impact of institutions on entrepreneurial entry, based on a large cross-country sample, combining working age population data generated by the GEM project with macro level indicators. Our four key findings indicate that: (a) institutional obstacles to entrepreneurship have different impact in rich countries compared to poor countries; (b) institutional obstacles have a stronger impact on 'opportunity entrepreneurship' than on 'necessity entrepreneurship'; (c) two institutional indicators - property right protection and access to finance - appear to have a dominant impact on entrepreneurship; (d) institutions have a long term impact. More than ten years after the Soviet system imploded in Central and Eastern Europe, these countries still experience significantly lower levels of entrepreneurship than economies coming from different legal traditions.

Firm performance and investment in R&D and intellectual property

This paper analyses the relationship between innovation - proxied by Research and Development (R&D), patent and trade mark activity – and profitability in a panel of Australian firms (1995 to 1998). Special attention is given to assessing the nature of competitive conditions faced by different firms, as the nature of competition is likely to affect the returns to innovation. The hypothesis is that lower levels of competition will imply higher returns to innovation. To allow for a time lag time before any return to innovation, the market value of the firms is used as a proxy for expected future profits. The results give some support for the main hypothesis: the market’s valuation of R&D activity is higher in industries where competition is lower. However, the paper highlights the difficulty in assessing competitive conditions and finds a number of results that challenge the simple hypothesis.

Ownership control of foreign affiliates:a property rights theory perspective

This paper applies property rights theory to explain changes in foreign affiliates’ ownership. Post-entry ownership change is driven by both firm-level characteristics and by the differences in the institutional environments in host countries. We distinguish between financial market development and the level of corruption as two different institutional dimensions, such that changes along these dimensions impact upon ownership change in different ways. Furthermore, we argue that changes in ownership are affected by the foreign affiliate’s relatedness with its parent’s sector, as well as by the affiliate’s maturity. We use firm level data across 125 host countries to test our hypotheses.