https://github.com/overturetool/overture-fmu
Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface
https://github.com/overturetool/overture-fmu
Last synced: about 1 year ago
JSON representation
Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface
- Host: GitHub
- URL: https://github.com/overturetool/overture-fmu
- Owner: overturetool
- License: gpl-3.0
- Created: 2015-12-02T13:30:20.000Z (over 10 years ago)
- Default Branch: development
- Last Pushed: 2024-10-03T17:32:16.000Z (over 1 year ago)
- Last Synced: 2025-04-01T14:21:31.153Z (about 1 year ago)
- Language: Java
- Size: 64.1 MB
- Stars: 5
- Watchers: 9
- Forks: 3
- Open Issues: 20
-
Metadata Files:
- Readme: readme.md
- License: LICENSE
Awesome Lists containing this project
README
# Overture FMU Simulation and Exporter
[](http://www.gnu.org/licenses/gpl-3.0.html)
## Dependencies
This project depends on (**See https://gitlab.au.dk/software-engineering/tool-dependencies/-/wikis/Overture-FMU**):
* FMI implementation: https://github.com/overturetool/shm-fmi
* Co-simulation extension for the Overture Interpreter: https://github.com/crescendotool/crescendo
* Overture Interpreter: https://github.com/overturetool/overture
## Release procedure
### Prepare
1. Move all open issued to next milestone
2. Close the current milestone
3. Create the release note:
```bash
cd releaseNotes/
./github-fetch-milestone-issues.py
git add ReleaseNotes_* && git commit -m "updated release note" && git push
```
4. Perform the release
- Update `overture.release.properties` to contain the release version and the next development version and commit/push this change.
- Checkout the release branch and merge this change.
- Go to the build task found [here](https://build.overture.au.dk/jenkins/view/Overture/job/overture-fmu/job/release/) and instruct the build server to perform the release by checking and clicking 'Yes'.
5. Create a github release with the content of the release note and attach the fmu-import-export JAR and p2 repository from http://overture.au.dk/into-cps/vdm-tool-wrapper/master/latest/
6. Merge the newly released tag into master and push this change
7. Update the into-cps dev release bundle. Latest bundle from here: https://github.com/into-cps/into-cps.github.io/tree/development/download