Abstract
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 predictionenabled 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 end-to-end latency of a ‘soft’ real time application built from off-the-shelf software components.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Wallnau, K., Hissam, S., Seacord, R., Building Systems from Commercial Components, Addison-Wesley, July, 2001.
Finkbeiner, B. & Kruger, I. “Using Message Sequence Charts for Component-Based Formal Verification,” in Proceedings of the OOPSLA workshop on Specification and Verification of Component-Based Systems, Tampa, Florida, 2001.
Sharygina, N.; Browne, J.; & Kurshan, R. “A Formal Object-Oriented Analysis for Software Reliability: Design for Verification,” in Proceedings of the ACM European Conferences on Theory and Practice in Software, Fundamental Approaches to Software Engineering (FACE), Genova, Italy, April 2-6, 2001. URL: <http://st72095.inf.tu-dresden.de:8080/fase2001>(2001).
Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Sea-cord, R., & Wallnau, K.; Volume II: Technical Concepts of Component-Based Software Engineering (CMU/SEI-2000-TR-008), Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http://www.sei.cmu.edu/publications/documents/00.reports/00tr008.html>(2000).
Heineman, G. & Council, W. Component-Based Software Engineering Putting the Pieces Together, Reading, MA: Addison-Wesley, 2001.
Szyperski, C. Component Software Beyond Object-Oriented Programming, New York, Reading, MA: ACM Press, Addison-Wesley, 1997.
E. M. Clarke, E.A. Emerson, and A.P. Sistla, “Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications,” ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, April 1986, pp. 244–263.
Klein, M., Ralya, T., Pollak, W., Obenza, R., A Practitioner’s Handbook for Real-Time Analysis, Boston, MA: Kluwer Academic Publishers, 1993.
Len Bass, Charles Buhman, Santiago Comella-Dorda, Fred Long, John Robert, Robert Seacord, and Kurt Wallnau, Volume I: Market Assessment of Component-Based Software Engineering Assessments (CMU/SEI-2001-TN-007), Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http://www.sei.cmu.edu/publications/documents/01.reports/01tn007.html> (2001).
H. Simon. The Sciences of the Artificial, 3rd ed, Cambridge, MA: MIT Press 1996.
D. Plakosh, D. Smith and K. Wallnau. Builder’s Guide for WaterBeans Components (CMU/SEI-99-TR-024, ADA373154). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http://www.sei.cmu.edu/publica-tions/documents/99.reports/99tr024/99tr024abstract.html> (1999).
S. Hissam, G. Moreno, J. Stafford, K. Wallnau,. Packaging Predictable Assembly with Prediction-Enabled Component Technology (CMU/SEI-2001-TR-024). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University. URL: <http://www.sei.cmu.edu/publications/documents/01.reports/01tr024.html> (2001)
C.F. Kemerer. “An Empirical Validation of Software Cost Estimation Models,” in Communications of the ACM 30, 5, May 1987: 416–429.
NIST, NIST/SEMATECH Engineering Statistics Internet Handbook, National Institute of Standards and Technology (NIST), online at <http://www.itl.nist.gov/ div898/handbook/>.
R.E. Walpole and R. H. Myers. Probability and Statistics for Engineers and Scientists. New York: MacMillan Publishing Company, 1989
Astley, M., Sturman, D., and Agha, G., “Customizable Middleware for Modular Distributed Software,” in Communications of the ACM, Vol. 44, No. 5, May 2001, pp. 99–107.
K. Fisler, S. Krishnamurthi and D. Batory. “Verifying Component-Based Collaboration Designs,” in Proceedings of the Fifth ICSE Workshop on Component-Based Software Engineering, Toronto, Canada, May 2001: 84–87
R. Allen and D. Garlan. “A Formal Basis for Architectural Connection,” ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 3, Jul. 1997, pp. 213–249.
J. Magee, J. Kramer, and D. Giannakopoulou, “Analysing the Behaviour of Distributed Software Architectures: A Case Study,” Proceedings, Fifth IEEE Workshop on Future Trends of Distributed Computing Systems, Oct. 1997, 240–247.
S. Balsamo, P. Inverardi and C. Mangano, “An Approach to Performance Evaluation of Software Architectures”, Proceedings of the 1998 Workshop on Software and Performance, Oct. 1998, 77–84.
B. Spitznagel, D. Garlan, “Architecture-Based Performance Analysis,” Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering, San Francisco, California, 1998.
B. Meyer, Object-Oriented Software Construction, Second Edition, Prentice Hall, London, 1997.
Underwriter Laboratories, UL-1998, UL Standard for Safety for Software in Programmable Components, Northbrook, IL, 1998.
Jeffrey Voas, Jeffery Payne, “Dependability certification of software components,” in the Journal of Systems and Software, no. 52, 165–172, 2000
D. Hamlet, D. Mason and D. Woit. “Theory of Software Reliability Based on Components,” in Proceedings of the 23rd International Conference on Software Engineering, Toronto, Canada, 2001: 361–370.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hissam, S.A., Moreno, G.A., Stafford, J.A., Wallnau, K.C. (2002). Packaging Predictable Assembly. In: Bishop, J. (eds) Component Deployment. CD 2002. Lecture Notes in Computer Science, vol 2370. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45440-3_8
Download citation
DOI: https://doi.org/10.1007/3-540-45440-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43847-2
Online ISBN: 978-3-540-45440-3
eBook Packages: Springer Book Archive