Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems

Abstract

In the field of automatic quality or safety assurance level evaluation, this paper proposes the first approach towards the automation of the extraction processes of both the valid and faulty state machines within a System-on-a-Chip. The data automatically extracted by this method is a relevant input for behavioural modelization and FMEA analysis. The method is based on a semi-automated approach for the systematic extraction of failure modes of a digital design in the hypothesis of a singleevent upset (SEU) or stuck-at in flip-flops. This procedure aims to enhance human driven failure analysis and provide inputs for RAMS frameworks in the process of quality assurance of complex devices. The main objective is to transport and apply RAMS methods and tools in the area of SoCs design. Experimental results have been conducted on an I2C -AHB system, laying the base for a complete and more complex analysis on an entire SoC.

Automatic Failure Mode and Effect Analysis of Electronic Fuel Injection Model

“…Like the traditional FMEA, the model simulation can generate the failure effects at three levels: the local effect, next effect, and end effect. The Hip-Hop FMEA tool automatically analyzes the Simulink model, identifies FTA synthesis, fault modes, and creates FMEA tables [21]. In the process of creating an FTA, the analysis model is optimized with a minimalcut set.…”

“…Meanwhile, the complexity of software in electric equipment has increased rapidly, making it very difficult to analyze system fault-failure causalities and their impacts [17]. To address these challenges, leading organizations are pursuing modelbased SW development, including UML, SysML, and Simulink [18][19][20][21][22][23][24].…”

“…In Model-based Design (MBD), the design model describes the function of the system and its behavior utilizing the graphical objects of various types [UML, SysML]. The MBD and FMEA process can be integrated to simulate the failure effects at the various level from the local level up to the vehicle or system level [21]. This approach can evaluate the causality of the fault-failure for a limited number of cases [25,26].…”

“…Second, the Automatic FMEA tool analyzes the causality between the failure modes and the failure effects by performing model-based fault injection simulation. The existing model based FMEA analysis tool [21] automatically analyzes the Simulink model and creates FMEA tables for a limited number of cases. Here, each failure data (failure-rate, failure effects, etc.)…”

Software Product Reliability Based on Basic Block Metrics Recomposition

“…This paper not only wants to furthermore analyse the behaviour of software failure due to hardware propagated fault but parallely to the main research [8] path that applies these new methodology to Hardware design in order to simplify the * Institut National Polytechnique Grenoble Alpes reliability assessment, the idea of applying the same method in the scope of the assessment of the reliability of software has never been tested. In order to do so, there is the need to specify the main characteristic that Software Products have, fundamental to lay the basis for the described work.…”