|
MEIDYA: Modeling and Enforcing Invariants of Dynamic Software Architectures |
Meidya is based on three principal steps allowing the control of the software architecture evolution of component-based applications. This approach supports the modeling of the dynamic architecture, formal verification and enforcement of the architectural invariants.
|
|
QoS4SHWS: QoS for Self-Healing Web Services |
QoS4SHWS manages self-healing within service orientated applications and specifically those based on the technology of web services. Our purpose is to preserve quality of service (QoS) of these applications. It is a framework and a set of software services covering the whole cycle of self-healing management including monitoring and analysis of QoS values, and substitution-based reconfiguration. The monitoring extends exchanged SOAP messages between providers and consumers with QoS metadata. The analysis detects degradation based on monitored data. In case of degradation detection, the diagnosis identifies its source while avoiding the propagation effect and a repair action is performed based on architectural reconfiguration. We have implemented two cases studies and achieved a large scale experiment using GRID’5000 to show the feasibility and the scalability of our framework.
|
RadiaLE: A Framework for Benchmarking Link Quality Estimators |
RadiaLE is a benchmarking testbed that allows the performance evaluation of
Link Quality Estimators (LQEs) by analyzing their statistical properties,
independently of any external factor, such as collisions and routing. These
statistical properties impact the performance of LQEs in terms of
Reliability and Stability. RadiaLE includes (i.) hardware components that
represent the WSN under test and (ii.) a software tool for the set up and
control of the experiments and also for analyzing the collected data,
allowing for LQEs evaluation.
|
AO4AADL: an Aspect Oriented ADL for Embedded Systems |
|
AO4AADL is an aspect oriented architectural language for
embedded systems. Our language manipulates aspect oriented concepts at the
software architecture level in order to master complexity and ensure scalability
of such systems. AO4AADL is an aspect oriented extension for
AADL. This language considers
aspects as an extension concept of AADL components called aspect annex.
|
