Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/1868294.1868299acmconferencesArticle/Chapter ViewAbstractPublication PagesgpceConference Proceedingsconference-collections
research-article

Automatic variation-point identification in function-block-based models

Published: 10 October 2010 Publication History

Abstract

Function-block-based modeling is often used to develop embedded systems, particularly as system variants can be developed rapidly from existing modules. Generative approaches can simplify the handling and development of the resulting high variety of function-block-based models. But they often require the development of new generic models that do not utilize existing ones. Reusing existing models will significantly decrease the effort to apply generative programming. This work introduces an automatic approach to recognize variants in a set of models and identify the variation points and their dependencies within variants. As result it offers automatically generated feature models and ICCL content to regenerate the given variants.

References

[1]
}}T. J. Biggerstaff. The library scaling problem and the limits of concrete component reuse. In ph3rd Int. Conf. of Software Reuse, pages 102--109. IEEE, 1994.
[2]
}}C. Bron and J. Kerbosch. Algorithm 457: Finding all cliques of an undirected graph. phComm. of the ACM, 16 (9): 575--577, 1973.
[3]
}}K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools and Applications. Addison-Wesley, 2000.
[4]
}}T. Eisenbarth, R. Koschke, and D. Simon. Derivation of feature component maps by means of concept analysis. In 5th Eu. Conf. on Software Maintenance and Reengineering, pages 176--179, 2001.
[5]
}}B. Ganter and R. Wille. Formal Concept Analysis -- Mathematical Foundations. Springer, 1999.
[6]
}}IEC 61499. IEC 61499--Function blocks. Int. Electrotechnical Commission, 1st edition, 2005.
[7]
}}IEC 61804. IEC 61804--Function blocks (FB) for process control--Part 2: Specification of FB concept and Electronic Device Description Language (EDDL). Int. Electrotechnical Commission, 1st edition, 2004.
[8]
}}C. Kastner, S. Apel, and M. Kuhlemann. A model of refactoring physically and virtually separated features. In 8th Int. Conf. on Generative Programming and Component Engineering, pages 157--166, New York, NY, USA, 2009. ACM.
[9]
}}C. Lindig. Fast concept analysis. In Working with Conceptual Structures --- Contributions to ICCS 2000, pages 152--161. Shaker Verlag, 2000.
[10]
}}C. Lindig and D. Götzmann. Colibri-Java -- Formal concept analysis implemented in Java, 2007. http://code.google.com/p/colibri-java/.
[11]
}}J. Liu, D. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In 28th Int. Conf. on Software Engineering, pages 112--121, New York, NY, USA, 2006. ACM.
[12]
}}F. Loesch and E. Ploedereder. Restructuring variability in software product lines using concept analysis of product configurations. In 11th Eu. Conf. on Software Maintenance and Reengineering, pages 159--170, 2007.
[13]
}}Simulink -- Simulation and Model-Based Design. The MathWorks, Inc., visited 2010. http://www.mathworks.com/products/simulink/.
[14]
}}U. Ryssel, J. Ploennigs, K. Kabitzsch, and M. Folie. Generative design of hardware-in-the-loop models. In 1st Workshop on Automatic Program Generation for Embedded Systems, Salzburg, Austria, Oct. 2007.
[15]
}}U. Ryssel, J. Ploennigs, and K. Kabitzsch. Automatic library migration for the generation of hardware-in-the-loop models. Science of Computer Programming, 2010. 10.1016/j.scico.2010.06.005.
[16]
}}T. Satyananda, D. Lee, S. Kang, and S. Hashmi. Identifying traceability between feature model and software architecture in software product line using formal concept analysis. In Int. Conf. on Computational Science and its Applications, pages 380--388, 2007.
[17]
}}G. Snelting. Reengineering of configurations based on mathematical concept analysis. ACM Transactions on Software Engineering and Methodology, 5 (2): 146--189, April 1996.
[18]
}}S. Trujillo, D. Batory, and O. Diaz. Feature refactoring a multi-representation program into a product line. In 5th Int. Conf. on Generative programming and component engineering, pages 191--200, New York, NY, USA, 2006. ACM.
[19]
}}K. Yoshimura, D. Ganesan, and D. Muthig. Defining a strategy to introduce a software product line using existing embedded systems. In 6th ACM & IEEE Int. Conf. on Embedded Software, pages 63--72, New York, NY, USA, 2006. ACM Press.

Cited By

View all
  • (2023)Repository mining for changes in Simulink and Stateflow modelsSoftware and Systems Modeling10.1007/s10270-023-01113-522:5(1713-1732)Online publication date: 16-Jun-2023
  • (2021)Repository Mining for Changes in Simulink Models2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS50736.2021.00014(46-57)Online publication date: Oct-2021
  • (2021)Scalable N-Way Model Matching Using Multi-Dimensional Search Trees2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS50736.2021.00010(1-12)Online publication date: Oct-2021
  • Show More Cited By

Index Terms

  1. Automatic variation-point identification in function-block-based models

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    GPCE '10: Proceedings of the ninth international conference on Generative programming and component engineering
    October 2010
    198 pages
    ISBN:9781450301541
    DOI:10.1145/1868294
    • General Chair:
    • Eelco Visser,
    • Program Chair:
    • Jaakko Järvi
    • cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 46, Issue 2
      GPCE '10
      Febuary 2011
      185 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/1942788
      Issue’s Table of Contents
    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

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 10 October 2010

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. formal concept analysis
    2. function-block-based models
    3. library migration
    4. variation-point identification

    Qualifiers

    • Research-article

    Conference

    GPCE'10
    Sponsor:
    GPCE'10: Generative Programming and Component Engineering
    October 10 - 13, 2010
    Eindhoven, The Netherlands

    Acceptance Rates

    GPCE '10 Paper Acceptance Rate 18 of 59 submissions, 31%;
    Overall Acceptance Rate 56 of 180 submissions, 31%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)15
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 25 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)Repository mining for changes in Simulink and Stateflow modelsSoftware and Systems Modeling10.1007/s10270-023-01113-522:5(1713-1732)Online publication date: 16-Jun-2023
    • (2021)Repository Mining for Changes in Simulink Models2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS50736.2021.00014(46-57)Online publication date: Oct-2021
    • (2021)Scalable N-Way Model Matching Using Multi-Dimensional Search Trees2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS50736.2021.00010(1-12)Online publication date: Oct-2021
    • (2020)Feature identification for engineering model variants in cyber-physical production systems engineeringProceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3377024.3377043(1-5)Online publication date: 5-Feb-2020
    • (2019)Reengineering Variants of MATLAB/Simulink Software SystemsSecurity and Quality in Cyber-Physical Systems Engineering10.1007/978-3-030-25312-7_10(267-301)Online publication date: 10-Nov-2019
    • (2019)Variability Identification and Representation for Automotive Simulink ModelsAutomotive Systems and Software Engineering10.1007/978-3-030-12157-0_6(109-139)Online publication date: 18-Jul-2019
    • (2018)Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME.2018.00026(160-171)Online publication date: Sep-2018
    • (2018)Indicators for merge conflicts in the wildAutomated Software Engineering10.1007/s10515-017-0227-025:2(279-313)Online publication date: 1-Jun-2018
    • (2018)Variability-based model transformation: formal foundation and applicationFormal Aspects of Computing10.1007/s00165-017-0441-330:1(133-162)Online publication date: 1-Jan-2018
    • (2018)An Incremental Approach for the Extraction of Software Product Lines from Model VariantsAdvances in Computing Systems and Applications10.1007/978-3-319-98352-3_14(124-134)Online publication date: 10-Aug-2018
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media