Analysis of computer communication systems by use of digital signal processing methods

Queueing theory is an effective tool in the analysis of canputer camrunication systems. Many results in queueing analysis have teen derived in the form of Laplace and z-transform expressions. Accurate inversion of these transforms is very important in the study of computer systems, but the inversion is very often difficult. In this thesis, methods for solving some of these queueing problems, by use of digital signal processing techniques, are presented. The z-transform of the queue length distribution for the Mj GY jl system is derived. Two numerical methods for the inversion of the transfom, together with the standard numerical technique for solving transforms with multiple queue-state dependence, are presented. Bilinear and Poisson transform sequences are presented as useful ways of representing continuous-time functions in numerical computations.

A structural method for the design of fault tolerant distributed control systems

Distributed digital control systems provide alternatives to conventional, centralised digital control systems. Typically, a modern distributed control system will comprise a multi-processor or network of processors, a communications network, an associated set of sensors and actuators, and the systems and applications software. This thesis addresses the problem of how to design robust decentralised control systems, such as those used to control event-driven, real-time processes in time-critical environments. Emphasis is placed on studying the dynamical behaviour of a system and identifying ways of partitioning the system so that it may be controlled in a distributed manner. A structural partitioning technique is adopted which makes use of natural physical sub-processes in the system, which are then mapped into the software processes to control the system. However, communications are required between the processes because of the disjoint nature of the distributed (i.e. partitioned) state of the physical system. The structural partitioning technique, and recent developments in the theory of potential controllability and observability of a system, are the basis for the design of controllers. In particular, the method is used to derive a decentralised estimate of the state vector for a continuous-time system. The work is also extended to derive a distributed estimate for a discrete-time system. Emphasis is also given to the role of communications in the distributed control of processes and to the partitioning technique necessary to design distributed and decentralised systems with resilient structures. A method is presented for the systematic identification of necessary communications for distributed control. It is also shwon that the structural partitions can be used directly in the design of software fault tolerant concurrent controllers. In particular, the structural partition can be used to identify the boundary of the conversation which can be used to protect a specific part of the system. In addition, for certain classes of system, the partitions can be used to identify processes which may be dynamically reconfigured in the event of a fault. These methods should be of use in the design of robust distributed systems.

The development of hard real-time systems using a formal approach

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considered that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.

An exploratory study of management accounting and control systems in a developing country

This thesis reports on the results of case studies in four commercial banks in Nigeria. The study focuses how management accounting and control systems (MCS) operate in the four banks. The study is motivated by the dearth of literature on management accounting practices in the developing world in general and in Nigeria in specific. The case study approach adopted in conducting the research was useful in exploring the dynamics of the MCS in the organisations. Data was gathered from two sources. First, semi-structured interviews were conducted with managers at the head office, regional office and branches of each bank. The participants were selected from different backgrounds and managerial levels to provide broader understanding of the operations of the MCS. Second, various internal and external documents were reviewed to provide supporting evidence for the interview results. New institutional sociology (NIS) provided the theoretical framework to understand the results. NIS provided explanations for how the MCS in the four banks were shaped by diverse external and internal factors. The key factors identified as shaping the operations of the MCS were the need to comply with the regulatory environment (coercive isomorphism), the need to maintain social and cultural support (normative isomorphism) and the need to imitate successful organisations in order to appear legitimate (mimetic isomorphism). The study also examines the interplay between the institutional forces, market forces and infra-organisational power relations. This analysis is necessary to overcome the criticism of NIS that it downplays the role of market forces, agency and intra-organisational relations. The findings of the study have implications for understanding the operations of MCS in the developing world.

Strategy and control systems:a framework for analysis

This research explores the links between the strategies adopted by companies and the mechanisms used to control the organisation. This is not seen as a one way process with the control system following from the strategy but rather as an interactive process between the control systems, the environment and the business strategy. The main proposition of the research, derived from a review of the relevant literature, is that the dimensions of Business Pro-Activity and Environmental Change provide a plausible explanation of the reasons why companies need to adopt different strategies in order to be successful in different markets. A model is proposed which links these dimensions with the business strategy, organisational structure, strategic planning system and management control systems. The model is used as a framework for analysing four companies in order to further our understanding of these interactions and the mechanisms which act to both promote and resist change. Whilst it is not suggested that the model in its present form is a perfect instrument it has, during the course of this research, proved to be an appropriate framework for analysing the various mechanisms used by four companies to formulate and implement their strategies. The research reveals that these should not be viewed independently but as a balanced system.