NDLI: Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies

Content Provider	IEEE Xplore Digital Library
Author	Gluchowski, P.
Copyright Year	2009
Abstract	Minimal cut sets are one of the main results of analysis of fault trees with time dependencies. They contain events leading to a hazard (root of the tree). The events have minimal and maximal time intervals from both their start and end times to the possible appearance of the hazard. These informations may be useful in real-time operation of a system, for which the fault tree was constructed. To achieve it, while observing the working system, the real start and end times of events from the minimal cut sets must be registered to predict the time remaining to the hazard - possibly the time still left to repair a damage, to run a safety procedure, or even to halt the system before it crashes.This article presents a use of languages of CTL and RTCTL calculi in a description of the minimal cut sets and then a use of such a description in deductive real-time analysis of the described system.
Starting Page	33
Ending Page	41
File Size	1009148
Page Count	9
File Format	PDF
ISBN	9780769536743
DOI	10.1109/DepCoS-RELCOMEX.2009.12
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-06-30
Publisher Place	Poland
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Real time systems Fault trees Hazards Control systems Delay effects Automatic control Safety Computer crashes Control engineering computing Robot control real-time system analysis Fault trees with time dependencies temporal calculi
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

Duration Calculus for Analysis of Fault Trees with Time Dependencies

Partially automatic generation of fault-trees with time dependencies

Time Coordination of Distance Protections Using Probabilistic Fault Trees With Time Dependencies

Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies

Automatic safety analysis of networked control system based on failure propagation model

Safety Analysis of Ada Programs Using Fault Trees

Distributed fault tolerant control of the two-tanks system benchmark

A general framework for applying safety analysis to safety critical real-time applications using fault trees

On fault diagnosis tree and its control flow

Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies

Similar Documents

Duration Calculus for Analysis of Fault Trees with Time Dependencies

Partially automatic generation of fault-trees with time dependencies

Time Coordination of Distance Protections Using Probabilistic Fault Trees With Time Dependencies

Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies

Automatic safety analysis of networked control system based on failure propagation model

Safety Analysis of Ada Programs Using Fault Trees

Distributed fault tolerant control of the two-tanks system benchmark

A general framework for applying safety analysis to safety critical real-time applications using fault trees

On fault diagnosis tree and its control flow

Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies