Model-based development of dynamically adaptive software

Ji, Zhang; Cheng, Betty H. C.

doi:10.1145/1134285.1134337

Cited by 297 publications

(227 citation statements)

References 17 publications

Supporting

Mentioning

225

Contrasting

Unclassified

Order By: Relevance

“…and recently also in the software engineering field [5,25]. In particular, approaches spanning software architecture [8], service-oriented applications [11,9], pervasive applications [26] and autonomic systems [4] have been recently proposed.…”

Section: Related Workmentioning

confidence: 99%

Towards Self-adaptation for Dependable Service-Oriented Systems

Cardellini

Casalicchio

Grassi

et al. 2009

Architecting Dependable Systems VI

View full text Add to dashboard Cite

Abstract. Increasingly complex information systems operating in dynamic environments ask for management policies able to deal intelligently and autonomously with problems and tasks. An attempt to deal with these aspects can be found in the Service-Oriented Architecture (SOA) paradigm that foresees the creation of business applications from independently developed services, where services and applications build up complex dependencies. Therefore the dependability of SOA systems strongly depends on their ability to self-manage and adapt themselves to cope with changes in the operating conditions and to meet the required dependability with a minimum of resources. In this paper we propose a model-based approach to the realization of self-adaptable SOA systems, aimed at the fulfillment of dependability requirements. Specifically, we provide a methodology driving the system adaptation and we discuss the architectural issues related to its implementation. To bring this approach to fruition, we developed a prototype tool and we show the results that can be achieved with a simple example.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards Self-adaptation for Dependable Service-Oriented Systems

Cardellini

Casalicchio

Grassi

et al. 2009

Architecting Dependable Systems VI

View full text Add to dashboard Cite

show abstract

“…For example, Zhang et al described an approach to specify the behavior of adaptable programs in [57]. Their approach is based on separating the adaptation behavior specification from the non-adaptive behavior specification in autonomic computing software.…”

Section: Comparison-based Anomaly Detectionmentioning

confidence: 99%

Deliberative, search-based mitigation strategies for model-based software health management

Mahadevan

Dubey

Balasubramanian

et al. 2013

Innovations Syst Softw Eng

View full text Add to dashboard Cite

Rising software complexity in aerospace systems makes them very difficult to analyze and prepare for all possible fault scenarios at design-time, therefore classical run-time fault-tolerance techniques, such as self-checking pairs and triple modular redundancy are used. However, several recent incidents have made it clear that existing software fault tolerance techniques alone are not sufficient. To improve system dependability, simpler, yet formally specified and verified run-time monitoring, diagnosis, and fault mitigation capabilities are needed. Such architectures are already in use for managing the health of vehicles and systems. Software health management is the application of these techniques to software systems. In this paper we briefly describe the software health management techniques and architecture developed by our research group. The foundation of the architecture is a real-time component framework (built upon ARINC-653 platform services) that defines a model of computation for software components. Dedicated architectural elements: the Component Level Health Manager (CLHM) and System Level Health Manager (SLHM) provide the health management services: anomaly detection, fault source isolation, and fault mitigation. The SLHM includes a diagnosis engine that (1) uses a Timed Failure Propagation (TFPG) model derived from the component assembly model, (2) reasons about cascading fault effects in the system, and (3) isolates the fault source component(s). Thereafter, the appropriate system level mitigation action is taken. The main focus of this article is the description of the fault mitigation architecture that uses goal-based deliberative reasoning to determine the best mitigation actions for recovering the system from the identified failure mode.

show abstract

“…We developed ZAP.com in three major stages, closely following the model-based development process for adaptive systems [4]. First, we modeled and implemented the business logic according to the local properties and functional requirements identified for Z.com [1].…”

Section: Example Instantiationmentioning

confidence: 99%

Applying adaptation design patterns

Ramirez

Cheng

2009

Proceedings of the 6th International Conference on Autonomic Computing

View full text Add to dashboard Cite

Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studied over thirty adaptation-related projects to develop twelve adaptation-oriented design patterns that can be leveraged from one adaptive system to another. This paper presents a case study in which we apply our adaptation patterns in the design of a dynamically adaptive news web server. This pattern-based design separates the functional logic from the adaptive logic, resulting in a system that supports dynamic adaptation and is easier to maintain and analyze. Furthermore, to address assurance concerns, we applied automated formal verification techniques to ensure instantiated pattern models satisfy invariant properties specified in each adaptation pattern.

show abstract

Model-based development of dynamically adaptive software

Cited by 297 publications

References 17 publications

Towards Self-adaptation for Dependable Service-Oriented Systems

Towards Self-adaptation for Dependable Service-Oriented Systems

Deliberative, search-based mitigation strategies for model-based software health management

Applying adaptation design patterns

Contact Info

Product

Resources

About