Abstract
AbstractOpen-source model management frameworks such as OCL and ATL tend to focus on manipulating models built atop the Eclipse Modelling Framework (EMF), a de facto standard for domain specific modelling. MATLAB Simulink is a widely used proprietary modelling framework for dynamic systems that is built atop an entirely different technical stack to EMF. To leverage the facilities of open-source model management frameworks with Simulink models, these can be transformed into an EMF-compatible representation. Downsides of this approach include the synchronisation of the native Simulink model and its EMF representation as they evolve; the completeness of the EMF representation, and the transformation cost which can be crippling for large Simulink models. We propose an alternative approach to bridge Simulink models with open-source model management frameworks that uses an “on-the-fly” translation of model management constructs into MATLAB statements. Our approach does not require an EMF representation and can mitigate the cost of the upfront transformation on large models. To evaluate both approaches we measure the performance of a model validation process with Epsilon (a model management framework) on a sample of large Simulink models available on GitHub. Our previous results suggest that, with our approach, the total validation time can be reduced by up to 80%. In this paper, we expand our approach to support the management of Simulink requirements and dictionaries, and we improve the approach to perform queries on collections of model elements more efficiently. We demonstrate the use of the Simulink requirements and dictionaries with a case study and we evaluate the optimisations on collection queries with an experiment that compares the performance of a set of queries on models with different sizes. Our results suggest an improvement by up to 99% on some queries.
Funder
Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada
Engineering and Physical Sciences Research Council
Innovate UK
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference49 articles.
1. Ansys: Ansys Scade Suite. https://www.ansys.com/products/embedded-software/ansys-scade-suite
2. Bender, M., Laurin, K., Lawford, M., Pantelic, V., Korobkine, A., Ong, J., Mackenzie, B., Bialy, M., Postma, S.: Signature required: making Simulink data flow and interfaces explicit. Sci. Comput. Program. 113, 29–50 (2015). https://doi.org/10.1016/j.scico.2015.07.005
3. Chabibi, B., Douche, A., Anwar, A., Nassar, M.: Integrating SysML with simulation environments (Simulink) by model transformation approach. In: Proceedings—25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016 pp. 148–150 (2016). https://doi.org/10.1109/WETICE.2016.39
4. Dassautl Systems: REQTIFY. https://www.3ds.com/products-services/catia/products/reqtify/
5. Di Natale, M., Perillo, D., Chirico, F., Sindico, A., Sangiovanni-Vincentelli, A.: A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. Softw. Syst. Model. 17(1), 11–33 (2018). https://doi.org/10.1007/s10270-016-0534-0
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Position Paper: A Vision for the Dynamic Safety Assurance of ML-Enabled Autonomous Driving Systems;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09
2. Designing critical systems with iterative automated safety analysis;Proceedings of the 59th ACM/IEEE Design Automation Conference;2022-07-10