Advertisement

TADL - An Architecture Description Language for Trustworthy Component-Based Systems

  • Mubarak Mohammad
  • Vasu Alagar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5292)

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

Data Parameter Component Type Safety Property Security Mechanism Data Constraint 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 3.
    Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental concepts of dependability. Research report N01145, LAAS-CNRS (April 2001)Google Scholar
  4. 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
  5. 5.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Mubarak Mohammad
    • 1
  • Vasu Alagar
    • 1
    • 2
  1. 1.Concordia UniversityMontrealCanada
  2. 2.X’ian Jiaotong-Liverpool UniversitySuzhouPRC

Personalised recommendations