Idealized fault-tolerant components in requirements engineering

Authors:
Sadaf Mustafiz;Jörg Kienzle
Affiliations:
School of Computer Science, McGill University, Montreal, Quebec, Canada;School of Computer Science, McGill University, Montreal, Quebec, Canada
Venue:
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Year:
2011

Citing 9
Cited 0

Software requirements: objects, functions, and states

Software requirements: objects, functions, and states
A program structure for error detection and recovery

Operating Systems, Proceedings of an International Symposium
Exception handling in the development of dependable component-based systems

Software—Practice & Experience - Research Articles
A Fault-Tolerant Architectural Approach for Dependable Systems

IEEE Software
Architecting Fault-tolerant Component-based Systems: from requirements to testing

Electronic Notes in Theoretical Computer Science (ENTCS)
DREP: A Requirements Engineering Process for Dependable Reactive Systems

Methods, Models and Tools for Fault Tolerance
Dependability-oriented model-driven requirements engineering for reactive systems

Dependability-oriented model-driven requirements engineering for reactive systems
Exceptional use cases

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A method for modeling and testing exceptions in component-based software development

LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We have previously proposed a requirements development process, DREP, for dependable systems. In this paper, we draw a parallel between the notions defined in DREP and the elements of idealized fault-tolerant components (IFTCs). We show how the key ideas of IFTCs can be re-interpreted at the requirements engineering level and mapped to DREP concepts.