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.)
Applying static analysis to software architectures
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
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
Model checking
Analyzing software architectures with Argus-I
Proceedings of the 22nd international conference on Software engineering
Dependability certification of software components
Journal of Systems and Software - Special issue on Evaluation and assessment in software engineering
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
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
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Analysing Dynamic Change in Software Architectures: A Case Study
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
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
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Industrial and Economic Properties of Software: Technology, Processes
Industrial and Economic Properties of Software: Technology, Processes
Software Component Certification: A Survey
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Journal of Systems and Software
Timeliness and transaction management in extended enterprises
International Journal of Business Information Systems
Performance analysis of real-time component architectures: a model interchange approach
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Model-Driven Performance Analysis
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
State dependence in performance evaluation of component-based software systems
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
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
Ensuring real-time performance guarantees in dynamically reconfigurable embedded systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Architecture-based reliability prediction for service-oriented computing
Architecting Dependable Systems III
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Efficient software component reuse in safety-critical systems --- an empirical study
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Assembling Components using SysML with Non-Functional Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Demands for increased functionality, better quality, and faster time-to-market in software products continue to increase. Component-based development is the software industry's response to these demands. The industry has developed technologies such as EJB and CORBA to assemble components that are created in isolation. Component technologies available today allow designers to plug components together, but do little to allow the developer to reason about how well they will play together. Predictable assembly focuses on issues related to assembling component-based systems that predictably meet their quality attribute requirements. This paper introduces prediction-enabled component technology (PECT) as a means of packaging predictable assembly as a deployable product. A PECT is the integration of a component technology with one or more analysis technologies. Analysis technologies support prediction of assembly properties and also identify required component properties and their certifiable descriptions. This report describes the major structures of a PECT. It then discusses the means of validating the predictive powers of a PECT, which provides measurably bounded trust in design-time predictions. Last, it demonstrates the above concepts in an illustrative model problem: predicting average end-to-end latency of a 'soft' real time application built from off-the-shelf software components.