Article

Containment units: a hierarchically composable architecture for adaptive systems

Authors:

Jamieson M. Cobleigh,

Leon J. Osterweil,

Alexander Wise,

Barbara Staudt LernerAuthors Info & Claims

SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering

Pages 159 - 165

https://doi.org/10.1145/587051.587076

Published: 18 November 2002 Publication History

Abstract

Software is increasingly expected to run in a variety of environments. The environments themselves are often dynamically changing when using mobile computers or embedded systems, for example. Network bandwidth, available power, or other physical conditions may change, necessitating the use of alternative algorithms within the software, and changing resource mixes to support the software. We present Containment Units as a software architecture useful for recognizing environmental changes and dynamically reconfiguring software and resource allocations to adapt to those changes. We present examples of Containment Units used within robotics along with the results of actual executions, and the application of static analysis to obtain assurances that those Containment Units can be expected to demonstrate the robustness for which they were designed.

References

[1]

E. G. Araujo, D. R. Karuppiah, Y. Yang, R. A. Grupen, P. A. Deegan, B. S. Lerner, E. M. Riseman, and Z. Zhu. Software mode changes for continuous motion tracking. In International Workshop on Self Adaptive Software, Apr. 2000.]]

Digital Library

[2]

A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and A. Wise. Logically central, physically distributed control in a process runtime environment. TR 99-65, University of Massachusetts, Department of Computer Science, Nov. 1999.]]

Digital Library

[3]

J. M. Cobleigh, L. A. Clarke, and L. J. Osterweil. Verifying properties of process definitions. In Proceedings of the 2000 International Symposium on Software Testing and Analysis, pages 96--101, Aug. 2000.]]

Digital Library

[4]

C. Dellarocas, M. Klein, and H. Shrobe. An architecture for constructing self-evolving software systems. In Proceedings of the Third International Software Architecture Workshop, pages 29--32, Nov. 1998.]]

Digital Library

[5]

M. B. Dwyer and L. A. Clarke. Data flow analysis for verifying properties of concurrent programs. In Proceedings of the Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 62--75, Dec. 1994.]]

Digital Library

[6]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.]]

Digital Library

[7]

D. Garlan and D. E. Perry. Introduction to the special issue on software architecture. IEEE Transactions on Software Engineering, 21(4):269--274, Apr. 1995.]]

Digital Library

[8]

O. Gonzàlez, H. Shrikumar, J. A. Stankovic, and K. Ramamritham. Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. In Proceedings of the Eighteenth Real-Time Systems Symposium, pages 79--89, Dec. 1997.]]

Digital Library

[9]

M. Griss and K. Wentzel. Hybrid domain-specific kits for a flexible software factory. In Proceedings of the 1994 ACM Symposium on Applied Computing, pages 47--52, Mar. 1994.]]

Digital Library

[10]

Z. T. Kalbarczyk, S. Bagchi, K. Whisnant, and R. K. Iyer. Chameleon: A software infrastructure for adaptive fault tolerance. IEEE Transactions on Parallel and Distributed Systems, 10(6):560--579, June 1999.]]

Digital Library

[11]

D. R. Karuppiah, Z. Zhu, P. Shenoy, and E. M. Riseman. A fault-tolerant distributed vision system architecture for object tracking in a smart room. In International Workshop on Computer Vision Systems, July 2001.]]

Digital Library

[12]

J. H. Lala, R. E. Harper, and L. S. Alger. A design approach for ultrareliable real-time systems. IEEE Computer, 24(5):12--22, May 1991.]]

Digital Library

[13]

J.-C. Laprie, J. Arlat, C. Beounes, and K. Kanoun. Definition and analysis of hardware- and software-fault-tolerant architectures. IEEE Computer, 23(7):39--51, July 1990.]]

Digital Library

[14]

P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proceedings of the Twentieth International Conference on Software Engineering, pages 177--186, Apr. 1998.]]

Digital Library

[15]

L. J. Osterweil, A. Wise, J. M. Cobleigh, L. A. Clarke, and B. S. Lerner. Architecting dynamic systems using containment units. In Proceedings of the Working Conference on Complex and Dynamic Systems Architecture, Dec. 2001.]]

[16]

D. L. Parnas. Designing software for ease of extension and contraction. IEEE Transactions on Software Engineering, SE-5(2):128--38, Mar. 1979.]]

Digital Library

[17]

D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. Software Engineering Notes, 17(4):40--52, Oct. 1992.]]

Digital Library

[18]

R. Prieto-Díaz. Status report: Software reusability. IEEE Software, 10(3):61--66, May 1993.]]

Digital Library

[19]

K. Ramamritham, J. A. Stankovic, and P.-F. Shiah. Efficient scheduling algorithms for real-time multiprocessor systems. IEEE Transactions on Parallel and Distributed Systems, 1(2), Apr. 1990.]]

Digital Library

[20]

B. Randell. System structure for software fault tolerance. IEEE Transactions on Software Engineering, 1(2):220--232, June 1975.]]

Digital Library

[21]

W. Tracz. Confessions of a Used Program Salesman. Addison-Wesley, 1995.]]

Digital Library

[22]

A. Wise. Little-JIL 1.0 language report. TR 98-24, University of Massachusetts, Department of Computer Science, 1998.]]

Digital Library

[23]

A. Wise, A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and S. M. Sutton, Jr. Using Little-JIL to coordinate agents in software engineering. In Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, pages 155--163, Sept. 2000.]]

Digital Library

Cited By

Sarathy SMiller RJohnson DHoffman RTung D(2012)"Bytes to Boxes" -- Technology Enhancers for Transitioning GNC models to Embedded PlatformsAIAA Infotech@Aerospace 2007 Conference and Exhibit10.2514/6.2007-2783Online publication date: 15-Jun-2012
https://doi.org/10.2514/6.2007-2783
Tosi DDenaro GPezze M(2009)Towards autonomic service-oriented applicationsInternational Journal of Autonomic Computing10.1504/IJAC.2009.0245001:1(58-80)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1504/IJAC.2009.024500
Denaro GPezzè MTosi Dvan Vliet HIssarny V(2009)Ensuring interoperable service-oriented systems through engineered self-healingProceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering10.1145/1595696.1595734(253-262)Online publication date: 24-Aug-2009
https://dl.acm.org/doi/10.1145/1595696.1595734
Show More Cited By

Index Terms

Containment units: a hierarchically composable architecture for adaptive systems
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
    2. System description languages
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Containment units: a hierarchically composable architecture for adaptive systems

Software is increasingly expected to run in a variety of environments. The environments themselves are often dynamically changing when using mobile computers or embedded systems, for example. Network bandwidth, available power, or other physical ...
View-based query containment
PODS '03: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Query containment is the problem of checking whether for all databases the answer to a query is a subset of the answer to a second query. In several data management tasks, such as data integration, mobile computing, etc., the data of interest are only ...
Decidable containment of recursive queries
Database theory

One of the most important reasoning tasks on queries is checking containment, i.e., verifying whether one query yields necessarily a subset of the result of another one. Query containment is crucial in several contexts, such as query optimization, query ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGSOFT '02/FSE-10: Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering

November 2002

184 pages

ISBN:1581135149

DOI:10.1145/587051

General Chair:
Mary Lou Soffa
University of Pittsburgh
,
Program Chair:
William Griswold
University of California, San Diego

Copyright © 2002 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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 November 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SIGSOFT02/FSE-10

Sponsor:

SIGSOFT02/FSE-10: 10th Int'l Symposium on the Foundations of Software Engineering

November 18 - 22, 2002

South Carolina, Charleston, USA

Acceptance Rates

SIGSOFT '02/FSE-10 Paper Acceptance Rate 17 of 128 submissions, 13%;

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

22
Total Citations
View Citations
497
Total Downloads

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

Reflects downloads up to 11 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sarathy SMiller RJohnson DHoffman RTung D(2012)"Bytes to Boxes" -- Technology Enhancers for Transitioning GNC models to Embedded PlatformsAIAA Infotech@Aerospace 2007 Conference and Exhibit10.2514/6.2007-2783Online publication date: 15-Jun-2012
https://doi.org/10.2514/6.2007-2783
Tosi DDenaro GPezze M(2009)Towards autonomic service-oriented applicationsInternational Journal of Autonomic Computing10.1504/IJAC.2009.0245001:1(58-80)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1504/IJAC.2009.024500
Denaro GPezzè MTosi Dvan Vliet HIssarny V(2009)Ensuring interoperable service-oriented systems through engineered self-healingProceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering10.1145/1595696.1595734(253-262)Online publication date: 24-Aug-2009
https://dl.acm.org/doi/10.1145/1595696.1595734
Trapp MAdler RFörster MJunger J(2007)Runtime adaptation in safety-critical automotive systemsProceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering10.5555/1332044.1332094(308-315)Online publication date: 13-Feb-2007
https://dl.acm.org/doi/10.5555/1332044.1332094
Yoo CJung WPark DLee BKim HWu C(2007)An Adaptive Software Framework based on Service CompositionProceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications10.1109/SERA.2007.39(476-484)Online publication date: 20-Aug-2007
https://dl.acm.org/doi/10.1109/SERA.2007.39
Breitgand DGoldstein MHenis EShehory OWeinsberg Y(2007)PANACEA Towards a Self-healing Development Framework2007 10th IFIP/IEEE International Symposium on Integrated Network Management10.1109/INM.2007.374781(169-178)Online publication date: May-2007
https://doi.org/10.1109/INM.2007.374781
Shehory O(2007)A Self-healing Approach to Designing and Deploying Complex, Distributed and Concurrent Software SystemsProgramming Multi-Agent Systems10.1007/978-3-540-71956-4_1(3-13)Online publication date: 2007
https://doi.org/10.1007/978-3-540-71956-4_1
Shehory O(2006)A self-healing approach to designing and deploying complex, distributed and concurrent software systemsProceedings of the 4th international conference on Programming multi-agent systems10.5555/1759324.1759326(3-13)Online publication date: 9-May-2006
https://dl.acm.org/doi/10.5555/1759324.1759326
Parekh JKaiser GGross PValetto G(2006)Retrofitting Autonomic Capabilities onto Legacy SystemsCluster Computing10.1007/s10586-006-7560-69:2(141-159)Online publication date: 1-Apr-2006
https://dl.acm.org/doi/10.1007/s10586-006-7560-6
Denaro GPezzé MTosi D(2005)Adaptive integration of third-party web servicesProceedings of the 2005 workshop on Design and evolution of autonomic application software10.1145/1083063.1083088(1-6)Online publication date: 21-May-2005
https://dl.acm.org/doi/10.1145/1083063.1083088
Show More Cited By

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