NDLI: Automatic Generation of Markov Models in Safety Instrumented Systems with Non-identical Channels

Content Provider	IEEE Xplore Digital Library
Author	Hao Yang Xianhui Yang
Copyright Year	2010
Abstract	Existing methods of automatic creation for Markov models were limited to systems with identical channels. This paper focuses on how to automatically generate the Markov models of systems with non-identical channels. Each channel is characterized by its own failure rate. The system state matrix is defined and the failure criterion of the state is given. The automatic creation framework for system with non-identical channels is introduced in flow diagram. A computer program based on the automatic creation framework is developed. Many safety related factors, such as failure modes, restorations, common cause failures, self-diagnostic and repair rates are included in this framework. Finally, an example of 1oo2D system is studied, which shows that the average probability of failure on demand (PFDavg) of the system is closely related to the diversity of the channel’s failure rate. The results show that the diversity of the channel should not be neglected when building the precise Markov model of the safety system.
Starting Page	287
Ending Page	290
File Size	359165
Page Count	4
File Format	PDF
ISBN	9781424476695
e-ISBN	9781424476701
DOI	10.1109/ISME.2010.200
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-08-07
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computers Computational modeling Instruments Automatic modeling Computer architecture Markov processes Safety instrumented systems Markov models Safety Reliability
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Computer models for algorithmic music composition

Modeling and reliability assessment of a 3-channel safety-instrumented system

AutoLeadGuitar: Automatic generation of guitar solo phrases in the tablature space

Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets

Accurate modeling of shared components in high reliability applications

Software safety analysis of 2-out-of-3 redundant architecture system based on Markov model

Automatic Generation of Service Availability Models

Coverage influence on the dependability of PLC architectures

An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters

Automatic Generation of Markov Models in Safety Instrumented Systems with Non-identical Channels

Similar Documents

Computer models for algorithmic music composition

Modeling and reliability assessment of a 3-channel safety-instrumented system

AutoLeadGuitar: Automatic generation of guitar solo phrases in the tablature space

Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets

Accurate modeling of shared components in high reliability applications

Software safety analysis of 2-out-of-3 redundant architecture system based on Markov model

Automatic Generation of Service Availability Models

Coverage influence on the dependability of PLC architectures

An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters

Automatic Generation of Markov Models in Safety Instrumented Systems with Non-identical Channels