Skip to main content
SpringerLink
Log in

SLDG: a metamodel for Simulink/Stateflow models and its applications

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

Simulink and Stateflow (SL/SF) models are being widely used to design and develop embedded systems. Often the SL/SF models of embedded controllers turn out to be large and consist of many subsystems and hierarchies. When such a system is maintained, it becomes difficult to manually analyse the model to identify the impacted elements due to the existence of several explicit and implicit dependencies among the model elements. To automate the analysis of an SL/SF model, we propose a metamodel to capture various types of dependencies existing across the basic blocks. We have named this metamodel Simulink dependency graph (SLDG). We investigate the use of SLDG in change impact visualization and regression test selection. We have developed a prototype tool by implementing our approach for the aforementioned applications.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11

Similar content being viewed by others

References

  1. Reicherdt R, Glesner S (2012) Slicing MATLAB Simulink models. In: 34th international conference on software engineering (ICSE)

  2. The MathWorks, Inc. http://www.mathworks.com. Accessed Apr 2013

  3. The MathWorks Inc. Simulink design verifier, user’s guide

  4. Mund G, Mall R (2006) An efficient interprocedural dynamic slicing method. J Syst Softw 79(6):791–806

    Article  Google Scholar 

  5. (2013) A metamodel for Simulink/Stateflow models and its applications, IIT Kharagpur

  6. Online link. http://www.mathworks.in/help/simulink/slref/set_param.html. Accessed Apr 2013

  7. Graph visualization software. http://www.graphviz.org. Accessed Apr 2013

  8. Simulink library. http://www.conqat.org. Accessed Apr 2013

  9. Korel B, Singh I, Tahat L, Vaysburg B (2003) Slicing of state based models. In: IEEE international conference on software maintenance (ICSM’03). IEEE Computer Society Press, Los Alamitos, pp 34–43

  10. Chen Y, Probert RC, Ural H (2007) Model-based regression test suite generation using dependence analysis. ACM, New York

  11. Wang J, Dong W, Qi ZC (2002) Slicing hierarchical automata for model checking UML statecharts. In: Proc. fourth int. conf. formal eng. methods: formal methods and software eng., pp 435–446

  12. Van Langenhove S (Oct.2005) Internal broadcasting to slice UML state charts: as rich as needed. In: Proc. abstracts of the FNRS contact day: the theory and practice of software verification

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, India

    Shambhu Prasad, Suraj Nayak, Vamshi Vijay & Rajib Mall

Authors
  1. Shambhu Prasad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Suraj Nayak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vamshi Vijay
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Rajib Mall
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shambhu Prasad.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Prasad, S., Nayak, S., Vijay, V. et al. SLDG: a metamodel for Simulink/Stateflow models and its applications. Innovations Syst Softw Eng 12, 263–278 (2016). https://doi.org/10.1007/s11334-015-0268-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-015-0268-0

Keywords

Search

Navigation