DigitalWorld 2015
February 22 - 27, 2015 - Lisbon, Portugal

ComputationWorld 2015
March 22 - 27, 2015 - Nice, France

NexComm 2015
April 19 - 24, 2015 - Barcelona, Spain

InfoSys 2015
May 24 - 29, 2015 - Rome, Italy

BioSciencesWorld 2015
May 24 - 29, 2015 - Rome, Italy

DataSys 2015
June 21 - 26, 2015 - Brussels, Belgium

NexTech 2015
July 19 - 24, 2015 - Nice, France

NetWare 2015
August 23 - 28, 2015 - Venice, Italy

InfoWare 2015
October 11 - 16, 2015 - St. Julians, Malta

SoftNet 2015
November 15 - 20, 2015 - Barcelona, Spain

 

ThinkMind // DEPEND 2011, The Fourth International Conference on Dependability // View article depend_2011_1_30_40038


Specification and Verification of the Triple-Modular Redundancy Fault Tolerant System using CSP

Authors:
Tan Lanfang
Tan Qingping
Li Jianli

Keywords: TMR System; fault tolerance; verification; CSP

Abstract:
A case study on the application of Communicating Sequential Processes (CSP) to the specification and verification of fault tolerant systems is presented. The Triple-Modular Redundancy (TMR) mechanism is a classical design technique for tolerating hardware errors. By specifying the behavior of the faultless module as a CSP process, the behavior of TMR system suffering from hardware errors can be verified as a refinement of the one of the faultless module.

Pages: 14 to 17

Copyright: Copyright (c) IARIA, 2011

Publication date: August 21, 2011

Published in: conference

ISSN: 2308-4324

ISBN: 978-1-61208-149-6

Location: Nice/Saint Laurent du Var, France

Dates: from August 21, 2011 to August 27, 2011

SERVICES CONTACT
2010 - 2014 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.