On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models

Pina, Beatriz Sanchez; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitrios S.; Paige, Richard F.

doi:10.1109/models.2019.000-1

Cited by 14 publications

(22 citation statements)

References 13 publications

(25 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Scalability and processing times are issues of the upfront transformation to an EMF representation. These same issues were demonstrated for Massif in [16]. The reported processing times in Table 1 are slow for models with just tens of Simulink and Stateflow elements.…”

Section: Discussionmentioning

confidence: 55%

“…There are very few open source MATLAB-Eclipse integration tools. Four in particular can be highlighted as closely related: Matclipse [1], Lyo OSLC Simulink Adapter [2], Massif [6] and the on-the-fly translation approach of [16].…”

Section: Related Workmentioning

confidence: 99%

“…The on-the-fly translation approach of [16] eliminates the need for an upfront transformation of Simulink and Stateflow models into an EMF representation. This has performance gains for model validation over approaches with upfront transformations like Massif.…”

Section: Related Workmentioning

confidence: 99%

“…Furthermore, most of them are no longer maintained and, thus, do not work with the most recent releases of the Eclipse platform and its MDE tools. Massif is actively maintained, however, it lacks support for Stateflow [16] and certain implementation choices reduce its interoperability with other Eclipse tools for MDE.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Breesse

Paz

Boussaidi

2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

View full text Add to dashboard Cite

Both the Eclipse platform and MathWorks have successfully provided entire ecosystems and tooling for Model-Driven Engineering (MDE). On the one hand, the Eclipse community has built a rich set of open source tools and applications to address different MDE needs. Several of these tools and applications are actively used for developing academic and industrial systems. On the other hand, MathWorks with its Simulink and Stateflow technologies has focused on design modelling, simulation and code generation to deliver one of the most widely used modelling frameworks for developing embedded and safety-critical systems. Leveraging these two MDE ecosystems in the form of an integrated environment for embedded and safety-critical system development would be expected. Nonetheless, these two ecosystems rarely interact due to MathWorks' closed nature and proprietary file formats. This paper presents Breesse, a live bridge for the Eclipse Modeling Framework ecosystem and the MathWorks Simulink and Stateflow ecosystem. Breesse is an open source tool that was built in response to the needs of two industry partners who develop avionics systems. It was realized with EMF technologies and the MATLAB Engine API for Java. Breesse is able to import the contents of Simulink and Stateflow design models and libraries into EMF-based Simulink and Stateflow representations. These EMF-based representations enable the manipulation of the design models in other existing EMF-based tools for MDE. Evaluation of the tool was carried out through its use in three avionics system designs. CCS CONCEPTS • Computer systems organization → Embedded systems; • Software and its engineering → Software design engineering;

show abstract

Section: Discussionmentioning

confidence: 55%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Breesse

Paz

Boussaidi

2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

View full text Add to dashboard Cite

show abstract

“…For example, Bourbouh et al [8] compiled a set of 77 Stateflow models to demonstrate the effectiveness of their tool. Similarly, Sanchez et al [52] downloaded 70 Simulink models larger than 1MB from GitHub. Another benchmark of Simulink models was created as part of the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop [24].…”

Section: Relevance Of Open Source Models For Empirical Researchmentioning

confidence: 99%

Characteristics, potentials, and limitations of open-source Simulink projects for empirical research

et al. 2021

View full text Add to dashboard Cite

Simulink is an example of a successful application of the paradigm of model-based development into industrial practice. Numerous companies create and maintain Simulink projects for modeling software-intensive embedded systems, aiming at early validation and automated code generation. However, Simulink projects are not as easily available as code-based ones, which profit from large publicly accessible open-source repositories, thus curbing empirical research. In this paper, we investigate a set of 1734 freely available Simulink models from 194 projects and analyze their suitability for empirical research. We analyze the projects considering (1) their development context, (2) their complexity in terms of size and organization within projects, and (3) their evolution over time. Our results show that there are both limitations and potentials for empirical research. On the one hand, some application domains dominate the development context, and there is a large number of models that can be considered toy examples of limited practical relevance. These often stem from an academic context, consist of only a few Simulink blocks, and are no longer (or have never been) under active development or maintenance. On the other hand, we found that a subset of the analyzed models is of considerable size and complexity. There are models comprising several thousands of blocks, some of them highly modularized by hierarchically organized Simulink subsystems. Likewise, some of the models expose an active maintenance span of several years, which indicates that they are used as primary development artifacts throughout a project’s lifecycle. According to a discussion of our results with a domain expert, many models can be considered mature enough for quality analysis purposes, and they expose characteristics that can be considered representative for industry-scale models. Thus, we are confident that a subset of the models is suitable for empirical research. More generally, using a publicly available model corpus or a dedicated subset enables researchers to replicate findings, publish subsequent studies, and use them for validation purposes. We publish our dataset for the sake of replicating our results and fostering future empirical research.

show abstract

On the Replicability of Experimental Tool Evaluations in Model-Based Development

Boll

Kehrer

2020

Communications in Computer and Information Science

View full text Add to dashboard Cite

On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models

Cited by 14 publications

References 13 publications

Breesse

Breesse

Characteristics, potentials, and limitations of open-source Simulink projects for empirical research

On the Replicability of Experimental Tool Evaluations in Model-Based Development

Contact Info

Product

Resources

About