Eclipse APP4MC™ 0.8.1 Release Review

Type
Release
State
Successful
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.

Release

Product:

  • Extended AMALTHEA model, e.g.
    • Schedulers (hierarchical, reservation based)
    • Semaphore types
  • Improved tooling:
    • Compressed model files (zip)
    • Standalone model loader / writer

Tools

  •  EMF Graphical Viewer (including Metamodel Explorer) added

Examples:

  • 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)