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.

Techniques for automated taxonomy building: towards ontologies for knowledge management

Ontologies have become widely accepted as the main method for representing knowledge in Knowledge Management (KM) applica-tions. Given the continuous and rapid change and dynamic nature of knowledge in all fields, automated methods for construct-ing ontologies are of great importance. All ontologies or taxonomies currently in use have been hand built and require consider-able manpower to keep up to date. Taxono-mies are less logically rigorous than ontolo-gies, and in this paper we consider the re-quirements for a system which automatically constructed taxonomies. There are a number of potentially useful methods for construct-ing hierarchically organised concepts from a collection of texts and there are a number of automatic methods which permit one to as-sociate one word with another. The impor-tant issue for the successful development of this research area is to identify techniques for labelling the relation between two candi-date terms, if one exists. We consider a number of possible approaches and argue that the majority are unsuitable for our re-quirements.

Exploring innovation in policy-making within central government:the case of the UK's Highways Agency

The first and main contribution of this article is its access to the decision-making processes which drive innovation in policy-making within central government. The article will present a detailed case history of how the innovation came about and conclude by highlighting analytic possibilities for future research. The policy in focus is the UK’s Traffic Management Act 2004, which passed responsibility for managing incidents on major roads from the police to the Highways Agency (HA), and has been interpreted as a world first in traffic management. The article tracks the Traffic Management Act 2004 from problem identification to a preliminary evaluation. It is then suggested that future research could explain organizational change more theoretically. By taking a longitudinal and multi-level approach, the research falls into a processual account of organizational change. The second contribution of the article is to highlight two novel ways in which this approach is being applied to policy-making, through an institutional processualist research programme on public management reform and empirical investigations using complex systems to explain policy change.