Sciweavers

Share
ADAEUROPE
2005
Springer

Using the AADL to Describe Distributed Applications from Middleware to Software Components

10 years 6 months ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description languages (ADLs) such as the AADL provide adequate syntax and semantics to express all those properties on each component of a system. DRE systems rely on a key component, the middleware, to address distribution issues. In order to build efficient and verifiable systems, the middleware has to be tailorable to meet the application needs, and to be easily modeled to support a verification process. We propose the schizophrenic architecture as a canonical solution to these concerns. We study how to describe the middleware architecture using the AADL. We also study how the AADL can be used to aggregate the different aspects of the modeling of a complete system: architecture, behavioral descriptions, deployment, etc.
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ADAEUROPE
Authors Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
Comments (0)
books