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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bernstein, P.A.: Middleware: An archictecture: for distributed system services. Technical Report CRL 93/6, Cambridge, MA, USA (1993)
OMG: The Common Object Request Broker: Architecture and Specification, revision 2.2. OMG Technical Document formal/98-07-01 (1998)
Pautet, L., Tardieu, S.: GLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. In: Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), Newport Beach, California, USA. IEEE Computer Society Press, Los Alamitos (2000)
W3C: Simple Object Access Protocol (SOAP) 1.1 (2000), http://www.w3.org/TR/SOAP/
Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: PolyORB: A schizophrenic middleware to build versatile reliable distributed applications. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 106–119. Springer, Heidelberg (2004)
Vestal, S.: Technical and historical overview of MetaH. Technical report, Honeywell (2000), available at http://la.sei.cmu.edu/aadlinfosite/MetaHPublications.html
Lewis, B.: architecture based model driven software and system development for real-time embedded systems (2003), avilable at http://la.sei.cmu.edu/aadlinfosite/AADLPublications.html
SAE Architecture Analysis: Design Language, AS5506 (2004), available at http://www.sae.org
Feiler, P.: Annex A: AADL Model interchange formats (2004); Part of the AADL standard, available from SAE
Tokar, J.: Annex D: Language compliance and application program interface (2004); Part of the AADL standard, available from SAE
Schmidt, D., Cleeland, C.: Applying patterns to develop extensible and maintainable ORB middleware. Communications of the ACM, CACM 40 (1997)
Dumant, B., Horn, F., Tran, F.D., Stefani, J.B.: Jonathan: an open distributed processing environment in java. In: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Londres, pp. 175–190. Springer, Heidelberg (1998)
Hugues, J., Thierry-Mieg, Y., Kordon, F., Pautet, L., Baarir, S., Vergnaud, T.: On the Formal Verification of Middleware Behavioral Properties. In: Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), Linz, Austria (2004) (to be published)
de la Puente, J.A., Zamorano, J., Ruiz, J., Fernández, R., García, R.: The design and implementation of the Open Ravenscar Kernel. In: Proceedings of the 10th international workshop on Real-time Ada workshop, pp. 85–90. ACM Press, New York (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vergnaud, T., Pautet, L., Kordon, F. (2005). Using the AADL to Describe Distributed Applications from Middleware to Software Components. In: Vardanega, T., Wellings, A. (eds) Reliable Software Technology – Ada-Europe 2005. Ada-Europe 2005. Lecture Notes in Computer Science, vol 3555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11499909_6
Download citation
DOI: https://doi.org/10.1007/11499909_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26286-2
Online ISBN: 978-3-540-31666-4
eBook Packages: Computer ScienceComputer Science (R0)