Types and modules for net specifications
Concurrency and nets: advances in Petri nets
Prototyping and analysis of non-sequential systems using predicate-event nets
Journal of Systems and Software - Special issue on GRASPIN software
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Computer
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Reasoning about Concurrent Objects
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Enhanced Component Interfaces to Support Dynamic Adaption and Extension
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Constructing Interoperable Components in Distributed Systems
TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Empowering configurable QoS management in real-time systems
Proceedings of the 4th international conference on Aspect-oriented software development
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
CAmkES: A component model for secure microkernel-based embedded systems
Journal of Systems and Software
Enhanced connectors to support hierarchical dependencies in software architecture
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Intra-component security certification
Proceedings of the International Conference on Advances in Computing, Communication and Control
Towards Dynamic Component Isolation in a Service Oriented Platform
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Evaluating recovery aware components for grid reliability
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
A pragmatic testing approach for wireless sensor networks
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
Refining extra-functional property values in hierarchical component models
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Architecture-based fault tolerance support for grid applications
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Robustness of composed timed systems
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Conformance testing of real-time component based systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Architecting Dependable Systems III
Component service promotion: contracts, mechanisms and safety
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Implementation of the fault tolerance in computational grid using agents by meta-modelling approach
International Journal of Communication Networks and Distributed Systems
Hi-index | 0.00 |
This article defines key requirements for an architecture-based approach to trustworthy components. We then provide a brief overview of our architecture definition language RADL with a focus on compositionality and extra-functional properties.RADL aims at very high-level specification and validation of hierarchical assemblies of distributed real-time components. Several ideas in RADL are oriented towards modern middleware technologies such as .NET and EJB and to software-engineering methods such as UML. RADL dynamic models are centered around contracts, state machines and Petri nets. These are associated to contact points and connectors for defining connection constraints in architectural specification. They define configuration and behavioral contracts when they are associated to components and architectural assemblies of components.RADL contracts permit static compatibility checks and automatic gate adaptation for true black-box reuse. Dynamic monitoring of deployed components complements this with execution-based mechanism enabling prediction of extra-functional properties during architectural design.