Skip to main content
SpringerLink
Log in

Towards Consistency Checking Between a System Model and Its Implementation

  • Conference paper
  • First Online:
Systems Modelling and Management (ICSMM 2020)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1262))

Included in the following conference series:

Abstract

In model-based systems engineering, a system model is the central development artifact containing architectural and design descriptions of core parts of the system. This abstract representation of the system is then partly realized in code. Throughout development, both system model and code evolve independently, incurring the risk of them drifting apart. Inconsistency between model and code can lead to errors in development, resulting in delayed or erroneous implementation. We present a work in progress towards automated mechanisms for checking consistency between a system model and code, within an industrial model-based systems engineering setting. In particular, we focus on automatically establishing traceability links between elements of the system model and parts of the code. The paper describes the challenges in achieving this in industrial practices and outlines our envisioned approach to overcome those challenges.

This research is supported by Software Center https://www.software-center.se.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://wiki.eclipse.org/AM3.

References

  1. Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM Syst. J. 45(3), 515–526 (2006). https://doi.org/10.1147/sj.453.0515

    Article  Google Scholar 

  2. Ali, N., Baker, S., O’Crowley, R., Herold, S., Buckley, J.: Architecture consistency: state of the practice, challenges and requirements. Empirical Softw. Eng. 23(1), 224–258 (2018). https://doi.org/10.1007/s10664-017-9515-3

    Article  Google Scholar 

  3. Allilaire, F., Bézivin, J., Bruneliere, H., Jouault, F.: Global model management in eclipse GMT/AM3 (2006)

    Google Scholar 

  4. Cicchetti, A., Ciccozzi, F., Pierantonio, A.: Multi-view approaches for software and system modelling: a systematic literature review. Softw. Syst. Model. 18(6), 1–27 (2019). https://doi.org/10.1007/s10270-018-00713-w

  5. Dávid, I., Denil, J., Gadeyne, K., Vangheluwe, H.: Engineering process transformation to manage (in) consistency. In: Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016), pp. 7–16 (2016)

    Google Scholar 

  6. Favre, J.M.: Towards a basic theory to model model driven engineering. In: 3rd Workshop in Software Model Engineering, wisme, pp. 262–271. Citeseer (2004)

    Google Scholar 

  7. Feldmann, S., Kernschmidt, K., Wimmer, M., Vogel-Heuser, B.: Managing inter-model inconsistencies in model-based systems engineering: application in automated production systems engineering. J. Syst. Softw. 153, 105–134 (2019). https://doi.org/10.1016/j.jss.2019.03.060

    Article  Google Scholar 

  8. Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann (2014)

    Google Scholar 

  9. Herzig, S., Qamar, A., Paredis, C.: An approach to identifying inconsistencies in model-based systems engineering. Proc. Comput. Sci. 28, 354–362 (2014). https://doi.org/10.1016/j.procs.2014.03.044

    Article  Google Scholar 

  10. ISO/IEC/IEEE: ISO/IEC/IEEE 42010:2011(E) Systems and software engineering - Architecture description. Technical report, December 2011. https://doi.org/10.1109/IEEESTD.2011.6129467

  11. Jongeling, R., Carlson, J., Cicchetti, A.: Impediments to introducing continuous integration for model-based development in industry. In: 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp. 434–441. IEEE (2019). https://doi.org/10.1109/SEAA.2019.00071

  12. Jongeling, R., Ciccozzi, F., Cicchetti, A., Carlson, J.: Lightweight consistency checking for agile model-based development in practice. J. Object Technol. 18(2), 11:1–20 (2019). https://doi.org/10.5381/jot.2019.18.2.a11, the 15th European Conference on Modelling Foundations and Applications

  13. Kagdi, H., Maletic, J.I., Sharif, B.: Mining software repositories for traceability links. In: 15th IEEE International Conference on Program Comprehension (ICPC 2007), pp. 145–154. IEEE (2007). https://doi.org/10.1109/ICPC.2007.28

  14. Kanakis, G., Khelladi, D.E., Fischer, S., Tröls, M., Egyed, A.: An empirical study on the impact of inconsistency feedback during model and code co-changing. J. Object Technol. 18(2), 10:1–21 (2019). https://doi.org/10.5381/jot.2019.18.2.a10

  15. Kolovos, D., Paige, R., Polack, F.: The epsilon object language (EOL). In: European Conference on Model Driven Architecture-Foundations and Applications, pp. 128–142. Springer (2006). https://doi.org/10.1007/11787044_11

  16. Kolovos, D., Paige, R., Polack, F.: Detecting and repairing inconsistencies across heterogeneous models. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 356–364. IEEE (2008). https://doi.org/10.1109/icst.2008.23

  17. Lucia, A.D., Fasano, F., Oliveto, R., Tortora, G.: Recovering traceability links in software artifact management systems using information retrieval methods. ACM Trans. Softw. Eng. Methodol. (TOSEM) 16(4), 13-es (2007). https://doi.org/10.1145/1276933.1276934

  18. Paige, R.F., et al.: Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. 10(4), 469–487 (2011). https://doi.org/10.1007/s10270-010-0158-8

    Article  Google Scholar 

  19. Qamar, A., Paredis, C.J., Wikander, J., During, C.: Dependency modeling and model management in mechatronic design. J. Comput. Inf. Sci. Eng. 12(4) (2012). https://doi.org/10.1115/1.4007986

  20. Riedl-Ehrenleitner, M., Demuth, A., Egyed, A.: Towards model-and-code consistency checking. In: 2014 IEEE 38th Annual Computer Software and Applications Conference, pp. 85–90. IEEE (2014). https://doi.org/10.1109/COMPSAC.2014.91

  21. Schürr, A.: Specification of graph translators with triple graph grammars. In: International Workshop on Graph-Theoretic Concepts in Computer Science, pp. 151–163. Springer (1994). https://doi.org/10.1007/3-540-59071-4_45

  22. Selic, B.: What will it take? A view on adoption of model-based methods in practice. Softw. Syst. Model. 11(4), 513–526 (2012). https://doi.org/10.1007/s10270-012-0261-0

    Article  Google Scholar 

  23. Service, G., Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: Xlinkit: aconsistency checking and smart link generation service. ACM Trans. Internet Technol. 2 (2001). https://doi.org/10.1145/514183.514186

  24. Walden, D.D., Roedler, G.J., Forsberg, K., Hamelin, R.D., Shortell, T.M.: Systems Engineering handbook: A Guide for System Life Cycle Processes and Activities. John Wiley & Sons (2015)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mälardalen University, Västerås, Sweden

    Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti & Jan Carlson

  2. Saab AB, Järfälla, Sweden

    Johan Fredriksson

Authors
  1. Robbert Jongeling
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Johan Fredriksson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Federico Ciccozzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Antonio Cicchetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jan Carlson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robbert Jongeling .

Editor information

Editors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    Önder Babur

  2. University of Antwerp, Antwerp, Belgium

    Joachim Denil

  3. Technical University of Munich, Munich, Germany

    Birgit Vogel-Heuser

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Jongeling, R., Fredriksson, J., Ciccozzi, F., Cicchetti, A., Carlson, J. (2020). Towards Consistency Checking Between a System Model and Its Implementation. In: Babur, Ö., Denil, J., Vogel-Heuser, B. (eds) Systems Modelling and Management. ICSMM 2020. Communications in Computer and Information Science, vol 1262. Springer, Cham. https://doi.org/10.1007/978-3-030-58167-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-58167-1_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-58166-4

  • Online ISBN: 978-3-030-58167-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation