A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink

Vera Pantelic, Steven Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender

2015

Abstract

This paper presents a set of tools that provide automatic support for application of some of the traditional software engineering practices when developing with Simulink. The tools are the: Signature Tool, Reach/Coreach Tool, Data Store Push-Down Tool, and Auto Layout Tool. The Signature Tool extracts the interface of a Simulink subsystem, identifying the subsystem’s explicit, and implicit data flow mechanisms, empowering developers to use the implicit mechanisms more effectively. The Reach/Coreach Tool identifies data and control flow dependencies in a Simulink model and uses the information for model slicing. The view of dependencies offered by the tool significantly eases the comprehension of large models. The dependencies can also serve as indicators of alternative designs, and facilitate more effective testing and verification. The Data Store Push-Down Tool restricts the scope of Simulink’s data stores thereby providing improved encapsulation, and increasing modularity. Finally, the Auto Layout Tool significantly decreases the manual effort developers spend in achieving proper layout of models during design and refactoring, and can be used by automated refactoring and transformation tools.

References

  1. Bender, M., Laurin, K., Lawford, M., Ong, J., Postma, S., and Pantelic, V. (2014a). Signature required: Making Simulink data flow and interfaces explicit. In Proceedings of 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), pages 119-131. SCITEPRESS.
  2. Bender, M., Laurin, K., Lawford, M., Pantelic, V., Korobkine, A., Ong, J., Mackenzie, B., Bialy, M., and Postma, S. (2014b). Signature required: Making Simulink data flow and interfaces explicit. In Science of Computer Programming, Special issue on ModelDriven Development. Submitted in June.
  3. Gansner, E. R., Koutsofios, E., North, S. C., and Vo, K.-P. (1993). A technique for drawing directed graphs. Software Engineering, IEEE Transactions on, 19(3):214- 230.
  4. Klauske, L., Schulze, C., Spnemann, M., and von Hanxleden, R. (2012). Improved layout for data flow diagrams with port constraints. In Cox, P., Plimmer, B., and Rodgers, P., editors, Diagrammatic Representation and Inference, volume 7352 of Lecture Notes in Computer Science, pages 65-79. Springer Berlin Heidelberg.
  5. Klauske, L. K. and Dziobek, C. (2010). Improving modeling usability: Automated layout generation for simulink. In Proceedings of the MathWorks Automotive Conference, MAC.
  6. MathWorks, T. (2014a). Model Advisor. http://www. mathworks.com/help/simulink/ug/consulting-themodel-advisor.html. [Online; accessed September 2014].
  7. MathWorks, T. (2014b). The MathWorks motive Advisory Board. http://www. works.com/automotive/standards/maab.html. line; accessed September 2014].
  8. MathWorks, T. (2014c). Verification Validation Toolbox. http://www. works.com/products/simverification/. accessed September 2014].
  9. Model Engineering Solutions (2014). MES Model Examiner (MXAM DRIVE). http://www. modelengineers.com/en/model-examiner.html. [Online; accessed September 2014].
  10. Quante, J. (2013). Views for efficient program understanding of automotive software. Softwaretechnik-Trends, 33(2).
  11. Reicherdt, R. and Glesner, S. (2012). Slicing MATLAB Simulink models. In Software Engineering (ICSE), 2012 34th International Conference on, pages 551- 561. IEEE.
Download


Paper Citation


in Harvard Style

Pantelic V., Postma S., Lawford M., Korobkine A., Mackenzie B., Ong J. and Bender M. (2015). A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 50-61. DOI: 10.5220/0005236100500061


in Bibtex Style

@conference{modelsward15,
author={Vera Pantelic and Steven Postma and Mark Lawford and Alexandre Korobkine and Bennett Mackenzie and Jeff Ong and Marc Bender},
title={A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={50-61},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005236100500061},
isbn={978-989-758-083-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink
SN - 978-989-758-083-3
AU - Pantelic V.
AU - Postma S.
AU - Lawford M.
AU - Korobkine A.
AU - Mackenzie B.
AU - Ong J.
AU - Bender M.
PY - 2015
SP - 50
EP - 61
DO - 10.5220/0005236100500061