An official website of the United States government
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects
EvoSL is the first large redistributable corpus of open-source Simulink models that contains project change histories. EvoSL contains 924 Git repositories from GitHub with their 3k issues, 2k pull requests, 10k comments, over 100k commits, and 2M element-level changes extracted from 14k Simulink model snapshots.
more »
« less
- Award ID(s):
- 1911017
- PAR ID:
- 10486449
- Publisher / Repository:
- Zenodo
- Date Published:
- Subject(s) / Keyword(s):
- Simulink Model Evolution
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional formal modeling and reasoning about reactive systems, built around Isabelle, Simulink, and Python. The toolset implements the Refinement Calculus of Reactive Systems (RCRS), a contract-based refinement framework inspired by the classic refinement calculus and interface theories. The toolset formalizes the entire RCRS theory in about 30000 lines of Isabelle code. The toolset also contains a translator of Simulink diagrams and a formal analyzer implemented on top of Isabelle. We present the main functionalities of the RCRS Toolset via a series of pedagogical examples and also describe a larger case study from the automotive domain.more » « less
-
This replication package contains the data of the paper "Replicability Study: Corpora For Understanding Simulink Models & Projects" by Sohil Lal Shrestha, Shafiul Azam Chowdhury and Christoph Csallner in Proc. 17th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2023.more » « less
-
Simulink is a leading modelling language and data-flow environment for Model-Driven Engineering, prevalent in both industrial and educational contexts. Accordingly, there are many standalone publicly-available tools for analyzing and using Simulink models for various purposes. However, Simulink's model format has evolved to a new proprietary format, rendering many of these tools useless. To combat this, we devise an approach, SLX2MDL, that applies transformation rules based on Simulink syntax to transform the new SLX format models to models conforming to the legacy MDL syntax. The resulting approach enables backwards compatibility with existing tools, including previous versions of Simulink itself. Our 4-phase process includes analysis and extraction, merging and transformation of the common elements, transformation of the specialized Stateflow elements, and output production. We position this problem within the literature by comparing and contrasting similar, but insufficient, related approaches. We evaluate and validate SLX2MDL by applying it to 543 standard and publicly available models from an established and curated corpus. Our evaluation demonstrates 100% validity and correctness on these models based on functional equivalence. Further, we evaluate our approach's performance and find it consistent and scalable as model size and complexity increases.more » « less
-
null (Ed.)Distributed power generation plants with combined photovoltaic (PV) systems and integrated energy storage for grid-connected applications have seen an increase in research interest in recent years. However, the combination of multiple energy sources requires numerous DC-DC converters and thus becomes more complex. To address this issue, a multiport bidirectional DC-DC LLC resonant converter for grid connected applications is presented in this research. In order to minimize the control complexity of the proposed system, a zone based controller approach with an integrated modified maximum power point tracking (MMPPT) method, which is based on the incremental conductance method, is also developed. This proposed controller is able to regulate the converter voltage and power flow while either delivering or taking power from the utility grid. The converter presented in this study contains a bidirectional buck-boost converter and an LLC resonant converter in addition to a voltage source grid-tied inverter which are interfacing the PV, the battery and the utility. Extensive simulation analyses through MATLAB/Simulink have proved the operations of the proposed topology.more » « less
