Using the AADL to describe distributed applications from middleware to software components

Authors:
Thomas Vergnaud;Laurent Pautet;Fabrice Kordon
Affiliations:
GET-Télécom Paris – LTCI-UMR 5141 CNRS, Paris Cedex 13, France;GET-Télécom Paris – LTCI-UMR 5141 CNRS, Paris Cedex 13, France;Laboratoire d’Informatique de Paris 6/SRC, Université Pierre & Marie Curie, Paris Cedex 05, France
Venue:
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Year:
2005

Citing 3
Cited 5

The design and implementation of the open Ravenscar kernel

IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems

ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Jonathan: an open distributed processing environment in Java

Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing

Scheduling and memory requirements analysis with AADL

Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
RETRACTED: Specification and verification of dynamic evolution of software architectures

Journal of Systems Architecture: the EUROMICRO Journal
Consistency analysis of dynamic evolution of software architectures using constraint hypergraph grammars

ICICA'10 Proceedings of the First international conference on Information computing and applications
Modeling and enforcing invariants of dynamic software architectures

Software and Systems Modeling (SoSyM)
Property networks allowing oracle-based mode-change propagation in hierarchical components

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.