Assertions in Modern Software Engineering Practice
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Discovering faults in idiom-based exception handling
Proceedings of the 28th international conference on Software engineering
Architecting Dependable Systems III (Lecture Notes in Computer Science)
Architecting Dependable Systems III (Lecture Notes in Computer Science)
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science)
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science)
Architecting Dependable Systems II
Architecting Dependable Systems II
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A Localized Software-based approach for Fault-Tolerant Ethernet (LSFTE)
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
Journal of Systems Architecture: the EUROMICRO Journal
Performability modeling of exceptions-aware systems in multiformalism tools
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
| Hi-index | 0.00 |
Experience suggests that it is edifying to talk about software crises at NATO workshops. It is argued in this position paper that proper engineering of fault tolerance software has not been getting the attention it deserves. The paper outlines the difficulties in building fault tolerant systems and describes the challenges software fault tolerance is facing. The solution being advocated is to place a special emphasis on fault tolerance software engineering which would provide a set of methods, techniques, models and tools that would exactly fit application domains, fault assumptions and system requirements and support disciplined and rigorous fault tolerance throughout all phases of the life cycle. The paper finishes with an outline of some directions of work requiring special focused efforts from the R&D community.