The design of robust protocols for distributed real-time systems

Modern distributed control systems comprise of a set of processors which are interconnected using a suitable communication network. For use in real-time control environments, such systems must be deterministic and generate specified responses within critical timing constraints. Also, they should be sufficiently robust to survive predictable events such as communication or processor faults. This thesis considers the problem of coordinating and synchronizing a distributed real-time control system under normal and abnormal conditions. Distributed control systems need to periodically coordinate the actions of several autonomous sites. Often the type of coordination required is the all or nothing property of an atomic action. Atomic commit protocols have been used to achieve this atomicity in distributed database systems which are not subject to deadlines. This thesis addresses the problem of applying time constraints to atomic commit protocols so that decisions can be made within a deadline. A modified protocol is proposed which is suitable for real-time applications. The thesis also addresses the problem of ensuring that atomicity is provided even if processor or communication failures occur. Previous work has considered the design of atomic commit protocols for use in non time critical distributed database systems. However, in a distributed real-time control system a fault must not allow stringent timing constraints to be violated. This thesis proposes commit protocols using synchronous communications which can be made resilient to a single processor or communication failure and still satisfy deadlines. Previous formal models used to design commit protocols have had adequate state coverability but have omitted timing properties. They also assumed that sites communicated asynchronously and omitted the communications from the model. Timed Petri nets are used in this thesis to specify and design the proposed protocols which are analysed for consistency and timeliness. Also the communication system is mcxielled within the Petri net specifications so that communication failures can be included in the analysis. Analysis of the Timed Petri net and the associated reachability tree is used to show the proposed protocols always terminate consistently and satisfy timing constraints. Finally the applications of this work are described. Two different types of applications are considered, real-time databases and real-time control systems. It is shown that it may be advantageous to use synchronous communications in distributed database systems, especially if predictable response times are required. Emphasis is given to the application of the developed commit protocols to real-time control systems. Using the same analysis techniques as those used for the design of the protocols it can be shown that the overall system performs as expected both functionally and temporally.

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.

An analysis of the effectiveness of a behavioural based safety intervention in a UK paper mill

This research examines a behavioural based safety (BBS) intervention within a paper mill in the South East of England. Further to this intervention two other mills are examined for the purposes of comparison — one an established BBS programme and the other an improving safety management system through management ownership. BBS programmes have become popular within the UK, but most of the research about their efficacy is carried out by the BBS providers themselves. This thesis aims to evaluate a BBS intervention from a standpoint which is not commercially biased in favour of BBS schemes. The aim of a BBS scheme is to either change personnel behaviours or attitudes, which in turn will positively affect the organisation's safety culture. The research framework involved a qualitative methodology in order to examine the effects of the intervention on the paper mill's safety culture. The techniques used were questionnaires and semi structured interviews, in addition to observation and discussions which were possible because of the author's position as participant observer. The results demonstrated a failure to improve any aspect of the mill's safety culture, which worsened following the BBS intervention. Issues such as trust, morale, communication and support of management showed significant signs of negative workforce response. The paper mill where the safety management system approach was utilised demonstrated a significantly improved safety culture and achieved site ownership from middle managers and supervisors. Research has demonstrated that a solid foundation is required prior to successfully implementing a BBS programme. For a programme to work there must be middle management support in addition to senior management commitment. If a trade union actively distances itself from BBS, it is also unlikely to be effective. This thesis proposes that BBS observation programmes are not suitable for the papermaking industry, particularly when staffing levels are low due to challenging economic conditions. Observers are not available when there are high hazard situations and this suggests that BBS implementation is not the correct intervention for the paper industry.

The development of collaborative skills in young children

This thesis examines young children's early collaborative development when engaged in joint tasks with both a peer and a parent. It begins by examining how the term "collaborative" has been applied and researched in previous literature. As collaboration is found to usually require dialogue, and intersubjectivity is seen as an important component in the construction of both collaboration and dialogue, the ability to construct intersubjectivity is the subject of the rest of the chapter. The chapter concludes by introducing the research questions that underpin the experiments that follow. A number of experiments are then described. Experiments 1 and 2 investigate age differences in interaction styles and the communication strategies used by similar aged dyads. Experiments 3 and 4 investigate differences due to the age of the child and/or the status of the information giver (either parent or child) in the styles of interaction and the communication strategies used by parent and child dyads. Experiment 5 investigates the benefits of collaborating with a parent, and finally, Experiment 6 examines the collaborative ability of pre-schools. The thesis identifies a series of skills required for successful collaboration. These include recognition of a joint goal and the need to suppress individual desires, the ability to structure joint interaction, moving from role-based to a negotiating style, and communicative skills, for example, asking for clarification. Other reasons for children's failure in collaborative tasks involve task-related skills, such as the development of spatial terms, and failure to recognise the need for accuracy. The findings support Vygotsky's theory that when working with an adult, children perform at a higher level than when working with a peer. Evidence was also found of parents scaffolding the interaction for their children. However, further research is necessary to establish that such scaffolding skills affect the child's development of collaborative interactive skills.

A comparison of road accidents in developing countries with special reference to Jamaica

This research was originally undertaken to aid the Jamaican government and the World Bank in making funding decisions relative to improvement of road systems and traffic control in Jamaica. An investigation of the frequency and causes of road accidents and an evaluation of their impact on the Jamaican economy were carried out, and a model system which might be applied was developed. It is believed that the importance of road accident economic and manpower losses to the survival of developing countries, such as Jamaica, cannot be overemphasized. It is suggested that the World Bank, in cooperation with national governments, has a role to play in alleviating this serious problem. Data was collected from such organizations as the Jamaica Ministry of Construction, Police Department, the World Bank, and the World Health Organization. A variety of methodologies were utilized to organize this data in useful and understandable forms. The most important conclusion of this research is that solvable problems in road systems and in traffic control result in the unnecessary loss of useful citizens, in both developed and developing countries. However, a lack of information and understanding regarding the impact of high rates of road accident death and injury on the national economy and stability of a country results in an apparent lack of concern. Having little internal expertise in the field of road accident prevention, developing countries usually hire consultants to help them address this problem. In the case of Jamaica, this practice has resulted in distrust and hard feelings between the Jamaican authorities and major organizations involved in the field. Jamaican officials have found confusing the recommendations of most experts contracted to study traffic safety. The attempts of foreign consultants to utilize a technological approach (the use of coding systems and computers), methods which do not appear cost-effective for Jamaica, have resulted in the expenditure of limited funds for studies which offer no feasible approach to the problem. This funding limitation, which hampers research and road improvement, could be alleviated by such organizations as the World Bank. The causes of high accident rates are many, it was found. Formulation of a plan to address this serious problem must take into account the current failure to appreciate the impact of a high level of road accidents on national economy and stability, inability to find a feasible approach to the problem, and inadequate funding. Such a plan is discussed in detail in the main text of this research.

Building cliques and alliances as practices to 'make things happen' in complex networks

The Roma population has become a policy issue highly debated in the European Union (EU). The EU acknowledges that this ethnic minority faces extreme poverty and complex social and economic problems. 52% of the Roma population live in extreme poverty, 75% in poverty (Soros Foundation, 2007, p. 8), with a life expectancy at birth of about ten years less than the majority population. As a result, Romania has received a great deal of policy attention and EU funding, being eligible for 19.7 billion Euros from the EU for 2007-2013. Yet progress is slow; it is debated whether Romania's government and companies were capable to use these funds (EurActiv.ro, 2012). Analysing three case studies, this research looks at policy implementation in relation to the role of Roma networks in different geographical regions of Romania. It gives insights about how to get things done in complex settings and it explains responses to the Roma problem as a „wicked‟ policy issue. This longitudinal research was conducted between 2008 and 2011, comprising 86 semi-structured interviews, 15 observations, and documentary sources and using a purposive sample focused on institutions responsible for implementing social policies for Roma: Public Health Departments, School Inspectorates, City Halls, Prefectures, and NGOs. Respondents included: governmental workers, academics, Roma school mediators, Roma health mediators, Roma experts, Roma Councillors, NGOs workers, and Roma service users. By triangulating the data collected with various methods and applied to various categories of respondents, a comprehensive and precise representation of Roma network practices was created. The provisions of the 2001 „Governmental Strategy to Improve the Situation of the Roma Population‟ facilitated forming a Roma network by introducing special jobs in local and central administration. In different counties, resources, people, their skills, and practices varied. As opposed to the communist period, a new Roma elite emerged: social entrepreneurs set the pace of change by creating either closed cliques or open alliances and by using more or less transparent practices. This research deploys the concept of social/institutional entrepreneurs to analyse how key actors influence clique and alliance formation and functioning. Significantly, by contrasting three case studies, it shows that both closed cliques and open alliances help to achieve public policy network objectives, but that closed cliques can also lead to failure to improve the health and education of Roma people in a certain region.

Priority evaluation in transportation policies and programmes

This work is concerned with the development of techniques for the evaluation of large-scale highway schemes with particular reference to the assessment of their costs and benefits in the context of the current transport planning (T.P.P.) process. It has been carried out in close cooperation with West Midlands County Council, although its application and results are applicable elsewhere. The background to highway evaluation and its development in recent years has been described and the emergence of a number of deficiencies in current planning practise noted. One deficiency in particular stood out, that stemming from inadequate methods of scheme generation and the research has concentrated upon improving this stage of appraisal, to ensure that subsequent stages of design, assessment and implementation are based upon a consistent and responsive foundation. Deficiencies of scheme evaluation were found to stem from inadequate development of appraisal methodologies suffering from difficulties of valuation, measurement and aggregation of the disparate variables that characterise highway evaluation. A failure to respond to local policy priorities was also noted. A 'problem' rather than 'goals' based approach to scheme generation was taken, as it represented the current and foreseeable resource allocation context more realistically. A review of techniques with potential for highway problem based scheme generation, which would work within a series of practical and theoretical constraints were assessed and that of multivariate analysis, and classical factor analysis in particular, was selected, because it offerred considerable application to the difficulties of valuation, measurement and aggregation that existed. Computer programs were written to adapt classical factor analysis to the requirements of T.P.P. highway evaluation, using it to derive a limited number of factors which described the extensive quantity of highway problem data. From this, a series of composite problem scores for 1979 were derived for a case study area of south Birmingham, based upon the factorial solutions, and used to assess highway sites in terms of local policy issues. The methodology was assessed in the light of its ability to describe highway problems in both aggregate and disaggregate terms, to guide scheme design, coordinate with current scheme evaluation methods, and in general to improve upon current appraisal. Analysis of the results was both in subjective, 'common-sense' terms and using statistical methods to assess the changes in problem definition, distribution and priorities that emerged. Overall, the technique was found to improve upon current scheme generation methods in all respects and in particular in overcoming the problems of valuation, measurement and aggregation without recourse to unsubstantiated and questionable assumptions. A number of deficiencies which remained have been outlined and a series of research priorities described which need to be reviewed in the light of current and future evaluation needs.

Niederdeutsch im Internet. Möglichkeiten und Grenzen computervermittelter Kommunikation für den Spracherhalt:possibilities and limitations of computer-mediated communication for language preservation

Der vorliegende Beitrag untersucht die Frage, in welchem Maße sich Institutionen, die niederdeutsche Kulturszene und individuelle Sprecher des Niederdeutschen moderne Kommunikationstechnologien wie das Internet zunutze machen und ob computervermittelte Kommunikation helfen kann, dem Rückgang des Niederdeutschen Einhalt zu gebieten. Die grundsätzliche Herangehensweise ist eine soziolinguistische, die das Internet als sozialen Handlungsraum versteht, in dem Individuen und Institutionen kommunizieren. Für eine derartige Perspektive stehen weniger das Medium oder das Genre im Mittelpunkt des Interesses als vielmehr das kommunizierende Individuum und die Sprachgemeinschaft, in diesem Fall die virtuelle Sprachgemeinschaft. Based on studies that analyse the potential of computer-mediated communication (cmc) to help fight language shift in lesser-used languages, this paper discusses the situation of Low German in Northern Germany. Over the last three decades, Low German has lost more than half of its active speakers. The article raises the question of whether and, if so, how Low German speakers make use of cmc to stem this tide. Following a sociolinguistic approach focussed on the individual speakers who use the Internet as a space for social interaction, it gives an overview of the discursive field of Low German on the internet and analyses in detail the most popular Low German discussion board. It shows that one of the main obstacles to a more successful use of cmc can be found in speakers' complex attitude toward written Low German. © Franz Steiner Verlag Stuttgart.

Servitization within manufacturing operations:an exploration of the impact to facilities practices

Servitization is a growing area of interest amongst practitioners, policymakers, and academics, and much is still to be learnt about its adoption in practice. This paper makes a contribution to this debate by identifying the key facilities practices that successful servitizing manufacturers appear to be deploying, and the underlying rationale behind their configuration. Although these are preliminary findings from a longer-term research programme, this short communication seeks to highlight the implications for manufacturing professionals and organizations who are considering the servitization of their operations.

Towards requirements aware systems:run-time resolution of design-time assumptions

In earlier work we proposed the idea of requirements-aware systems that could introspect about the extent to which their goals were being satisfied at runtime. When combined with requirements monitoring and self adaptive capabilities, requirements awareness should help optimize goal satisfaction even in the presence of changing run-time context. In this paper we describe initial progress towards the realization of requirements-aware systems with REAssuRE. REAssuRE focuses on explicit representation of assumptions made at design time. When such assumptions are shown not to hold, REAssuRE can trigger system adaptations to alternative goal realization strategies.

Improving envelopment in Data Envelopment Analysis under variable returns to scale

In a Data Envelopment Analysis model, some of the weights used to compute the efficiency of a unit can have zero or negligible value despite of the importance of the corresponding input or output. This paper offers an approach to preventing inputs and outputs from being ignored in the DEA assessment under the multiple input and output VRS environment, building on an approach introduced in Allen and Thanassoulis (2004) for single input multiple output CRS cases. The proposed method is based on the idea of introducing unobserved DMUs created by adjusting input and output levels of certain observed relatively efficient DMUs, in a manner which reflects a combination of technical information and the decision maker's value judgements. In contrast to many alternative techniques used to constrain weights and/or improve envelopment in DEA, this approach allows one to impose local information on production trade-offs, which are in line with the general VRS technology. The suggested procedure is illustrated using real data. © 2011 Elsevier B.V. All rights reserved.

Leadership in high-value services for manufacturers:an exploration of the impact to facilitates practices

Servitization is a growing area of interest amongst practitioners, policy makers and academics, and much is still to be learnt about its adoption in practice. This paper makes a contribution to this debate by identifying the key facilities practices that successfully servitizing manufacturers appear to be deploying and the underlying rationale behind their configuration. Although these are preliminary findings from a longer-term research programme,this short communication seeks to highlight implications to manufacturing professionals and organisations who are considering the servitization of their operations.

From 3LSP (Third Party Logistics Service Provider) to 4LSP (Fourth Party Logistics Service Provider):a case study from Ireland

Increased competition, geographically expanded marketplaces, technology replication and an ever discerning consumer base, are reasons why companies need to regularly reappraise their competencies in terms of activities and functions they perform themselves. Where viable alternatives exist, companies should consider outsourcing of non-core activities and functions. Within SCM (Supply Chain Management) it could be preferable if a “one stop shop” existed for companies seeking to outsource functions identified as non-core. “Traditionally” structured LSP’s who have concentrated their service offer around providing warehousing and transport activities are potentially at a crossroads – clients and potential clients requiring “new” services which could increase LSP’s revenues if provided, whilst failure to provide could perhaps result in clients seeking outsourced services elsewhere.

Knowledge and acknowledgement in Serbia's response to Srebrenica

This article considers some post-Milosevic Serbian responses to the Srebrenica massacre. The focus is on responses which contain strategies of denial or which broadly attempt to explain or justify the massacre without engaging critically with the atrocity itself. These responses are by no means uniform, nor are they the only ones which are available in Serbia. They provide the focus of this article because their presence has usually been misinterpreted as Serbia's failure to come to terms with the past. As this article argues, the existence of denial strategies in politics is predominantly pragmatic, whilst in the media and in private individual narratives are part of a larger process of starting to re-examine the past. This article will focus on several illustrative instances from politics and the media, as well as an individual witness responses, in order to demonstrate the extent to which Srebrenica is still in the process of being understood.

Stress, burnout and coping strategies in the emergency and intensive care hospital departments

Doctors and nurses working at the accident and emergency (A&E), and intensive care departments are at risk of burnout. They often spend substantial time in intense interactions with other people, centered on patients? health problems (physical, psychological and social) that may lead to feelings of anger, anxiety and frustration, and eventually to burnout. Burnout is a syndrome of emotional exhaustion, depersonalization and reduced personal accomplishment (Maslach & Jackson, 1981) The purpose of this chapter is to assess work stressors, burnout and stress-coping mechanisms among doctors and nurses at the A&E and intensive care departments. A quantitative design using the survey approach was used to collect data from a sample of 200 participants with a response rate of 71% (n=154) Work stressors were associated with burnout in both doctors and nurses. Workload was the most salient work stressor in the sample. Nurses experienced more stress (M=1.5, SD=0.4) than doctors (M=1.2, SD=0.4) in all the work stressor variables examined. The A&E department was reported as more stressful than the intensive care department. Avoidance-oriented and task-oriented coping were the most and the least frequently reported coping strategies respectively. Additionally, only emotion-oriented coping strategy was significantly different between doctors and nurses, and this strategy was also significantly positively correlated with all the variables in the adapted nursing stress scale, and the three burnout variables. Death and dying was most strongly correlated with emotion-oriented coping. This chapter provides an assessment of stress, burnout and coping experienced by both doctors and nurses within the A&E and intensive care departments. Methods that may mitigate stress in these environments may be adequate staffing, supportive management, stress management programs, as well as improvement in communication strategies between doctors and nurses.