A novel approach for component-based fault-tolerant software development

Information and Software Technology

Volumn 47, Issue 6, 2005, Pages 365-382

  Sinha, Purnendu ^a   Hanumantharya, Anil ^b  

^a INDIAN INSTITUTE OF INFORMATION TECHNOLOGY   (India)

^b Sasken Technologies Ltd   (Canada)

Author keywords

Category theory; Component based design; Compositional verification; Fault tolerant software

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; COMPUTER SYSTEM RECOVERY; DETECTORS; FAULT TOLERANT COMPUTER SYSTEMS; THEOREM PROVING;

CATEGORY THEORY; COMPONENT-BASED DESIGN; COMPOSITIONAL VERIFICATION; FAULT-TOLERANT SOFTWARE;

SOFTWARE ENGINEERING;

EID: 15344350558     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2004.09.004     Document Type: Article

References (17)

1. A. Arora, and S. Kulkarni Component based design of multitolerant systems IEEE Transactions on Software Engineering 24 1 1998 63 78
2. A. Arora, and S. Kulkarni Designing masking fault-tolerance via nonmasking fault-tolerance IEEE Transactions on Software Engineering 24 6 1998 435 450
3. M. Barr, and C. Wells Category Theory for Computing Science second ed 1990 Prentice-Hall Englewood Cliffs, NJ
4. A.W. Brown, and K.C. Wallnau The current state of CBSE IEEE Software 1998 37 46
5. H. Ehrig, and B. Mahr Fundamentals of algebraic. Spec. 2, Module Spec. and Constraints 1990 Springer Berlin
6. C. Haines, D. Carney, J. Foreman, Component-Based Software Development/COTS Integration, http://www.sei.cmu.edu/str/descriptions/cbsd_body. html.
7. A. Hanumantharya, and P. Sinha On the use of category theory for component-based fault-tolerant software development Proceedings of the International Conference on Information Technology, Bhuwaneswar, India 2002 9 15
8. S. Kulkarni, and A. Arora Automating the addition of fault-tolerance Proceedings of the Sixth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Pune, India 2000 82 93
9. Z. Liu, and M. Joseph Transformation of programs for fault-tolerance Formal Aspects of Computing 4 5 1992 442 469
10. Z. Liu, and M. Joseph Verification of fault tolerance and real time FTCS-26, Sendai, Japan 1996 220 229
11. B.C. Pierce Basic Category Theory for Computer Scientists 1991 MIT Press Cambridge, MA
12. L.L. Pullum Software Fault-tolerance Techniques and Implementation 2001 Artech House Boston
13. K. Raymond A tree based algorithm for mutual exclusion ACM Transactions on Computer Systems 7 1989 61 77
14. F.B. Schneider Implementing fault tolerant services using state machine approach: a tutorial ACM Computing Surveys 22 4 1990 299 319
15. Y.V. Srinivas, and R. Jullig Specware(TM): formal support for composing software Proceedings of the Conference on Mathematics of Program Construction, Kloster Irsee, Germany 1995
16. J.L.A. van de Snepscheut Fair mutual exclusion on a graph of processes Distributed Computing 2 2 1987 113 115
17. J. Voas Certifying off-the-shelf software components IEEE Computer 31 6 1998 53 59