Thomas Lévêque
ABSTRACT
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.
- J. Ø. Aagedal. Quality of Service Support in Development of Distributed Systems. PhD thesis, Faculty of Mathematics and Natural Sciences, University of Oslo, 2001.Google Scholar
- M. Åkerholm, J. Carlson, J. Fredriksson, H. Hansson, J. Håkansson, A. Möller, P. Pettersson, and M. Tivoli. The SAVE Approach to Component-Based Development of Vehicular Systems. Journal of Systems and Software, 80(5):655--667, May 2007. Google ScholarDigital Library
- C. Atkinson, M. Gutheil, and B. Kennel. A Flexible Infrastructure for Multilevel Language Engineering. IEEE Transactions on Software Engineering, 99(RapidPosts):742--755, 2009. Google ScholarDigital Library
- S. Becker, H. Koziolek, and R. Reussner. Model-Based Performance Prediction with the Palladio Component Model. the 6th international workshop on Software and performance, 2007. Google ScholarDigital Library
- S. Becker, H. Koziolek, and R. Reussner. The Palladio component model for model-driven performance prediction. J. Syst. Softw., 82:3--22, January 2009. Google ScholarDigital Library
- E. Borde, J. Carlson, J. Feljan, L. Lednicki, T. Leveque, J. Maras, A. Petricic, and S. Sentilles. PRIDE, an Environment for Component-Based Development of Distributed Real-time Embedded Systems. WICSA, 2011. Google ScholarDigital Library
- T. Bures, J. Carlson, I. Crnkovic, S. Sentilles, and A. Vulgarakis. ProCom - the Progress Component Model Reference Manual, version 1.0. Technical Report ISSN 1404--3041 ISRN MDH-MRTC-230/2008--1-SE, Mälardalen University, June 2008.Google Scholar
- I. Crnkovic, M. Larsson, and O. Preiss. Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes. In Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 257--278. Springer Berlin, 2005. Google ScholarDigital Library
- X. Franch. Systematic Formulation of Non-Functional Characteristics of Software}. In Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice, pages 174--181, Washington, DC, USA, 1998. Google ScholarDigital Library
- Garmin. GPS 18 Technical Specifications (190-00307-00), Rev. D. Technical report, June 2005.Google Scholar
- R. C. Goldstein and V. C. Storey. Materialization. IEEE Trans. on Knowl. and Data Eng., 6:835--842, October 1994. Google ScholarDigital Library
- L. Grunske. Early quality prediction of component-based systems - a generic framework. J. Syst. Softw., 80:678--686, May 2007. Google ScholarDigital Library
- K. Jezek, P. Brada, and P. Stepán. Towards context independent extra-functional properties descriptor for components. Electronic Notes in Theoretical Computer Science, 264(1):55--71, 2010. Google ScholarDigital Library
- M. Kersten and G. C. Murphy. Using task context to improve programmer productivity. In Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, SIGSOFT '06/FSE-14, pages 1--11, New York, NY, USA, 2006. Google ScholarDigital Library
- J. E. Kim, O. Rogalla, S. Kramer, and A. Haman. Extracting, Specifying and Predicting Software System Properties in Component Based Real-Time Embedded Software Development. In Proceedings of the 31st International Conference on Software Engineering (ICSE), 2009.Google Scholar
- M. Mohammad and V. Alagar. Tadl - an architecture description language for trustworthy component-based systems. In Proceedings of the 2nd European conference on Software Architecture, ECSA '08, pages 290--297, Berlin, Heidelberg, 2008. Springer-Verlag. Google ScholarDigital Library
- B. Neumayr, K. Grün, and M. Schrefl. Multi-level domain modeling with m-objects and m-relationships. In Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96, APCCM '09, pages 107--116, Darlinghurst, Australia, Australia, 2009. Google ScholarDigital Library
- Object Management Group. A UML Profile for MARTE, Beta 1, August 2007. Document number: ptc/07-08-04.Google Scholar
- J. Odell. Power Types. JOOP, 7(2):8--12, 1994.Google Scholar
- H. Schmidt. Trustworthy components-composition- and prediction. Journal of Systems and Software, 65(3):215--225, 2003. Component-Based Software Engineering. Google ScholarDigital Library
- S. Sentilles, P. Stepan, J. Carlson, and I. Crnkovic. Integration of Extra-Functional Properties in Component Models. In I. P. Christine Hofmeister, Grace A. Lewis, editor, 12th International Symposium on Component Based Software Engineering, LNCS 5582. Springer Berlin, LNCS 5582, June 2009. Google ScholarDigital Library
- S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic. A Component Model for Control-Intensive Distributed Embedded Systems. In M. R. Chaudron and C. Szyperski, editors, Proceedings of the 11th International Symposium on Component Based Software Engineering, pages 310--317. Springer Berlin, October 2008. Google ScholarDigital Library
- K. C. Wallnau. Volume III: A Technology for Predictable Assembly from Certifiable Components (PACC). Technical Report Carnegie Mellon University/SEI-2003-TR-009, Carnegie Mellon, 2003.Google Scholar
- S. Zschaler. Formal specification of non-functional properties of component-based software systems: A semantic framework and some applications thereof. Software and Systems Modelling (SoSyM), 9:161--201, Apr. 2009.Google Scholar
Index Terms
- Refining extra-functional property values in hierarchical component models
Recommendations
Formal Specification of Extra-Functional Properties for Component Based System
ICTCS '14: Proceedings of the 2014 International Conference on Information and Communication Technology for Competitive StrategiesInclusion of Extra-Functional Properties (EFPs) can enrich the quality of component based system design and development. However, such inclusion is a complex engineering task. It is even more complex when reuse possibility of components are high. Formal ...
Evolution management of extra-functional properties in component-based embedded systems
CBSE '11: Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineeringAs software complexity increases in embedded systems domain, component-based development becomes increasingly attractive. A main challenge in this approach is however to analyze the system's extra-functional properties (such as timing properties, or ...
Towards Accurate Monitoring of Extra-Functional Properties in Real-Time Embedded Systems
APSEC '12: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01Management and preservation of Extra-Functional Properties (EFPs) is critical in real-time embedded systems to ensure their correct behavior. Deviation of these properties, such as timing and memory usage, from their acceptable and valid values can ...
Comments