MegaMart2 IDE

The overall approach of MegaM@Rt2 is to scale up the use of model-based techniques by offering proper methods and related tooling interacting between both design time and runtime, as well as to validate the designed and developed approach in concrete industrial cases involving complex systems. Thanks to the model-based method, different systems will be able to communicate through the entire development chain, and moreover it will be possible for systems in operation to feed back the collected data for continued development

MegaM@Rt2 features:

• scalable methods and tools for modelling of functional and non-functional properties such as performance, consumption, security and safety with mechanisms for representation of results of runtime analysis.
• scalable methods and tools for application validation at runtime including scalable methods for models@runtime, verification and online testing.
• infrastructure for efficient handling and management of numerous, heterogeneous and large models potentially covering several functional and non-functional domains.
• holistic traceability 1) capable to link and manage models and their elements from different tools as well as 2) suitable for large distributed cross-functional working teams.

The following MegaM@Rt2 tools have been included in this IDE:

• Papyrus for extension for AOM: https://github.com/megamart2/tool-papyrus-extensions
• Moka extension for execution logging: https://github.com/megamart2/tool-papyrus-extensions
• NeoEMF: https://github.com/atlanmod/NeoEMF
• EMFViews: https://github.com/atlanmod/emfviews
• Collaboro: https://github.com/megamart2/tool-collaboro
• EMFToCSP: https://github.com/megamart2/tool-emftocsp
• PADRE: https://github.com/SEALABQualityGroup/padre
• VeriATL: https://github.com/veriatl/VeriATL/
• JTL: https://github.com/MDEGroup/jtl-eclipse
• HepsyCode: http://www.hepsycode.com/
• S3D: https://s3d.unican.es/