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.

Project
Eclipse APP4MC
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)