End Date of the Review Period:
Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.
Wednesday, July 19, 2017
Extended AMALTHEA model, e.g.
- Schedulers (hierarchical, reservation based)
- Semaphore types
- Compressed model files (zip)
- Standalone model loader / writer
- EMF Graphical Viewer (including Metamodel Explorer) added
- Sources for APP4MC Rover added
- Project A4MCAR added (granted during the Google Summer of Code 2017)
- FMTV challenges [2016, 2017] added (Formal Methods for Timing Verification)