A Design Approach for Ultrareliable Real-Time Systems
Computer - Special issue on real-time systems
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Confessions of a used program salesman: institutionalizing software reuse
Confessions of a used program salesman: institutionalizing software reuse
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
An architecture for constructing self-evolving software systems
ISAW '98 Proceedings of the third international workshop on Software architecture
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance
IEEE Transactions on Parallel and Distributed Systems
Hybrid domain-specific kits for a flexible software factory
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Verifying properties of process definitions
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Status Report: Software Reusability
IEEE Software
Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
A Fault-Tolerant Distributed Vision System Architecture for Object Tracking in a Smart Room
ICVS '01 Proceedings of the Second International Workshop on Computer Vision Systems
Using Little-JIL to Coordinate Agents in Software Engineering
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
Logically Central, Physically Distributed Control in a Process Runtime Environment
Logically Central, Physically Distributed Control in a Process Runtime Environment
Verifying the adaptation behavior of embedded systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Framework for evolving systems
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
| Hi-index | 0.00 |
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.