Building Trustworthy Systems: Lessons from the PTN and Internet
IEEE Internet Computing
Specification and verification of trustworthy component-based real-time reactive systems
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
A Formal Model of Business Application Integration from Web Services (Position Paper)
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Towards Context Independent Extra-functional Properties Descriptor for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Refining extra-functional property values in hierarchical component models
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
The role of concept, context, and component for dependable software development
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Enhancing OSGi with explicit, vendor independent extra-functional properties
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
| Hi-index | 0.00 |
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.