Model-based dependability analysis : state-of-the-art, challenges and future outlook

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. The other utilizes design models - typically state automata - to explore system behaviour through fault injection. This paper reviews a number of prominent techniques under these two paradigms, and provides an insight into their working mechanism, applicability, strengths and challenges, as well as recent developments within these fields. We also discuss the emerging trends on integrated approaches and advanced analysis capabilities. Lastly, we outline the future outlook for model-based dependability analysis

Survey on the use of computational optimisation in UK engineering companies

The aim of this work is to capture current practices in the use of computational optimisation in UK engineering companies and identify the current challenges and future needs of the companies. To achieve this aim, a survey was conducted from June 2013 to August 2013 with 17 experts and practitioners from power, aerospace and automotive Original Equipment Manufacturers (OEMs), steel manufacturing sector, small- and medium-sized design, manufacturing and consultancy companies, and optimisation software vendors. By focusing on practitioners in industry, this work complements current surveys in optimisation that have mainly focused on published literature. This survey was carried out using a questionnaire administered through face-to-face interviews lasting around 2 h with each participant. The questionnaire covered 5 main topics: (i) state of optimisation in industry, (ii) optimisation problems, (iii) modelling techniques, (iv) optimisation techniques, and (v) challenges faced and future research areas. This survey identified the following challenges that the participant companies are facing in solving optimisation problems: large number of objectives and variables, availability of computing resources, data management and data mining for optimisation workflow, over-constrained problems, too many algorithms with limited help in selection, and cultural issues including training and mindset. The key areas for future research suggested by the participant companies are as follows: handling large number of variables, objectives and constraints particularly when solution robustness is important, reducing the number of iterations and evaluations, helping the users in algorithm selection and business case for optimisation, sharing data between different disciplines for multi-disciplinary optimisation, and supporting the users in model development and post-processing through design space visualisation and data mining

An overview of virtual city modelling : emerging organisational issues

This paper presents a recent overview of the increasing use of Virtual Reality (VR) technologies for the simulation of urban environments. It builds on previous research conducted on the identification of three-dimensional (3D) city models and offers an analysis of the development, utilization and construction of VR city models. Issues pertaining to advantages, barriers and ownership are identified. The paper describes a case study of the development of a VR model for the city of Newcastle upon Tyne in the UK and outlines the role that academic institutions can play in both the creation and utilization of urban models. The study offers a new approach for the creation, management and update of urban models and reflects on issues which are emerging. Areas for future research are discussed

EUROMOD: the European Union tax-benefit microsimulation model

This paper aims to provide an introduction to the current state of the art of EUROMOD, the European Union tax-benefit microsimulation model. It explains the original motivations for building a multi-country EU-wide model and summarises its current organisation. It provides an overview of EUROMOD components, covering its policy scope, the input data, the validation process and some technical aspects such as the tax-benefit programming language and the user interface. The paper also reviews some recent applications of EUROMOD and, finally, considers future developments

BRAHMS: Novel middleware for integrated systems computation

Biological computational modellers are becoming increasingly interested in building large, eclectic models, including components on many different computational substrates, both biological and non-biological. At the same time, the rise of the philosophy of embodied modelling is generating a need to deploy biological models as controllers for robots in real-world environments. Finally, robotics engineers are beginning to find value in seconding biomimetic control strategies for use on practical robots. Together with the ubiquitous desire to make good on past software development effort, these trends are throwing up new challenges of intellectual and technological integration (for example across scales, across disciplines, and even across time) - challenges that are unmet by existing software frameworks. Here, we outline these challenges in detail, and go on to describe a newly developed software framework, BRAHMS. that meets them. BRAHMS is a tool for integrating computational process modules into a viable, computable system: its generality and flexibility facilitate integration across barriers, such as those described above, in a coherent and effective way. We go on to describe several cases where BRAHMS has been successfully deployed in practical situations. We also show excellent performance in comparison with a monolithic development approach. Additional benefits of developing in the framework include source code self-documentation, automatic coarse-grained parallelisation, cross-language integration, data logging, performance monitoring, and will include dynamic load-balancing and 'pause and continue' execution. BRAHMS is built on the nascent, and similarly general purpose, model markup language, SystemML. This will, in future, also facilitate repeatability and accountability (same answers ten years from now), transparent automatic software distribution, and interfacing with other SystemML tools. (C) 2009 Elsevier Ltd. All rights reserved

Effect of flow pattern at pipe bends on corrosion behaviour of low carbon steek and its challenges

Recent design work regarding seawater flow lines has emphasized the need to identify, develop, and verify critical relationships between corrosion prediction and flow regime mechanisms at pipe bend. In practice this often reduces to an pragmatic interpretation of the effects of corrosion mechanisms at pipe bends. Most importantly the identification of positions or sites, within the internal surface contact areas where the maximum corrosion stimulus may be expected to occur, thereby allowing better understanding, mitigation, monitoring and corrosion control over the life cycle. Some case histories have been reviewed in this context, and the interaction between corrosion mechanisms and flow patterns closely determined, and in some cases correlated. Since the actual relationships are complex, it was determined that a risk based decision making process using selected ‘what’ if corrosion analyses linked to ‘what if’ flow assurance analyses was the best way forward. Using this in methodology, and pertinent field data exchange, it is postulated that significant improvements in corrosion prediction can be made. This paper outlines the approach used and shows how related corrosion modelling software data such as that available from corrosion models Norsok M5006, and Cassandra to parallel computational flow modelling in a targeted manner can generate very noteworthy results, and considerably more viable trends for corrosion control guidance. It is postulated that the normally associated lack of agreement between corrosion modelling and field experience, is more likely due to inadequate consideration of corrosion stimulating flow regime data, rather than limitations of the corrosion modelling. Applications of flow visualization studies as well as computations with the k-ε model of turbulence have identified flow features and regions where metal loss is a maximu

Who Watches the Watchmen? An Appraisal of Benchmarks for Multiple Sequence Alignment

Multiple sequence alignment (MSA) is a fundamental and ubiquitous technique in bioinformatics used to infer related residues among biological sequences. Thus alignment accuracy is crucial to a vast range of analyses, often in ways difficult to assess in those analyses. To compare the performance of different aligners and help detect systematic errors in alignments, a number of benchmarking strategies have been pursued. Here we present an overview of the main strategies--based on simulation, consistency, protein structure, and phylogeny--and discuss their different advantages and associated risks. We outline a set of desirable characteristics for effective benchmarking, and evaluate each strategy in light of them. We conclude that there is currently no universally applicable means of benchmarking MSA, and that developers and users of alignment tools should base their choice of benchmark depending on the context of application--with a keen awareness of the assumptions underlying each benchmarking strategy.Comment: Revie

2011 Strategic roadmap for Australian research infrastructure

The 2011 Roadmap articulates the priority research infrastructure areas of a national scale (capability areas) to further develop Australia’s research capacity and improve innovation and research outcomes over the next five to ten years. The capability areas have been identified through considered analysis of input provided by stakeholders, in conjunction with specialist advice from Expert Working Groups   It is intended the Strategic Framework will provide a high-level policy framework, which will include principles to guide the development of policy advice and the design of programs related to the funding of research infrastructure by the Australian Government. Roadmapping has been identified in the Strategic Framework Discussion Paper as the most appropriate prioritisation mechanism for national, collaborative research infrastructure. The strategic identification of Capability areas through a consultative roadmapping process was also validated in the report of the 2010 NCRIS Evaluation. The 2011 Roadmap is primarily concerned with medium to large-scale research infrastructure. However, any landmark infrastructure (typically involving an investment in excess of $100 million over five years from the Australian Government) requirements identified in this process will be noted. NRIC has also developed a ‘Process to identify and prioritise Australian Government landmark research infrastructure investments’ which is currently under consideration by the government as part of broader deliberations relating to research infrastructure. NRIC will have strategic oversight of the development of the 2011 Roadmap as part of its overall policy view of research infrastructure