Search results for "Fault-Hypothesis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Hermann Kopetz	On the Fault Hypothesis for a Safety-Critical Real-Time System.	ASWSD	2004	DBLP DOI BibTeX RDF	Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
53	Michelle M. Hugue, Richard C. Scalzo	Specifying fault tolerance in large complex computing systems.	ICECCS	1995	DBLP DOI BibTeX RDF	fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints
40	Henk Schepers, Jozef Hooman	Trace-Based Compositional Reasoning about Fault Tolerant Systems.	PARLE	1993	DBLP DOI BibTeX RDF	Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness
38	Sara Blanc, Joaquin Gracia, Pedro J. Gil	A Fault Hypothesis Study on the TTP/C Using VHDL-Based and Pin-Level Fault Injection Techniques.	DFT	2002	DBLP DOI BibTeX RDF
32	Jun Xie, Gaowei Yan, Keming Xie, Tsau Young Lin	Neuro-Fuzzy Model-Based CUSUM Method Application in Fault Detection on an Autonomous Vehicle.	GrC	2007	DBLP DOI BibTeX RDF
26	Alain Girault, Huafeng Yu	A flexible method to tolerate value sensor failures.	ETFA	2006	DBLP DOI BibTeX RDF
26	Wilfried Steiner, Michael Paulitsch, Hermann Kopetz	The TTA's Approach to Resilience after Transient Upsets.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	multiple failures, clique resolving, startup, self stabilization, recovery, Time-Triggered Architecture
23	Michael Paulitsch, Brendan Hall	Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation.	DSN	2007	DBLP DOI BibTeX RDF
23	Günther Bauer 0001, Hermann Kopetz, Wilfried Steiner	The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture.	ISADS	2003	DBLP DOI BibTeX RDF
16	Alain Girault, Hamoudi Kalla, Yves Sorel	Transient Processor/Bus Fault Tolerance for Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hybrid redundancy, safety-critical systems, transient faults, real-time embedded systems, scheduling heuristics, heterogeneous architectures, data fragmentation
15	Holger Pfeifer, Friedrich W. von Henke	Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.	SAFECOMP	2004	DBLP DOI BibTeX RDF
15	Roman Obermaisser, Philipp Peti	A Fault Hypothesis for Integrated Architectures.	WISES	2006	DBLP DOI BibTeX RDF
15	Hermann Kopetz	The fault-hypothesis for the time-triggered architecture.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
13	Wilfried Steiner, Michael Paulitsch, Hermann Kopetz	Multiple Failure Correction in the Time-Triggered Architecture.	WORDS Fall	2003	DBLP DOI BibTeX RDF
10	Qiuhua Zheng, Weihua Hu, Yuntao Qian, Min Yao, Xianglin Wang, Jing Chen	A Novel Approach for Network Event Correlation Based on Set Covering.	FSKD (3)	2008	DBLP DOI BibTeX RDF
10	Hermann Kopetz	TTA Supported Service Availability.	ISAS	2005	DBLP DOI BibTeX RDF