TADL - An Architecture Description Language for Trustworthy Component-Based Systems
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.
KeywordsData Parameter Component Type Safety Property Security Mechanism Data Constraint
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 2.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)Google Scholar
- 3.Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of dependability. Research report N01145, LAAS-CNRS (April 2001)Google Scholar
- 4.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