Signature Required - Making Simulink Data Flow and Interfaces Explicit
Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven Postma, Vera Pantelic
2014
Abstract
Model comprehension and effective use and reuse of complex subsystems are problems currently encountered in the automotive industry. To address these problems we present a technique for extracting, presenting and making use of signatures for Simulink subsystems. The signature of a subsystem is defined to be a generalization of its interface, including the subsystem’s explicit ports, locally defined and inherited data stores, and scoped gotos/froms. We argue that the use of signatures has significant benefits for model comprehension and subsystem testing, and show how the incorporation of signatures into existing Simulink models is practical and useful by discussing various usage scenarios.
References
- Cox, A., Gauvin, S., and Smedley, T. (2004). Towards comprehensible control flow in visual data flow languages. In International Conference on Distributed Multimedia System.
- Green, T. and Petre, M. (1992). When visual programs are harder to read than textual programs. In HumanComputer Interaction: Tasks and Organisation, Proceedings 6th European Conference on Cognitive Ergonomics.
- MathWorks (2008). Best practices for data stores. http://www.mathworks.com/support/solutions/attach ment.html?resid=1-6F3I63&solution=1-5NM3AN. [Online; accessed 20-August-2013].
- MathWorks (2013). Subsystem, Automic Subsystem, Nonvirtual Subsystem, CodeReuse Subsystem. http://www.mathworks.com/help/simulink/slref/ subsystem.html. [Online; accessed 25-August-2013].
- Meyer, B. (1992). Applying “Design by Contract”. IEEE Computer, 25(10):40-51.
- Parnas, D. (December 1972). On the criteria to be used in decomposing systems into modules. Communications of the ACM, 5(12):1053-1058.
- Quante, J. (2013). Views for efficient program understanding of automotive software. Softwaretechnik-Trends, 33(2).
- Rau, A. (2000). Potential and challenges for modelbased development: in the automotive industry. Business Briefing: Global Automotive Manufacturing and Technology, pages 124-138.
- Rau, A. (2001). Decomposition and interfaces revisited. Softwaretechnik-Trends, 21(2):19-23.
- Rau, A. (2002). On model-based development: A pattern for strong interfaces in SIMULINK. SoftwaretechnikTrends.
- Reicherdt, R. and Glesner, S. (2012). Slicing MATLAB simulink models. In Proceedings of the 2012 International Conference on Software Engineering, ICSE 2012, pages 551-561, Piscataway, NJ, USA. IEEE Press.
- Schäfer, M., Verbaere, M., Ekman, T., and de Moor, O. (2009). Stepping stones over the refactoring rubicon. In Drossopoulou, S., editor, ECOOP, volume 5653 of Lecture Notes in Computer Science, pages 369-393. Springer.
- Schatz, B., Prestchner, A., Huber, F., and Philipps, J. (2002). Model-based development of embedded systems. Technical report, Technische Universitat Muchen, Germany.
Paper Citation
in Harvard Style
Bender M., Laurin K., Lawford M., Ong J., Postma S. and Pantelic V. (2014). Signature Required - Making Simulink Data Flow and Interfaces Explicit . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 119-131. DOI: 10.5220/0004716001190131
in Bibtex Style
@conference{modelsward14,
author={Marc Bender and Karen Laurin and Mark Lawford and Jeff Ong and Steven Postma and Vera Pantelic},
title={Signature Required - Making Simulink Data Flow and Interfaces Explicit},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={119-131},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004716001190131},
isbn={978-989-758-007-9},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Signature Required - Making Simulink Data Flow and Interfaces Explicit
SN - 978-989-758-007-9
AU - Bender M.
AU - Laurin K.
AU - Lawford M.
AU - Ong J.
AU - Postma S.
AU - Pantelic V.
PY - 2014
SP - 119
EP - 131
DO - 10.5220/0004716001190131