The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper, we apply model-driven techniques to create a link between bottom-up and top-down safety analysis methods. Around MetaFPA, an internal framework for Metamodeling-based Failure Propagation Analysis, we build a safety evaluation environment integrating standard tools used for FMEDA: Failure Modes, Effects, and Diagnostic Analysis (e.g., Excel spreadsheets) and FTA: Fault Tree Analysis...
Fault trees constitute one of the essential formalisms for static safety analysis of various industrial systems. Dynamic fault trees (DFT) enrich the formalism by time-dependent behavior, e.g., repairs or functional dependencies. Analysis of DFT is so far limited to substantially smaller models than those required for, e.g., nuclear power plants. We propose a fault tree formalism that combines both...
This paper proposes an approach for testing of safety critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility and necessary changes are identified to make them compatible. Then transformation rules are used to transform the fault model into the same model type as the behavioral model. Integration rules define how to combine them. This approach...
Probabilistic Safety Assessment (PSA) has been widely used in nuclear safety and reliability field in recent years. PSA is playing a positive role in these fields and the analysis programs are also in rapid development, but the model created by one program cannot be used in another, so the results are difficult to be cross verified. A universal method is develped based on Open-PSA platform to solve...
This paper focuses on safety model of embedded system architecture using AADL (Architecture Analysis and Design Language). It achieves both the foundation of fault model annex to specify safety requirements and the transformation from AADL safety model to DSPN (Deterministic Stochastic Petri Net) model. Then AADL architecture safety computation model can be accessed by the means of numerical simulation...
Autonomous systems are often needed to perform tasks in complex and dynamic environments. For this class of systems, traditional safety assuring methods are not satisfying due to the unknown effects of the interacting system with an open environment. Briefly speaking: What is not known during the development phase, can not be adequately considered. In order to realize a more flexible safety analysis,...
Problem frames are an approach to requirements modeling that is gaining increasing attention and popularity. A few meta-models have already been proposed to precisely define the notation and -in some cases- to support the construction of tools. However, the meta-models proposed till now concentrate on modeling the single problem frame, without addressing the whole problem. This is particularly limiting,...
The paper tackles the problem of property qualification focusing in particular on the identification of vacuous properties. It proposes a methodology based on a combination of dynamic and static techniques that, given a set of properties defined to check the correctness of a design implementation, performs vacuity detection. Existing approaches for vacuity checking are as complex as model checking,...
As software systems are encompassing a wide range of fields and applications, software reliability becomes a crucial step. The need for safety analysis and test cases that have high probability to uncover plausible faults are necessities in proving software quality. System models that represent only the operational behavioral of a system are incomplete sources for deriving test cases and performing...
This paper introduces a novel current sense amplifier (CSA) in sub-32nm fully depleted (FD) double-gate (DG) silicon-on-insulator (SOI) technology with planar independent self-aligned gates. A new architecture is proposed which takes advantage of the back gate in order to improve circuit properties. Compared to the reference circuit, the new architecture proves to be faster (21% sensing delay decrease),...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.