Model Validation

Usage of AMALTHEA Model Validation

The AMALTHEA model validation can be triggered by clicking on the “Validate” button of the Amalthea editor.

The dialog shows a list of profiles allowing the selection of specific validations.

The validation is either applied to all elements of the model (default: folder scope) or only to the elements of the current file.

If an error is found, it is shown in the Problems view of Eclipse. A simple double click on the error will lead you to the affected elements in the AMALTHEA model. The validation distinguishes between three error types: errors, warnings and info.

Included Validations

Amalthea Standard Validations

org.eclipse.app4mc.amalthea.validations.standard.AmaltheaProfile

Amalthea Standard Validations
Standard validations for AMALTHEA models to ensure data consistency.

org.eclipse.app4mc.amalthea.validations.standard.BasicProfile

Basic Validations

org.eclipse.app4mc.amalthea.validations.standard.ConstraintsProfile

Constraints Validations

org.eclipse.app4mc.amalthea.validations.standard.EMFProfile

Amalthea EMF Validations
Standard EMF validations for AMALTHEA models (generated).

org.eclipse.app4mc.amalthea.validations.standard.HardwareProfile

Hardware Validations

org.eclipse.app4mc.amalthea.validations.standard.MappingProfile

Mapping Validations

org.eclipse.app4mc.amalthea.validations.standard.OSProfile

OS Validations

org.eclipse.app4mc.amalthea.validations.standard.SoftwareProfile

Software Validations

APP4MC.sim Validations

org.eclipse.app4mc.amalthea.validations.sim.App4mcSimProfile

APP4MC.sim Validations
Validations for AMALTHEA models used in a APP4MC.sim simulation.

org.eclipse.app4mc.amalthea.validations.sim.SimBasicProfile

Basic Validations (APP4MC.sim)

org.eclipse.app4mc.amalthea.validations.sim.SimHardwareProfile

Hardware Validations (APP4MC.sim)

org.eclipse.app4mc.amalthea.validations.sim.SimMappingProfile

Mapping Validations (APP4MC.sim)

org.eclipse.app4mc.amalthea.validations.sim.SimOsProfile

OS model Validations (APP4MC.sim)

org.eclipse.app4mc.amalthea.validations.sim.SimSoftwareProfile

Software Validations (APP4MC.sim)

Timing Architects Validations

org.eclipse.app4mc.amalthea.validations.ta.TimingArchitectsProfile

Timing Architects Validations
Validations for AMALTHEA models used in a Timing Architects Simulation.

org.eclipse.app4mc.amalthea.validations.ta.TABasicProfile

Basic Validations (Timing Architects)

org.eclipse.app4mc.amalthea.validations.ta.TAConstraintsProfile

Constraints Validations (Timing Architects)

org.eclipse.app4mc.amalthea.validations.ta.TAHardwareProfile

Hardware Validations (Timing Architects)

org.eclipse.app4mc.amalthea.validations.ta.TASoftwareProfile

Software Validations (Timing Architects)

org.eclipse.app4mc.amalthea.validations.ta.TAStimuliProfile

Stimuli Validations (Timing Architects)

Inchron Validations

org.eclipse.app4mc.amalthea.validations.inchron.InchronProfile

Inchron Validations
Validation for Amalthea models used in Inchron Toolsuite

org.eclipse.app4mc.amalthea.validations.inchron.InchronConstraintsProfile

Constraints Validations (INCHRON)

org.eclipse.app4mc.amalthea.validations.inchron.InchronHWProfile

Hardware Validations (INCHRON)

org.eclipse.app4mc.amalthea.validations.inchron.InchronOsProfile

Operating Systems Validations (INCHRON)

org.eclipse.app4mc.amalthea.validations.inchron.InchronSoftwareProfile

Software Validations (INCHRON)

org.eclipse.app4mc.amalthea.validations.inchron.InchronStimuliProfile

Stimuli Validations (INCHRON)