IEEE Transactions on Knowledge and Data Engineering
Systematic Formulation of Non-Functional Characteristics of Software
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
Using task context to improve programmer productivity
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
TADL - An Architecture Description Language for Trustworthy Component-Based Systems
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
A Component Model for Control-Intensive Distributed Embedded Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Integration of Extra-Functional Properties in Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A Flexible Infrastructure for Multilevel Language Engineering
IEEE Transactions on Software Engineering
Towards Context Independent Extra-functional Properties Descriptor for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-level domain modeling with m-objects and m-relationships
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems
WICSA '11 Proceedings of the 2011 Ninth Working IEEE/IFIP Conference on Software Architecture
Architecting Dependable Systems III
Hi-index | 0.00 |
It is nowadays widely accepted that extra-functional properties (EFPs) are as important as functional properties for system correctness, especially when considering systems such as safety-critical embedded systems. The criticality and resource-constrained nature of these systems necessitate to be able to predict tight and accurate extra-functional property values all along the development, from early estimations to measurements. By using a hierarchical component model that allows implementing components as an assembly of subcomponent instances, the same component can be instantiated in several assemblies, i.e. in different usage contexts. Many EFP values are sensitive to the usage context and knowing information about the enclosing assembly enables refining the values of the properties on the subcomponents. Such refinement is usually not supported and the consistency between refined values and the original ones not ensured. This paper presents the concepts and mechanisms to support EFP refinement in hierarchical component models with explicit property inheritance and refinement policies which formally define consistency constraints between refined value and the original one. These policies are interpreted and ensured for all actors and in all workspaces. The paper also describes the related experiments performed on the ProCom component model.