Safety Analysis Methodology in Microprocessor Critical Applications
نویسندگان
چکیده
When microprocessors are used in a safety critical application, the software can be responsible for safety functions. Furthermore, software is also responsible for the implementation of the Fault Cover Factor, especially hardware faults. In this paper are discussed some important aspects that must be considered in a safety analysis work. Also it’s proposed a methodology to be considered in critical microprocessors applications.
منابع مشابه
Microprocessor Evaluations for Safety - Critical , Real - Time Applications : Authority for Expenditure No . 43 Phase 3 Report
Department of Transportation in the interest of information exchange. The United States Government assumes no liability for the contents or use thereof. The United States Government does not endorse products or manufacturers. Trade or manufacturer's names appear herein solely because they are considered essential to the objective of this report. This document does not constitute FAA certificati...
متن کاملEmbedded Software Development For Safety Critical Systems
Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...
متن کاملExperimentally Evaluating an Automatic Approach for Generating Safety-Critical Software with Respect to Transient Errors
This paper deals with a software modification strategy allowing on-line detection of transient errors. Being based on a set of rules for introducing redundancy in the highlevel code, the method can be completely automated, and is therefore particularly suited for low-cost safety-critical microprocessor-based applications. Experimental results are presented and discussed, demonstrating the effec...
متن کاملDesigning Intelligent Control Systems for Safety Critical Applications
This paper presents a design methodology for behaviourbased intelligent control systems, which we argue is suited to safety critical applications. The methodology has a formal basis, and uses dynamical systems theory to prove system safety properties that are expressed in terms of Lyapunov stability. We propose a new computational model for implementation of these systems, which offers a reduct...
متن کاملEvaluating Critical Safety and Health Risks by Job Safety Analysis and Analytic Hierarchy Process in Industrial Printing
Background: Critical risks are one of the most important problems in industries, which have high costs for the industry. This study aimed to assess critical safety and health risks through job safety analysis and analytic hierarchy process in industrial printing. Materials and Methods: The present study was conducted as a descriptive and analytical in one of the printing industries in Iran, in...
متن کامل