|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 34 occurrences of 31 keywords
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
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 |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|