Abstract
Existing architecture description languages mainly support the specification of the structural elements of the system under design with either only a limited support or no support to specify non-functional requirements. In a component-based development of trustworthy systems, the trustworthiness properties must be specified at the architectural level. Analysis techniques should be available to verify the trustworthiness properties early at design time. Towards this goal we present in this paper a meta-architecture and TADL, a new architecture description language suited for describing the architecture of trustworthy component-based systems. The TADL is a uniform language for specifying the structural, functional, and nonfunctional requirements of component-based systems. It also provides a uniform source for analyzing the different trustworthiness properties.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This research is supported by a Research Grant from Natural Sciences and Engineering Research Council of Canada.(NSERC).
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
Alagar, V., Mohammad, M.: A component model for trustworthy real-time reactive systems development. In: International Workshop on Formal Aspects of Component Software (FACS 2007), Sophia-Antipolis, France (September 2007)
Alagar, V., Mohammad, M.: Specification and verification of trustworthy component-based real-time reactive systems. In: SAVCBS 2007, Specification and Verification of Component-Based Systems, Dubrovnik, Croatia (September 2007)
Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of dependability. Research report N01145, LAAS-CNRS (April 2001)
Mohammad, M., Alagar, V.: TADL - An Architecture Description Language for Trustworthy Component-Based Systems. Technical Report ACTS-Trust-08-02, Concordia University (July 2008), http://users.encs.concordia.ca/~ms_moham/tadl.html
Schneider, F.B., Bellovin, S.M., Inouye, A.S.: Building trustworthy systems: Lessons from the PTN and internet. IEEE Internet Computing 3(6), 64–72 (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mohammad, M., Alagar, V. (2008). TADL - An Architecture Description Language for Trustworthy Component-Based Systems. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds) Software Architecture. ECSA 2008. Lecture Notes in Computer Science, vol 5292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88030-1_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-88030-1_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88029-5
Online ISBN: 978-3-540-88030-1
eBook Packages: Computer ScienceComputer Science (R0)