An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.

Comunicação, cultura e design em tempos de consumo sustentável. O caso McGreen

O presente estudo visa estabelecer a relação comunicação-cultura-design por meio da importância do design de comunicação no processo de comunicação gerado na reconstrução de uma imagem corporativa já consolidada para uma empresa que busca responder à cultura do consumo consciente e sustentável. Esse processo resulta no imaginário e consequentemente na imagem corporativa expressa por meio do redesign verificado em campanhas publicitárias, fachadas e internet. Para isso, será tomado por base o referencial teórico dos estudos que relacionem cultura e consumo, além de teóricos que discutem os temas da imagem e do imaginário. Será utilizada como metodologia além da pesquisa bibliográfica, a pesquisa qualitativa. Por isso, no intuito de averiguar na prática a teoria apresentada, revela-se um estudo de caso sobre a mudança na comunicação e identidade visual na rede de McDonald s no Brasil, observando-se descritivamente as alterações ocorridas na Europa como uma ousada estratégia de redesign para a rede. Parte-se da premissa de que tal ação tem o intuito de fortalecer uma imagem corporativa de ambientalmente amigável naquele país cuja cultura visa assegurar criteriosamente a proteção à saúde de seus habitantes, cada vez mais rigorosos no controle dos produtos consumidos.

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 adoption of value-based management in large UK companies:a case for diffusion theory

Purpose – In the 1990s, a growing number of companies adopted value-based management (VBM) techniques in the UK. The purpose of this paper is to explore the motivations for the adoption or non-adoption of VBM for managing a business. Design/methodology/approach – An interview-based study of 37 large UK companies. Insights from diffusion theory and institutional theory are utilised to theorise these motivations. Findings – It was found that the rate of adoption of VBM in the sample companies does follow the classical S-shape. It also suggests that the supply-side of the diffusion process, most notably the role played by consultants, was an influence on many companies. This was not, however, a sufficient condition for companies to adopt the technique. The research also finds evidence of relocation diffusion, as several adopters are influenced by new officers, for example chief executive officers and finance directors, importing VBM techniques that they have used in organizations within which they have previously worked. Research limitations/implications – It is quite a small scale study and further work would be needed to develop the findings. Practical implications – Understanding and theorising the adoption of new management techniques will help understand the management of a business. Originality/value – This research adds further evidence to the value of studying management accounting, and more specifically management accounting change, in practice. It shows the developments in the adoption of a new technique and hence how a technique becomes accepted in practice.

Using simulation for facility design: a case study

A discrete event simulation model was developed and used to estimate the storage area required for a proposed overseas textile manufacturing facility. It was found that the simulation was able to achieve this because of its ability to both store attribute values and to show queuing levels at an individual product level. It was also found that the process of undertaking the simulation project initiated useful discussions regarding the operation of the facility. Discrete event simulation is shown to be much more than an exercise in quantitative analysis of results and an important task of the simulation project manager is to initiate a debate among decision makers regarding the assumptions of how the system operates.

The primacy of theory

Purpose – The purpose of this editorial is to provide indicative guidance to prospective EJM contributors of the importance of theoretical development to the success of submissions. Design/methodology/approach – The authors use a combination of conceptual thinking and theoretical literature to present key concepts of theory and its relevance to a manuscript's contribution to knowledge. Findings – The authors propose some guidelines for researchers who wish to publish the results of their work in EJM, and these also have relevance to other top academic journals. Research limitations/implications – The topic of theoretical conceptualisation and development is a complex one. Because of space constraints, the coverage of many issues is necessarily brief in this article. Practical implications – Scholars should find the thoughts contained in this article to be of significant benefit to their publication efforts in EJM and other top journals. Originality/value – While other top marketing journals have in the past provided similar guideline-style pieces, this is one of the few to be written from an inclusive perspective, with the explicit focus on the theoretical development stage.

Strategic group theory:review, examination and application in the UK pharmaceutical industry

Purpose – The purpose of this paper is to consider the current status of strategic group theory in the light of developments over the last three decades. and then to discuss the continuing value of the concept, both to strategic management research and practising managers. Design/methodology/approach – Critical review of the idea of strategic groups together with a practical strategic mapping illustration. Findings – Strategic group theory still provides a useful approach for management research, which allows a detailed appraisal and comparison of company strategies within an industry. Research limitations/ implications – Strategic group research would undoubtedly benefit from more directly comparable, industry-specific studies, with a more careful focus on variable selection and the statistical methods used for validation. Future studies should aim to build sets of industry specific variables that describe strategic choice within that industry. The statistical methods used to identify strategic groupings need to be robust to ensure that strategic groups are not solely an artefact of method. Practical implications – The paper looks specifically at an application of strategic group theory in the UK pharmaceutical industry. The practical benefits of strategic groups as a classification system and of strategic mapping as a strategy development and analysis tool are discussed. Originality/value – The review of strategic group theory alongside alternative taxonomies and application of the concept to the UK pharmaceutical industry.

Reliability:its implications in production systems design

Research on production systems design has in recent years tended to concentrate on ‘software’ factors such as organisational aspects, work design, and the planning of the production operations. In contrast, relatively little attention has been paid to maximising the contributions made by fixed assets, particularly machines and equipment. However, as the cost of unproductive machine time has increased, reliability, particularly of machine tools, has become ever more important. Reliability theory and research has traditionally been based in the main on electrical and electronic equipment whereas mechanical devices, especially machine tools, have not received sufficiently objective treatment. A recently completed research project has considered the reliability of machine tools by taking sample surveys of purchasers, maintainers and manufacturers. Breakdown data were also collected from a number of engineering companies and analysed using both manual and computer techniques. Results obtained have provided an indication of those factors most likely to influence reliability and which in turn could lead to improved design and selection of machine tool systems. Statistical analysis of long-term field data has revealed patterns of trends of failure which could help in the design of more meaningful maintenance schemes.

Using grounded theory for theory building in operations management research:a study on inter-firm relationship governance

Purpose – Qualitative theory building approaches, such as grounded theory method (GTM), are still not very widespread and rigorously applied in operations management (OM) research. Yet it is agreed that more systematic observation of current industrial phenomena is necessary to help managers deal with their problems. The purpose of this paper is to provide an example to help guide other researchers on using GTM for theory building in OM research. Design/methodology/approach – A GTM study in the German automotive industry consisting of 31 interviews is followed by a validation stage comprising a survey (110 responses) and a focus group. Findings – The result is an example of conducting GTM research in OM, illustrated by the development of the novel collaborative enterprise governance framework for inter-firm relationship governance in the German automotive industry. Research limitations/implications – GTM is appropriate for qualitative theory building research, but the resultant theories need further testing. Research is necessary to identify the transferability of the collaborative enterprise governance concept to other industries than automotive, to other organisational areas than R&D and to product and service settings that are less complex and innovative. Practical implications – The paper helps researchers make more informed use of GTM when engaging in qualitative theory building research in OM. Originality/value – There is a lack of explicit and well-informed use of GTM in OM research because of poor understanding. This paper addresses this deficiency. The collaborative enterprise governance framework is a significant contribution in an area of growing importance within OM.