Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
An empirical validation of software cost estimation models
Communications of the ACM
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
An approach to performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
Dependability certification of software components
Journal of Systems and Software - Special issue on Evaluation and assessment in software engineering
Customizable middleware for modular distributed software
Communications of the ACM
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Building systems from commerical components
Building systems from commerical components
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Analysing the behaviour of distributed software architectures: a case study
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
Towards automatic compositional performance analysis of component-based systems
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Performance modeling from software components
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Proceedings of the 5th international workshop on Software and performance
Performance Techniques for COTS Systems
IEEE Software
Stability of Feature Selection Algorithms
ICDM '05 Proceedings of the Fifth IEEE International Conference on Data Mining
Journal of Systems and Software
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance modeling and system management for multi-component online services
NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability
The Common Component Modeling Example
A Calibration Framework for Capturing and Calibrating Software Performance Models
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Modelling Layered Component Execution Environments for Performance Prediction
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Parametric Performance Contracts for QML-specified Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A description language for composable components
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
An architecture-driven software mobility framework
Journal of Systems and Software
Performance evaluation of component-based software systems: A survey
Performance Evaluation
Predicting mean service execution times of software components based on markov models
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Accuracy of performance prediction for EJB applications: a statistical analysis
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
A model based approach to design applications for network processor
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A qos driven development process model for component-based software systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Performance prediction of component-based systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Hi-index | 0.01 |
Significant economic and technical benefits accrue from the use of pre-existing and commercially available software components to develop new systems. However, challenges remain that, if not adequately addressed, will slow the adoption of software component technology. Chief among these are a lack of consumer trust in the quality of components, and a lack of trust in the quality of assemblies of components without extensive and expensive testing. This paper describes prediction-enabled component technology (PECT). A PECT results from integrating component technology with analysis models. An analysis model permits analysis and prediction of assembly-level properties prior to component composition, and, perhaps, prior to component acquisition. Analysis models also identify required component properties and their certifiable descriptions. Component technology supports and enforces the assumptions underlying analysis models; it also provides the medium for deploying PECT instances and PECT-compliant software components. This paper describes the structure of PECT. It discusses the means of establishing the predictive powers of a PECT so that consumers may obtain measurably bounded trust in both components and design-time predictions based on the use of these components. We demonstrate these ideas in a simple but illustrative model problem: predicting average endto-end latency of a 'soft' real time application built from off-the-shelf software components.