https://hull-repository.worktribe.com/preview/463683/EFA%20with%20HiP-HOPS.pdf

Engineering failure analysis and design optimisation with HiP-HOPS

Reliability study of complex physical systems using SysML

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage.

https://researchbank.swinburne.edu.au/file/f2d7bf97-685e-4975-b96c-8493cfe3b6bf/1/PDF (Accepted manuscript).pdf

Model-Driven safety evaluation with state-event-based component failure annotations

In one embodiment, the invention is a method and apparatus for failure recovery for stream processing applications. One embodiment of a method for providing a failure recovery mechanism for a stream processing application includes receiving source code for the stream processing application, wherein the source code defines a fault tolerance policy for each of the components of the stream processing application, and wherein respective fault tolerance policies defined for at least two of the plurality of components are different, generating a sequence of instructions for converting the state(s) of the component(s) into a checkpoint file comprising a sequence of storable bits on a periodic basis, according to a frequency defined in the fault tolerance policy, initiating execution of the stream processing application, and storing the checkpoint file, during execution of the stream processing application, at a location that is accessible after failure recovery.

Failure recovery for stream processing applications

Risk-based ship design demands advanced tools to accomplish the safety assessment of a given design. In this chapter, the background theory for the development and examples of application of related risk-based tools and of assessment procedures will be given. These tools and methods facilitate the analysis of the initiation and of the consequences of a variety of hazards, like system failure, collision, grounding, structural failure, fire, flooding and loss of intact stability. Finally tools for the simulation and analysis of evacuation, mustering & rescue procedures will be presented.

Methods and Tools

Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA technology. In this paper, we describe a new tool for the automatic synthesis of FMEAs which builds upon our earlier work on fault tree synthesis. The tool constructs FMEAs from engineering diagrams (e.g. developed in Matlab-Simulink) that have been augmented with information about component failures. To generate a system FMEA, the tool first generates a "forest" of interconnected system fault trees by traversing the system model. This "forest" is then mechanically translated into a simple table of direct relationships between component and system failures, effectively a system FMEA. We describe the architecture of the tool and demonstrate its application on a steer-by-wire prototype. We also discuss its performance and show that this approach could lead to efficient ways of generating useful analyses from design representations.

A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs

Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously. This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the “agile research method” taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design.

/pdf/acumen-an-open-source-testbed-for-cyber-physical-systems-2sqrgyp0l6.pdf

Acumen: An Open-source Testbed for Cyber-Physical Systems Research

This paper presents a method to support designers and product planners in determining the functionalities that should be implemented in a product and those that should not. The proposed method identifies the set of customer functions and technical implementations that maximise the potential product profit. The customer functions represent the functionality of the product, and the technical implementations are the hardware and software components needed to realise these functions. For industrial applications, the numbers of possible combinations of customer functions and technical implementations are extremely large. We present a mathematical framework that handles this problem. Furthermore, optimisation is employed to find the set of customer functions that will maximise profit when subjected to a restricted development budget in order to find the best possible business case. The method was evaluated on an industrial case study of active safety systems performed at Volvo Cars. Based on this case study, the proposed method shows a substantial potential compared to the methods presently used.

A method for evaluating functional content in mechatronic systems using optimisation

The present invention relates to a system (1) and method for autonomous rear impact mitigation in a host vehicle (2) having a brake system (4) and a steering system (5). The relative motion parameters between the host vehicle (2) and a second vehicle (11) behind the host vehicle (2) are established. While the host vehicle (2) has a positive velocity, the brake system (4) of the host vehicle (2) is selectively activated based on the determined relative motion parameters.

Rear end collision mitigation system for an automotive vehicle

Simulation traditionally computes individual trajectories, which severely limits the assessment of overall system behaviour. To address this fundamental shortcoming, we rely on computing enclosures ...

Christian Grante

Papers

A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs

Acumen: An Open-source Testbed for Cyber-Physical Systems Research

A method for evaluating functional content in mechatronic systems using optimisation

Rear end collision mitigation system for an automotive vehicle

Domain analysis for standardised functional safety : A case study on design-time verification of automatic emergency braking