Behavioural Preservation in Fault Tolerant Patterns

Behavioural Preservation in Fault Tolerant Patterns

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T18:21:26Z No. of bitstreams: 2 Dissertacao.pdf: 3554160 bytes, checksum: c0e2e7174583a750223705de5cd01844 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) === Made available in DSpace on 2...

Full description

Bibliographic Details
Main Author:	DIAS, Diego Machado
Other Authors:	IYODA, Juliano Manabu
Language:	English
Published:	Universidade Federal de Pernambuco 2015
Subjects:	Fault tolerant patterns HOL4 behavioural preservation refinement
Online Access:	https://repositorio.ufpe.br/handle/123456789/10473

Similar Items

A Foundation for Fault Tolerant Components
by: Leal, William Milo
Published: (2001)

Achieving privacy-preserving big data aggregation with fault tolerance in smart grid
by: Zhitao Guan, et al.
Published: (2017-11-01)

Design Patterns for Service-Based Fault Tolerant Mechatronic Systems
by: Lundqvist, Erik
Published: (2011)

Proof Auditing Formalised Mathematics
by: Mark Miles Adams
Published: (2016-01-01)

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
by: Yassmeen Elderhalli, et al.
Published: (2019-01-01)

Privacy-Preserving and Lightweight Selective Aggregation with Fault-Tolerance for Edge Computing-Enhanced IoT
by: Qiannan Wang, et al.
Published: (2021-08-01)

Perfect Concurrent Fault Detection in CMOS Logic Circuits Using Parity Preservative Reversible Gates
by: Sajjad Parvin, et al.
Published: (2019-01-01)

UpRight fault tolerance
by: Clement, Allen Grogan
Published: (2012)

Fault tolerance control of complex dynamical systems
by: Clements, N. Scott
Published: (2007)

Byzantine fault-tolerance and beyond
by: Martin, Jean-Philippe Etienne
Published: (2008)

Co-design of Fault-Tolerant Systems with Imperfect Fault Detection
by: Chen, Yi-Ching
Published: (2014)

Network Fault Tolerance System
by: Sullivan, John F
Published: (2000)

Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages
by: Tuong, Frédéric
Published: (2016)

FAULT DIAGNOSIS AND FAULT-TOLERANT CONTROL IN NONLINEAR SYSTEMS
by: ZHANG, XIAODONG
Published: (2002)

Low-cost assertion-based fault tolerance in hardware and software
by: Vemu, Ramtilak, 1981-
Published: (2012)

Systematic Review of Fault Tolerant Techniques in Underwater Sensor Networks
by: Lauri Vihman, et al.
Published: (2021-05-01)

Sensor Fault Diagnosis and Fault Tolerant Control for Automated Guided Forklift
by: Hanguo Kang, et al.
Published: (2021-01-01)

Architecture of the Formally-Verified Distributed Ledger System InnoChain
by: Leonid Al'bertovich Merkin-Janson, et al.
Published: (2020-12-01)

Supporting fault-tolerant communication in networks
by: Kanjani, Khushboo
Published: (2010)

Fundamental concepts for fault tolerant systems
by: Garnsworthy, Johnathan Randall
Published: (1990)

Fault tolerance and reliability patterns

Formal Verification of Language-Based Concurrent Noninterference
by: Andrei Popescu, et al.
Published: (2013-01-01)

Optical demonstration of quantum fault-tolerant threshold
by: Guo, G.-C, et al.
Published: (2022)

A separation logic framework for HOL
by: Tuerk, Thomas
Published: (2011)

Fault injection testing of software implemented fault tolerance mechanisms of distributed systems
by: Tao, Sha
Published: (1996)

Test and fault-tolerance for network-on-chip infrastructures
by: Grecu, Cristian
Published: (2008)

Test and fault-tolerance for network-on-chip infrastructures
by: Grecu, Cristian
Published: (2008)

Test and fault-tolerance for network-on-chip infrastructures
by: Grecu, Cristian
Published: (2008)

Distributed recovery in fault-tolerant interconnected networks
by: Mohammadi, Shahram
Published: (1990)

A foundation for fault tolerant components /
by: Leal, William,
Published: (2001)

APPLICATION AWARE FOR BYZANTINE FAULT TOLERANCE
by: Chai, Hua
Published: (2014)

Fault-tolerant Control of Unmanned Underwater Vehicles with Continuous Faults: Simulations and Experiments
by: Qian Liu, et al.
Published: (2010-02-01)

Threshold analysis with fault-tolerant operations for nonbinary quantum error correcting codes
by: Kanungo, Aparna
Published: (2005)

CNN-Based Intelligent Fault-Tolerant Control Design for Turbofan Engines With Actuator Faults
by: Dingding Cheng, et al.
Published: (2021-01-01)

Generalized Consensus for Practical Fault-Tolerance
by: Garg, Mohit
Published: (2018)

Design of generalized fault diagnosis observer and active adaptive fault tolerant controller for aircraft control system
by: Han, Y., et al.
Published: (2022)

Model-based Testing of Operating System-Level Security Mechanisms
by: Nemouchi, Yakoub
Published: (2016)

Fault and Error Tolerance in Neural Networks: A Review
by: Cesar Torres-Huitzil, et al.
Published: (2017-01-01)

Tolerating Permanent Faults in the Input Port of the Network on Chip Router
by: Hala J. Mohammed, et al.
Published: (2019-02-01)

Smart Intra-query Fault Tolerance for Massive Parallel Processing Databases
by: Yunhong Ji, et al.
Published: (2019-12-01)