skip to main content
research-article

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

Published:10 October 2010Publication History
Skip Abstract Section

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.Google ScholarGoogle Scholar
  2. }}C. Bron and J. Kerbosch. Algorithm 457: Finding all cliques of an undirected graph. phComm. of the ACM, 16 (9): 575--577, 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. }}K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools and Applications. Addison-Wesley, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. }}B. Ganter and R. Wille. Formal Concept Analysis -- Mathematical Foundations. Springer, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. }}IEC 61499. IEC 61499--Function blocks. Int. Electrotechnical Commission, 1st edition, 2005.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. }}C. Lindig. Fast concept analysis. In Working with Conceptual Structures --- Contributions to ICCS 2000, pages 152--161. Shaker Verlag, 2000.Google ScholarGoogle Scholar
  10. }}C. Lindig and D. Götzmann. Colibri-Java -- Formal concept analysis implemented in Java, 2007. http://code.google.com/p/colibri-java/.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. }}Simulink -- Simulation and Model-Based Design. The MathWorks, Inc., visited 2010. http://www.mathworks.com/products/simulink/.Google ScholarGoogle Scholar
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. }}G. Snelting. Reengineering of configurations based on mathematical concept analysis. ACM Transactions on Software Engineering and Methodology, 5 (2): 146--189, April 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

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

    Recommendations

    Comments

    Login options

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

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!