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

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

doi:10.5220/0005236100500061

Cited by 4 publications

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…MATLAB Simulink is a modelling framework for dynamic systems that is widely used across many industries including aerospace and automotive [ 2 , 35 , 36 ]. This framework has its own set of model management activities to operate on its own models such as code generation and validation, but it does not offer facilities to export these models in XMI, the default exchange format for EMF models.…”

Section: Introductionmentioning

confidence: 99%

Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries

Pina

Zolotas

Rodriguez³

et al. 2021

Softw Syst Model

View full text Add to dashboard Cite

Open-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.

show abstract

Section: Introductionmentioning

confidence: 99%

Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries

Pina

Zolotas

Rodriguez³

et al. 2021

Softw Syst Model

View full text Add to dashboard Cite

show abstract

Architectural Analysis of MATLAB/Simulink Models with Artshop

Gerlitz

Kowalewski

2016

2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA)

View full text Add to dashboard Cite

Generalized observational slicing for tree-represented modelling languages

Gold

Binkley

Harman

et al. 2017

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

View full text Add to dashboard Cite

Model-driven software engineering raises the abstraction level making complex systems easier to understand than if written in textual code. Nevertheless, large complicated software systems can have large models, motivating the need for slicing techniques that reduce the size of a model. We present a generalization of observationbased slicing that allows the criterion to be defined using a variety of kinds of observable behavior and does not require any complex dependence analysis. We apply our implementation of generalized observational slicing for tree-structured representations to Simulink models. The resulting slice might be the subset of the original model responsible for an observed failure or simply the sub-model semantically related to a classic slicing criterion. Unlike its predecessors, the algorithm is also capable of slicing embedded Stateflow state machines. A study of nine real-world models drawn from four different application domains demonstrates the effectiveness of our approach at dramatically reducing Simulink model sizes for realistic observation scenarios: for 9 out of 20 cases, the resulting model has fewer than 25% of the original model's elements. CCS CONCEPTS • Software and its engineering → Dynamic analysis; Extensible Markup Language (XML); Software testing and debugging;

show abstract

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

Cited by 4 publications

References 4 publications

Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries

Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries

Architectural Analysis of MATLAB/Simulink Models with Artshop

Generalized observational slicing for tree-represented modelling languages

Contact Info

Product

Resources

About