Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/1987875.1987886acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Model based analysis process for embedded software product lines

Published: 21 May 2011 Publication History

Abstract

Nowadays, embedded system development is increasing its complexity dealing with quality, cost and time-to-market among others. Quality attributes are an important issue to consider in embedded software development where time issues may be critical. Development paradigms such as Model Driven Development and Software Product Lines can be an adequate alternative to traditional software development and validation methods due to the characteristics of embedded systems. But for a proper validation and verification based on MARTE model analysis, all variability issues and critical quality attributes that take part in analysis must be properly modelled and managed. Therefore, a model analysis process for Model Driven Embedded Software Product Lines has been defined as some process lacks have been found.

References

[1]
UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. formal/2009-11-02.
[2]
Albinet, A., Begoc, S., Boulanger, J., Casse, O., Dal, I., Dubois, H., Lakhal, F., Louar, D., Peraldi-Frati, M., Sorel, Y. and Van, Q. 2008. The MeMVaTEx methodology: From Requirements to Models in Automotive Application Design. In 4th European Congress Embedded Real Time Software - ERTS'08, Toulouse, France, January 29 - February 1.
[3]
Anquetil, N., Grammel, B., Silva, I. G. L. D., Noppen, J. A. R., Khan, S. S., Arboleda, H., Rashid, A. and Garcia, A. 2008. Traceability for Model Driven, Software Product Line Engineering. In ECMDA Traceability Workshop Proceedings, June, SINTEF, Norway, 77--86.
[4]
Belategi, L., Sagardui, G. and Etxeberria, L. 2010. MARTE Mechanisms to Model Variability when Analyzing Embedded Software Product Lines. In 14th International Software Product Line Conference 2010 (SPLC 2010), Jeju Island, South Korea, 13-17 September.
[5]
Belategi, L., Sagardui, G. and Etxeberria, L. 2010. Variability Management in Embedded Product Line Analysis. In The Second International Conference on Advances in System Testing and Validation Lifecycle (VALID 2010), Nice, France, August 22-27.
[6]
Czarnecki, K. 1998. Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models.
[7]
Czarnecki, K., Helsen, S. and Eisenecker, U. W. 2005. Staged configuration through specialization and multilevel configuration of feature models. Software Process: Improvement and Practice 10, 143--169.
[8]
Deelstra, S. and Sinnema, M. 2008. Managing the Complexity of Variability in Software Product Families. Thesis.
[9]
Demathieu, S., Thomas, F., André, C., Gérard, S. and Terrier, F. 2008. First Experiments Using the UML Profile for MARTE. In ISORC '08: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing, IEEE Computer Society, Washington, DC, USA, 50--57.
[10]
Dziobek, C., Loew, J., Przystas, W. and Weiland, J. 2008. Model Diversity and Variability - Handling functional variants in Simulink models. Elektronik automotive 2.
[11]
Espinoza, H. 2007. An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems. DRT/LIST/DTSI/SOL/07-265/HE, Thesis.
[12]
Etxeberria, L., Sagardui, G. and Belategi, L. 2007. Modelling Variation in Quality Attributes. In First International Workshop on Variability of Software-Intensive, K. Pohl, P. Heymans, K. Kang and A. Metzger, Eds. Lero.
[13]
Etxeberria, L. and Sagardui, G. 2008. Variability Driven Quality Evaluation in Software Product Lines. In 12th International Software Product Line Conference (SPLC), Limerick, Ireland, 8-12 Sept. 2008, IEEE, Piscataway, NJ, USA, 243--52.
[14]
Gomaa, H. 2004. Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley Longman Publishing Co., Inc, Redwood City, CA, USA.
[15]
Haugen, O., Oldevik, B. and Olsen, J. 2008. Adding standardized variability to domain specific languages. In 12th International Software Product Line Conference (SPLC), Limerick, Ireland, 8-12 Sept. 2008, IEEE, Piscataway, NJ, USA, 139--148.
[16]
IEEE Standard 1061-1992. IEEE standard for a software quality metrics.
[17]
Kang, K., Cohen, S., Hess, J., Novak, W. and Peterson, S. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study.
[18]
Le Dang, H., Dubois, H. and Gérard, S. 2008. Towards a traceability model in a MARTE-based methodology for realtime embedded systems. Innovations in Systems and Software Engineering 4, 189--193.
[19]
Lee, S., Mallet, F. and De Simone, R. 2008. Dealing with AADL End-to-end Flow Latency with UML MARTE. In 13th International Conference on Engineering of Complex Computer Systems (ICECCS'08), Belfast, UK, May, IEEE Computer Society, 228--233.
[20]
Liehr, A. W., Rolfs, H. S., Buchenrieder, K. and Nageldinger, U. 2008. Generating MARTE Allocation Models from Activity Threads. In FDL, Stuttgart, Germany, September 23-25, IEEE, 215--220.
[21]
Pohl, K., Böckle, G. and Van Der Linden, F.J. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer.
[22]
Pree, W., Fontoura, M. and Rumpe, B. 2002. Product Line Annotations with UML-F. In SPLC 2: Proceedings of the Second International Conference on Software Product Lines, Springer-Verlag, London, UK, 188--197.
[23]
Schwanninger, C., Groher, I., Elsner, C. and Lehofer, M. 2009. Variability Modelling throughout the Product Line Lifecycle. In 12th International Conference Model Driven Engineering Languages and Systems, Denver, CO, USA, October 4-9, 2009, Andy Schürr and Bran Selic, Ed. Springer, 685--689.
[24]
SEI (Software Engineering Institute). A Framework for Software Product Line Practice, Version 5.0. 2008.
[25]
SEI. 2007. Software Architecture Glossary, Software Engineering Institute, Carnegie Mellon.
[26]
Shi, J. 2007. Model and Tool Integration in High Level Design of Embedded Systems. iv, 63, Thesis.
[27]
Sinnema, M. and Deelstra, S. 2007. Classifying variability modeling techniques. Inf.Softw.Technology. 49, 717--739.
[28]
Tawhid, R. and Petriu, D. 2008. Integrating Performance Analysis in the Model Driven Development of Software Product Lines. In 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, Sep 28-Oct 3 2008, Springer Verlag, Heidelberg, D-69121, Germany, 490--504.
[29]
Utting, M. and Legeard, B. 2006. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann.
[30]
Zha, X. F., Fenves, S. J. and Sriram, R. D. 2005. A Featurebased Approach to Embedded System Hardware and Software Co-Design. In ASME DETC.
[31]
Ziadi, T., Hélouët, L. and Jézéquel, J. 2003. Towards a UML Profile for Software Product Lines. In Proceedings of the Fifth Internationl Workshop on Product Familly Engineering (PFE-5); LNCS, Springer Verlag, 129--139.

Cited By

View all
  • (2016)A simplified-syntax-based static structure model for embedded software analysisWuhan University Journal of Natural Sciences10.1007/s11859-016-1177-221:4(324-332)Online publication date: 12-Jul-2016
  • (2015)Model-based systems engineering with requirements variability for embedded real-time systems2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)10.1109/MoDRE.2015.7343874(1-10)Online publication date: Aug-2015
  • (2014)Measures for Quality Evaluation of Feature ModelsSoftware Reuse for Dynamic Systems in the Cloud and Beyond10.1007/978-3-319-14130-5_20(282-297)Online publication date: 2014
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences
ICSSP '11: Proceedings of the 2011 International Conference on Software and Systems Process
May 2011
256 pages
ISBN:9781450307307
DOI:10.1145/1987875
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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 May 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. model based analysis process
  2. model driven development
  3. performance
  4. quality attributes
  5. schedulability
  6. software product line

Qualifiers

  • Research-article

Conference

ICSSP '11

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)10
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2016)A simplified-syntax-based static structure model for embedded software analysisWuhan University Journal of Natural Sciences10.1007/s11859-016-1177-221:4(324-332)Online publication date: 12-Jul-2016
  • (2015)Model-based systems engineering with requirements variability for embedded real-time systems2015 IEEE International Model-Driven Requirements Engineering Workshop (MoDRE)10.1109/MoDRE.2015.7343874(1-10)Online publication date: Aug-2015
  • (2014)Measures for Quality Evaluation of Feature ModelsSoftware Reuse for Dynamic Systems in the Cloud and Beyond10.1007/978-3-319-14130-5_20(282-297)Online publication date: 2014
  • (2012)User-friendly approach for handling performance parameters during predictive software performance engineeringProceedings of the 3rd ACM/SPEC International Conference on Performance Engineering10.1145/2188286.2188304(109-120)Online publication date: 22-Apr-2012
  • (2012)Software performance modelingProceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering10.1007/978-3-642-30982-3_7(219-262)Online publication date: 18-Jun-2012

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media