Formal verification of a fault tolerant computer (original) (raw)
Related papers
Design and architectures for dependable embedded systems
Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '11, 2011
A mathematical Tool for Support of Fault-Tolerant Embedded Systems Design
2007
Formal Verification of Fault Tolerant NoC-based Architecture
2012
Proceedings 6th IEEE International On-Line Testing Workshop (Cat. No.PR00646), 2000
Issues in the Implementation of a Fault-Tolerant Hardware Platform
IFAC Proceedings Volumes, 2003
High Level Design Proof of a Reliable Computing Platform
Dependable Computing and Fault-Tolerant Systems, 1992
Requirements specification and analysis of fault-tolerant digital systems
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2002
Design and Verification of Fault-Tolerant Components
Lecture Notes in Computer Science, 2009
Hardware implementation of fault-tolerance in dual computer systems
Quality and Reliability Engineering International, 2009
Software-implemented hardware fault tolerance
2006
Formal Verification of Fault Tolerant NoC-base Architecture
Models & Optimisation and Mathematical Analysis Journal, 2012
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering, 1995
Design strategy for a formally verified reliable computing platform
COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance, 1991
Fault Tolerant Computer Architecture
Synthesis Lectures on Computer Architecture, 2009
Experimental Evaluation of Hardware/Software Fault Tolerance
IFAC Proceedings Volumes, 2000
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1994
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
2009
Design and Analysis of a Fault Tolerant Microprocessor Based on Triple Modular Redundancy Using VHDL
Design of a real time operating system for a fault tolerant microcomputer
Computers & Security, 1988
Hardware Fault-Tolerance:Possibilitiesand Limitations offeredby Transputers
Online check and recovery techniques for dependable embedded processors
IEEE Micro, 2001
Formally Verifying Fault Tolerant System Designs
The Computer Journal, 2000
Specification and Design Considerations for Reliable Embedded Systems
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications
The Computer Journal, 2001
Hardware-supported fault tolerance for multiprocessors
Proc. Architektur von …, 1997
Design of Fault Tolerant Computer Systems using Graded Components
12th International Conference on Fault-Tolerant Systems and Diagnostics, 1989
Towards tolerating faults by triple modular redundancy
Journal of Software Engineering & Intelligent Systems
Journal of Software Engineering & Intelligent Systems, 2017
Towards the formal verification of the requirements and design of a processor interface unit
1993
FAULT TOLERANCE FOR DIGITAL SYSTEMS
Fault-tolerant computing: An overview
Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study
IFIP WG10.3 Publications, 2002
Analysis of fault tolerant computer systems
Microelectronics Reliability, 1987