research-article

Design-driven development methodology for resilient computing

Authors:

Miruna Stoicescu,

Emilie Balland,

Charles Consel,

Laurence Duchien,

Jean-Charles Fabre,

Matthieu RoyAuthors Info & Claims

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Pages 59 - 64

https://doi.org/10.1145/2465449.2465458

Published: 17 June 2013 Publication History

Abstract

Resilient computing is defined as the ability of a system to stay dependable when facing changes. To mitigate faults at runtime, dependable systems are augmented with fault tolerance mechanisms such as replication techniques. These mechanisms have to be systematically and rigorously applied in order to guarantee the conformance between the application runtime behavior and its dependability requirements.

The main contribution of this paper is to propose a design-driven development methodology for resilient computing systems. Our approach consists of refining the design with specifications dedicated to the dependability concerns. This design is then leveraged to support the development of the application while ensuring the traceability of the dependability requirements along the application life-cycle, including runtime adaptation.

References

[1]

J. Aldrich, C. Chambers, and D. Notkin. ArchJava: connecting software architecture to implementation. In ICSE'02: Proceedings of the 24th International Conference on Software Engineering, pages 187--197. IEEE, 2002.

Digital Library

[2]

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. Transactions on Dependable and Secure Computing, 1(1):11--33, 2004.

Digital Library

[3]

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J.-B. Stefani. The Fractal Component Model and its Support in Java. Software: Practice and Experience & Special issue on Experiences with Auto-adaptive and Reconfigurable Systems, 36(11-12):1257--1284, Aug. 2006. John Wiley & Sons.

Digital Library

[4]

D. Cassou, E. Balland, C. Consel, and J. Lawall. Leveraging software architectures to guide and verify the development of Sense/Compute/Control applications. In ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, pages 431--440. ACM, 2011.

Digital Library

[5]

D. Cassou, J. Bruneau, C. Consel, and E. Balland. Towards a tool-based development methodology for pervasive computing applications. Transactions on Software Engineering, 38(6):1445--1463, 2012.

Digital Library

[6]

S. Chetan, A. Ranganathan, and R. Campbell. Towards fault tolerant pervasive computing. Technology and Society Magazine, 24(1):38--44, 2005.

[7]

J. Edstrom and E. Tilevich. Reusable and extensible fault tolerance for RESTful applications. In TrustCom'12: Proceedings of the 11th International Conference on Trust, Security and Privacy in Computing and Communications, pages 737--744. IEEE, 2012.

Digital Library

[8]

J.-C. Fabre, M.-O. Killijian, and T. Pareaud. Towards on-line adaptation of fault tolerance mechanisms. In EDCC'10: Eighth European Dependable Computing Conference, pages 45--54. IEEE, 2010.

Digital Library

[9]

J. Fraga, F. Siqueira, and F. Favarim. An adaptive fault-tolerant component model. In WORDS'03: Proceedings of the 9th International Workshop on Object-Oriented Real-Time Dependable Systems, pages 179--186. IEEE, 2003.

[10]

D. Garlan, S.-W. Cheng, A.-C. Huang, B. Schmerl, and P. Steenkiste. Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer, 37(10):46--54, 2004.

Digital Library

[11]

R. Grimm. One.world: Experiences with a pervasive computing architecture. Pervasive Computing, 3(3):22--30, 2004.

Digital Library

[12]

C. M. F. Rubira, R. de Lemos, G. R. Ferreira, and F. Castor Filho. Exception handling in the development of dependable component-based systems. Software: Practice and Experience, 35(3):195--236, 2005.

Digital Library

[13]

J. a. C. Seco and L. Caires. A basic model of typed components. In ECOOP'00: Proceedings of the 14th European Conference on Object-Oriented Programming, pages 108--128. Springer-Verlag, 2000.

Digital Library

[14]

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni, and J.-B. Stefani. A component-based middleware platform for reconfigurable service-oriented architectures. Software: Practice and Experience, 42(5):559--583, 2012.

Digital Library

[15]

V. C. Sreedhar. Mixin-up components. In ICSE'02: Proceedings of the 24th International Conference on Software Engineering, pages 198--207. ACM, 2002.

Digital Library

[16]

M. Stoicescu, J.-C. Fabre, and M. Roy. Architecting resilient computing systems: Overall approach and open issues. In SERENE'11: Proceedings of the Third International Workshop on Software Engineering for Resilient Systems, volume 6968 of LNCS, pages 48--62. Springer-Verlag, 2011.

Digital Library

[17]

M. Stoicescu, J.-C. Fabre, and M. Roy. From design for adaptation to component-based resilient computing. In PRDC'12: Proceedings of the 18th Pacific Rim International Symposium on Dependable Computing, pages 1--10. IEEE, 2012.

Digital Library

[18]

G. Tamura, R. Casallas, A. Cleve, and L. Duchien. QoS contract-aware reconfiguration of component architectures using E-Graphs. In FACS'10: Proceedings of the 7th International Workshop on Formal Aspects of Component Software, volume 6921 of LNCS, pages 34--52. Springer-Verlag, 2010.

Digital Library

[19]

R. N. Taylor, N. Medvidovic, and E. M. Dashofy. Software Architecture: Foundations, Theory, and Practice. Wiley Publishing, 2009.

Digital Library

[20]

N. Ubayashi, J. Nomura, and T. Tamai. Archface: a contract place where architectural design and code meet together. In ICSE '10: Proceedings of the 32nd International Conference on Software Engineering, pages 75--84. ACM, 2010.

Digital Library

[21]

Y. Zheng and R. N. Taylor. Enhancing architecture-implementation conformance with change management and support for behavioral mapping. In ICSE'12: Proceedings of the 2012 International Conference on Software Engineering, pages 628--638. IEEE, 2012.

Digital Library

Cited By

Lauer MAmy MFabre JRoy MExcoffon WStoicescu M(2017)Resilient computing on ROS using adaptive fault toleranceJournal of Software: Evolution and Process10.1002/smr.191730:3(e1917)Online publication date: 3-Nov-2017
https://doi.org/10.1002/smr.1917
Bures THnetynka PPlasil FSeinturier LAlmeida ECarlson J(2014)Strengthening architectures of smart CPS by modeling them as runtime product-linesProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602478(91-96)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602478
Stoicescu MFabre JRoy MPathak A(2014)From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper)Proceedings of the 2014 Tenth European Dependable Computing Conference10.1109/EDCC.2014.23(46-49)Online publication date: 13-May-2014
https://dl.acm.org/doi/10.1109/EDCC.2014.23

Index Terms

Design-driven development methodology for resilient computing
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

A methodology to design arbitrary failure detectors for distributed protocols

Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (e.g. sending omission failures, receive omission failures, arbitrary ...
Designing Resilient Systems-of-Systems: A Survey of Metrics, Methods, and Challenges

Resilience is the ability of a system to react to and recover from disturbances with minimal effect on its dynamic stability. While resilience has been the focus of research in several fields, in the case of systems-of-systems SoSs, addressing ...
A systematic methodology to develop resilient cache coherence protocols
MICRO-44: Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture

Aggressive transistor scaling continues to increase integration capacity with each new technology node, but technology downscaling also increases the vulnerability of semiconductor devices and causes silicon failures. Thus, fault-tolerant architectures ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

June 2013

200 pages

ISBN:9781450321228

DOI:10.1145/2465449

General Chair:
Philippe Kruchten
University of British Columbia, Canada
,
Program Chairs:
Dimitra Giannakopoulou
NASA Ames Research Center, USA
,
Massimo Tivoli
University of L'Aquila, Italy

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

Comparch '13

Sponsor:

SIGSOFT

Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture

June 17 - 21, 2013

British Columbia, Vancouver, Canada

Acceptance Rates

CBSE '13 Paper Acceptance Rate 20 of 43 submissions, 47%;

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
132
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Lauer MAmy MFabre JRoy MExcoffon WStoicescu M(2017)Resilient computing on ROS using adaptive fault toleranceJournal of Software: Evolution and Process10.1002/smr.191730:3(e1917)Online publication date: 3-Nov-2017
https://doi.org/10.1002/smr.1917
Bures THnetynka PPlasil FSeinturier LAlmeida ECarlson J(2014)Strengthening architectures of smart CPS by modeling them as runtime product-linesProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602478(91-96)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602478
Stoicescu MFabre JRoy MPathak A(2014)From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper)Proceedings of the 2014 Tenth European Dependable Computing Conference10.1109/EDCC.2014.23(46-49)Online publication date: 13-May-2014
https://dl.acm.org/doi/10.1109/EDCC.2014.23

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents