Refresh AF3 examples for release
The following is a suggestion to update the existing examples:
- Critically review the examples in the file menu: Are they still
needed given the current feature set of AF3?
- Maybe the tutorial contains useful information https://download.fortiss.org/public/projects/af3/AF3-Tutorial\_v1.0.pdf
- There is also a formal methods tutorial: https://download.fortiss.org/public/projects/af3/Tutorial\_FormalVerification\_TrafficLight.pdf
- Load all (remaining) examples into a fresh runtime workspace, and update the models in the RCP with the models (that might be updated by migrators etc.)
- As soon as #4070 has been merged: List all examples in the file
menu in the following help file:
org.fortiss.af3.rchelp/html/examples.MainPage.html- Just add the name and a few words
- No dedicated subpage as for the FMI example is needed
- Link FMI example in Co-Simulation documentation
(
ModandSim/cosimulation_with_af3.html)- E.g., add the following directly after the first introductory
sentence
(
The following sections provide introduction and discuss cosimulation functionality in detail.):
See the inverted pendulum use case for an illustrative example.(with a link toexample_co-simulation.html). - E.g., add the following directly after the first introductory
sentence
(
(from redmine: issue id 4069, created on 2020-10-09)
- Relations:
- blocks #4070