A design environment for deadlock-free concurrent software

Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which avoid introducing faults (fault avoidance); then testing should be carried out to identify any faults which persist (error removal). Finally, techniques should be used which allow any undetected faults to be tolerated (fault tolerance). The verification of correctness in system design specification and performance analysis of the model, are the basic issues in concurrent systems. In this context, modeling distributed concurrent software is one of the most important activities in the software life cycle, and communication analysis is a primary consideration to achieve reliability and safety. By and large fault avoidance requires human analysis which is error prone; by reducing human involvement in the tedious aspect of modelling and analysis of the software it is hoped that fewer faults will persist into its implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of concurrent software for distributed computing systems if the communication structure is to be free of pathologies, such as deadlock. The objective of this thesis is to provide a design environment which ensures that processes are free from deadlock. A software tool was designed and used to facilitate the production of fault-tolerant software for distributed concurrent systems. Where Occam is used as a design language then state space methods, such as Petri-nets, can be used in analysis and simulation to determine the dynamic behaviour of the software, and to identify structures which may be prone to deadlock so that they may be eliminated from the design before the program is ever run. This design software tool consists of two parts. One takes an input program and translates it into a mathematical model (Petri-net), which is used for modeling and analysis of the concurrent software. The second part is the Petri-net simulator that takes the translated program as its input and starts simulation to generate the reachability tree. The tree identifies `deadlock potential' which the user can explore further. Finally, the software tool has been applied to a number of Occam programs. Two examples were taken to show how the tool works in the early design phase for fault prevention before the program is ever run.

Aspects of the design and control of manufacturing systems subject to demand uncertainty

The recent explosive growth in advanced manufacturing technology (AMT) and continued development of sophisticated information technologies (IT) is expected to have a profound effect on the way we design and operate manufacturing businesses. Furthermore, the escalating capital requirements associated with these developments have significantly increased the level of risk associated with initial design, ongoing development and operation. This dissertation has examined the integration of two key sub-elements of the Computer Integrated Manufacturing (CIM) system, namely the manufacturing facility and the production control system. This research has concentrated on the interactions between production control (MRP) and an AMT based production facility. The disappointing performance of such systems has been discussed in the context of a number of potential technological and performance incompatibilities between these two elements. It was argued that the design and selection of operating policies for both is the key to successful integration. Furthermore, policy decisions are shown to play an important role in matching the performance of the total system to the demands of the marketplace. It is demonstrated that a holistic approach to policy design must be adopted if successful integration is to be achieved. It is shown that the complexity of the issues resulting from such an approach required the formulation of a structured design methodology. Such a methodology was subsequently developed and discussed. This combined a first principles approach to the behaviour of system elements with the specification of a detailed holistic model for use in the policy design environment. The methodology aimed to make full use of the `low inertia' characteristics of AMT, whilst adopting a JIT configuration of MRP and re-coupling the total system to the market demands. This dissertation discussed the application of the methodology to an industrial case study and the subsequent design of operational policies. Consequently a novel approach to production control resulted. A central feature of which was a move toward reduced manual intervention in the MRP processing and scheduling logic with increased human involvement and motivation in the management of work-flow on the shopfloor. Experimental results indicated that significant performance advantages would result from the adoption of the recommended policy set.

The design and evaluation of distributed virtual environment to support learning in global operations management

The primary goal of this research is to design and develop an education technology to support learning in global operations management. The research implements a series of studies to determine the right balance among user requirements, learning methods and applied technologies, on a view of student-centred learning. This research is multidisciplinary by nature, involving topics from various disciplines such as global operations management, curriculum and contemporary learning theory, and computer aided learning. Innovative learning models that emphasise on technological implementation are employed and discussed throughout this research.

The design and implementation of a computer-assisted instruction system in a university environment

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Measuring performance of virtual learning environment system in higher education

Purpose – The purpose of this paper is to measure the performance of commercial virtual learning environment (VLE) systems, which helps the decision makers to select the appropriate system for their institutions. Design/methodology/approach – This paper develops an integrated multiple criteria decision making approach, which combines the analytic hierarchy process (AHP) and quality function deployment (QFD), to evaluate and select the best system. The evaluating criteria are derived from the requirements of those who use the system. A case study is provided to demonstrate how the integrated approach works. Findings – The major advantage of the integrated approach is that the evaluating criteria are of interest to the stakeholders. This ensures that the selected system will achieve the requirements and satisfy the stakeholders most. Another advantage is that the approach can guarantee the benchmarking to be consistent and reliable. From the case study, it is proved that the performance of a VLE system being used at the university is the best. Therefore, the university should continue to run the system in order to support and facilitate both teaching and learning. Originality/value – It is believed that there is no study that measures the performance of VLE systems, and thus decision makers may have difficulties in system evaluation and selection for their institutions.

An assessment of the learning benefits of using a web-based learning environment when teaching accounting

The impact and use of information and communication technology on learning outcomes for accounting students is not well understood. This study investigates the impact of design features of Blackboard 1 used as aWeb-based Learning Environment (WBLE) in teaching undergraduate accounting students. Specifically, this investigation reports on a number of Blackboard design features (e.g. delivery of lecture notes, announcements, online assessment and model answers) used to deliver learning materials regarded as necessary to enhance learning outcomes. Responses from 369 on-campus students provided data to develop a regression model that seeks to explain enhanced participation and mental effort. The final regression shows that student satisfaction with the use of a WBLE is associated with five design features or variables. These include usefulness and availability of lecture notes, online assessment, model answers, and online chat.

Design and development of an agent-based information system for process improvement

To meet changing needs of customers and to survive in the increasingly globalised and competitive environment, it is necessary for companies to equip themselves with intelligent tools, thereby enabling managerial levels to use the tactical decision in a better way. However, the implementation of an intelligent system is always a challenge in Small- and Medium-sized Enterprises (SMEs). Therefore, a new and simple approach with 'process rethinking' ability is proposed to generate ongoing process improvements over time. In this paper, a roadmap of the development of an agent-based information system is described. A case example has also been provided to show how the system can assist non-specialists, for example, managers and engineers to make right decisions for a continual process improvement. Copyright © 2006 Inderscience Enterprises Ltd.

Evaluating approaches to product design and sourcing decisions in multinational companies

Product design and sourcing decisions are among the most difficult and important of all decisions facing multinational manufacturing companies, yet associated decision support and evaluation systems tend to be myopic in nature. Design for manufacture and assembly techniques, for example, generally focuses on manufacturing capability and ignores capacity although both should be considered. Similarly, most modelling and evaluation tools available to examine the performance of various solution and improvement techniques have a narrower scope than desired. A unique collaboration, funded by the US National Science Foundation, between researchers in the USA and the UK currently addresses these problems. This paper describes a technique known as Design For the Existing Environment (DFEE) and an holistic evaluation system based on enterprise simulation that was used to demonstrate the business benefits of DFEE applied in a simple product development and manufacturing case study. A project that will extend these techniques to evaluate global product sourcing strategies is described along with the practical difficulties of building an enterprise simulation on the scale and detail required.

Design determines 70% of cost? A review of implications for design evaluation

This paper disputes the fact that product design determines 70% of costs and the implications that follow for design evaluation tools. Using the idea of decision chains, it is argued that such tools need to consider more of the downstream business activities and should take into account the current and future state of the business rather than some idealized view of it. To illustrate the argument, a series of experiments using an enterprise simulator are described that show the benefit from the application of a more holistic 'design for' technique. Design For the Existing Environment.

The effect of ward design on the well-being of post-operative patients

Changes in the design of hospital wards have usually been determined by architects and members of the nursing and medical professions; the views and preferences of patients have seldom been sought directly. The Hospital Anxiety and Depression scale and the Disturbance Due to Hospital Noise questionnaire were administered to 64 female patients on bay and Nightingale wards together with a questionnaire designed for this study. Perceptions of social and physical factors of ward design were examined, and their relationship to psychological well-being and sleep patterns. The results show that the bay ward seemed to offer a more favourable environment for patients but some of the disadvantages of bay wards are balanced by better staffing levels and better and more modern facilities. Visibility to nurses was lower on the bay ward. The Nightingale ward was perceived as significantly noisier than the bay ward and noise levels were significantly correlated to anxiety scores. Paradoxically the increase in noise levels appeared to improve the perceived level of privacy on the Nightingale ward. Seventy-five per cent of patients were found to prefer the bay ward design, and since neither design appears to have major disadvantages their continued introduction should be encouraged. However, recommendations are made concerning the optimizing of patients' well-being within the bay ward setting.

Utilising online shopping environment attributes holistically to create competitive advantage

As more consumers shop online, it becomes crucial for marketers to know how online shopping environments (OSEs) can be used to gain competitive advantage. This dissertation aims to explain theoretically how OSE attributes work together holistically to produce desirable consumer responses, applying and extending a theory from the environmental psychology literature to the online context. Firstly, the study conceptualises OSEs as virtual environments which may be perceived and experienced both cognitively and affectively through a technology-mediated interaction with a computer screen. A multi-disciplinary approach identifies key characteristics of OSEs: they involve consumers; they are more complex than their offline counterparts; they are likely first apprehended holistically; and they can elicit high levels of emotions and cognition. Secondly, the research uses a gestalt approach and extends Kaplan and Kalan’s (1982) Preference Framework, taking account of the specific characteristics of OSEs, which one visits specifically to obtain product information. The results support the proposition that OSEs are perceived in terms of their Sense-making and Exploratory attributes. Thirdly, the research explains how OSE attributes work together to produce desirable consumer responses. As hypothesised, Exploratory potential produces both Hedonic and Utilitarian value, and both kinds of value contribute to Site commitment. An unexpected result is that Sense-making potential does not produce Utilitarian value directly, but only through the mediation of Exploratory potential. The research contributes to marketing theory by: (1) identifying ways the internet has changed the nature of the shopping experience; (2) extending Kaplan and Kaplan’s Preference Framework to explain how consumers perceive OSEs holistically; (3) identifying the distinction between page-level and site-level perceptions, and (4) distinguishing between different sources of information (marketer vs. non-marketer). Managerially, the research provides a model for marketers to conceive and design retail websites whose attributes work together to create competitive advantage.

A systematic approach to establish fundamental principles of computer applications packages design

This work attempts to create a systemic design framework for man-machine interfaces which is self consistent, compatible with other concepts, and applicable to real situations. This is tackled by examining the current architecture of computer applications packages. The treatment in the main is philosophical and theoretical and analyses the origins, assumptions and current practice of the design of applications packages. It proposes that the present form of packages is fundamentally contradictory to the notion of packaging itself. This is because as an indivisible ready-to-implement solution, current package architecture displays the following major disadvantages. First, it creates problems as a result of user-package interactions, in which the designer tries to mould all potential individual users, no matter how diverse they are, into one model. This is worsened by the minute provision, if any, of important properties such as flexibility, independence and impartiality. Second, it displays rigid structure that reduces the variety and/or multi-use of the component parts of such a package. Third, it dictates specific hardware and software configurations which probably results in reducing the number of degrees of freedom of its user. Fourth, it increases the dependence of its user upon its supplier through inadequate documentation and understanding of the package. Fifth, it tends to cause a degeneration of the expertise of design of the data processing practitioners. In view of this understanding an alternative methodological design framework which is both consistent with systems approach and the role of a package in its likely context is proposed. The proposition is based upon an extension of the identified concept of the hierarchy of holons* which facilitates the examination of the complex relationships of a package with its two principal environments. First, the user characteristics and his decision making practice and procedures; implying an examination of the user's M.I.S. network. Second, the software environment and its influence upon a package regarding support, control and operation of the package. The framework is built gradually as discussion advances around the central theme of a compatible M.I.S., software and model design. This leads to the formation of the alternative package architecture that is based upon the design of a number of independent, self-contained small parts. Such is believed to constitute the nucleus around which not only packages can be more effectively designed, but is also applicable to many man-machine systems design.

Management information:design of a system for change identification

This thesis deals with the problem of Information Systems design for Corporate Management. It shows that the results of applying current approaches to Management Information Systems and Corporate Modelling fully justify a fresh look to the problem. The thesis develops an approach to design based on Cybernetic principles and theories. It looks at Management as an informational process and discusses the relevance of regulation theory to its practice. The work proceeds around the concept of change and its effects on the organization's stability and survival. The idea of looking at organizations as viable systems is discussed and a design to enhance survival capacity is developed. It takes Ashby's theory of adaptation and developments on ultra-stability as a theoretical framework and considering conditions for learning and foresight deduces that a design should include three basic components: A dynamic model of the organization- environment relationships; a method to spot significant changes in the value of the essential variables and in a certain set of parameters; and a Controller able to conceive and change the other two elements and to make choices among alternative policies. Further considerations of the conditions for rapid adaptation in organisms composed of many parts, and the law of Requisite Variety determine that successful adaptive behaviour requires certain functional organization. Beer's model of viable organizations is put in relation to Ashby's theory of adaptation and regulation. The use of the Ultra-stable system as abstract unit of analysis permits developing a rigorous taxonomy of change; it starts distinguishing between change with in behaviour and change of behaviour to complete the classification with organizational change. It relates these changes to the logical categories of learning connecting the topic of Information System design with that of organizational learning.

Design, synthesis and evaluation of cyclothialidine analogues as DNA gyrase inhibitors

Cyclothialidine, a natural product isolated from Streptomyces .filipinensis NR0484, has been proven to be a potent and selective inhibitor of the bacterial enzyme DNA gyrase. Gyrase inhibition results in cell death, the enzyme being the target of several currently used antibiotics. Cyclothialidine showed poor activity against whole bacterial cells, highlighting scope for improvement regarding cell membrane pemeability in order for the full potential of this new class of antibiotics to be realised, Structurally, cyclothialidine contains a 12-membered lactone ring which is partly integrated into a pentapeptide chain, with a substituted aromatic moiety bordering the lactone, Retrosynthetically it can be traced back to cis-3-hydroxyproline, 3,5-dihydroxy-2,6-dimethylbenzoic acid and four commercially available amino acids; two serine, one cysteine and one alanine. In this work, a model of cyclothialidine was synthesised in order to establish the methodology for more complex compounds. Analogues with hydroxy, dihydroxy and dihydroxymethyl substituted aromatic moieties were then prepared to ensure successful protection methods could be performed and the pharmacophore synthesised. The key aromatic moiety, 2,6-dimethyl-3,5-dihydroxybenzoic acid was produced via two successive Mannich reaction/reduction steps. Acid protection using 4-nitrobenzyl bromide and TBDMS hydroxyl protection followed by bromination of one methyl afforded the desired intermediate. Reaction with a serine/cysteine dipeptide, followed by deprotection and cyclisation under Mitsunobu conditions lead to the 12-membered lactone. An amine substituted aromatic analogue and also replacement of the cysteine sulphur by oxygen were attempted but without success. In an effort to improve cell permeability, a conjugate was synthesised between the pharmacophore and a cholesterol moiety. It was hoped the steroid fragment would serve to increase potency by escorting the molecule through the lipid environment of the cell membrane. The pharmacophore and conjugate were tested against a variety of bacterial strains but the conjugate failed to improve activity.