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.

Wednesday, July 19, 2017
Project: 

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)