research-article

Evolution management of extra-functional properties in component-based embedded systems

Authors:

Antonio Cicchetti,

Federico Ciccozzi,

Thomas Leveque,

Severine SentillesAuthors Info & Claims

CBSE '11: Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering

Pages 93 - 102

https://doi.org/10.1145/2000229.2000243

Published: 20 June 2011 Publication History

Abstract

As 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 resource requirements), an important step in a development of embedded systems. Analysis of such properties are computational and time consuming, and often difficult. For this reason reuse of the results of the analysis is as important as the reuse of the component itself, especially in case of modifications of the context in which the component is used. This paper presents concepts and mechanisms that allow to automatically discover whether a property value is still valid when related components evolve: a value context language is proposed to formally define the validity conditions and identify possible threats.

References

[1]

R. S. Arnold. Software Change Impact Analysis. IEEE CS, 1996.

Digital Library

[2]

L. Berardinelli, V. Cortellessa, and A. Di Marco. Performance modeling and analysis of context-aware mobile software systems. In FASE, volume 6013 of LNCS, pages 353--367. Springer Berlin, 2010.

Digital Library

[3]

T. Bureš, J. Carlson, I. Crnković, S. Sentilles, and A. Vulgarakis. ProCom Reference Manual, v1.0. Technical Report MDH-MRTC-230/2008-1-SE, Mälardalen University, June 2008.

[4]

S. Bygde, A. Ermedahl, and B. Lisper. An Efficient Algorithm for Parametric WCET Calculation. In Proceedings of RTCSA 2009, pages 13--21, 2009.

Digital Library

[5]

A. Cicchetti, D. Di Ruscio, and A. Pierantonio. A Metamodel Independent Approach to Difference Representation. JOT, 6:165--185, 2007.

[6]

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 LNCS, pages 257--278. Springer Berlin, 2005.

Digital Library

[7]

T. Feng and J. I. Maletic. Applying dynamic change impact analysis in component-based architecture design. In Proceedings of SNPD, pages 43--48, 2006.

Digital Library

[8]

J. Han. Supporting impact analysis and change propagation in software engineering environments. Int'l Workshop in Software Technology and Engineering Practice, page 172, 1997.

Digital Library

[9]

D. Hirsch, J. Kramer, J. Magee, and S. Uchitel. Modes for software architectures. In Software Architecture, LNCS, pages 113--126. Springer Berlin, 2006.

Digital Library

[10]

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 ICSE, 2009.

[11]

D. Kolovos, L. Rose, and R. Paige. The epsilon Book. http://www.eclipse.org/gmt/epsilon/doc/book/, 2010.

[12]

S. Looman. Impact analysis of changes in functional requirements in the behavioral view of software architectures, August 2009.

[13]

OMG. OCL 2.0 Specification, 2006. OMG Document formal/2006-05-01.

[14]

S. Sentilles, P. Štěpán, J. Carlson, and I. Crnković. Integration of Extra-Functional Properties in Component Models. In Proceedings of CBSE, 2009.

Digital Library

[15]

S. Sentilles, A. Vulgarakis, T. Bureš, J. Carlson, and I. Crnković. A Component Model for Control-Intensive Distributed Embedded Systems. In Proceedings of CBSE, pages 310--317. Springer Berlin, 2008.

Digital Library

[16]

C. Tibermacine, R. Fleurquin, and S. Sadou. On-demand quality-oriented assistance in component-based software evolution. In Component-Based Software Engineering, volume 4063 of LNCS, pages 294--309. Springer, 2006.

Digital Library

[17]

M. Törngren, D. Chen, and I. Crnkovic. Component based vs. model based development: A comparison in the context of vehicular embedded systems. In SEAA'05. IEEE.

Digital Library

[18]

J. Zhao, H. Yang, L. Xiang, and B. Xu. Change impact analysis to support architectural evolution. Journal of Software Maintenance, 14(5):317--333, 2002.

Digital Library

Cited By

Parra PPolo OFernandez Jda Silva ASanchez SMartinez A(2021)A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis ModelsIEEE Transactions on Emerging Topics in Computing10.1109/TETC.2018.28660249:1(78-89)Online publication date: 1-Jan-2021
https://doi.org/10.1109/TETC.2018.2866024
Soares Ldo Carmo Machado Ide Almeida ESchmid KHaugen ØMüller J(2015)Non-Functional Properties in Software Product LinesProceedings of the 9th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/2701319.2701326(67-74)Online publication date: 21-Jan-2015
https://dl.acm.org/doi/10.1145/2701319.2701326
Sapienza GCrnkovic IPotena P(2014)Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional PropertiesProceedings of the 2014 IEEE/IFIP Conference on Software Architecture10.1109/WICSA.2014.19(175-184)Online publication date: 7-Apr-2014
https://dl.acm.org/doi/10.1109/WICSA.2014.19
Show More Cited By

Index Terms

Evolution management of extra-functional properties in component-based embedded systems

Recommendations

Design-time verification of component-based embedded systems with respect to extra-functional properties
WCOP '11: Proceedings of the 16th international workshop on Component-oriented programming

When developing embedded systems, certain constraints regarding extra functional properties have to be guaranteed. It is desirable to be able to perform early design time verification of embedded systems with respect to their extra-functional properties,...
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 Strategies

Inclusion 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 ...
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 01

Management 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CBSE '11: Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering

June 2011

214 pages

ISBN:9781450307239

DOI:10.1145/2000229

General Chairs:
Ivica Crnkovic
Mälardalen University, Västerås, Sweden
,
Judith A. Stafford
Tufts University, Boston, USA
,
Program Chairs:
Antonia Bertolino
ISTI-CNR, Pisa, Italy
,
Kendra M.L. Cooper
The University of Texas at Dallas, USA

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 June 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

Comparch '11

Sponsor:

SIGSOFT

Comparch '11: Federated Events on Component-Based Software Engineering and Software Architecture

June 20 - 24, 2011

Colorado, Boulder, USA

Acceptance Rates

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
131
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Parra PPolo OFernandez Jda Silva ASanchez SMartinez A(2021)A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis ModelsIEEE Transactions on Emerging Topics in Computing10.1109/TETC.2018.28660249:1(78-89)Online publication date: 1-Jan-2021
https://doi.org/10.1109/TETC.2018.2866024
Soares Ldo Carmo Machado Ide Almeida ESchmid KHaugen ØMüller J(2015)Non-Functional Properties in Software Product LinesProceedings of the 9th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/2701319.2701326(67-74)Online publication date: 21-Jan-2015
https://dl.acm.org/doi/10.1145/2701319.2701326
Sapienza GCrnkovic IPotena P(2014)Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional PropertiesProceedings of the 2014 IEEE/IFIP Conference on Software Architecture10.1109/WICSA.2014.19(175-184)Online publication date: 7-Apr-2014
https://dl.acm.org/doi/10.1109/WICSA.2014.19
Borde ECarlson JFeljan JLednicki LLévêque TMaras JPetricic ASentilles S(2011)PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded SystemsProceedings of the 2011 Ninth Working IEEE/IFIP Conference on Software Architecture10.1109/WICSA.2011.56(351-354)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1109/WICSA.2011.56
Cicchetti ACiccozzi FLeveque T(2011)Supporting incremental synchronization in hybrid multi-view modellingProceedings of the 2011th international conference on Models in Software Engineering10.1007/978-3-642-29645-1_11(89-103)Online publication date: 16-Oct-2011
https://dl.acm.org/doi/10.1007/978-3-642-29645-1_11

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents