Search in sources :

Example 1 with PriorityInversion

use of org.osate.analysis.scheduling.inversion.PriorityInversion in project osate2 by osate.

the class CheckPriorityInversion method analyzeInstanceModel.

@Override
protected void analyzeInstanceModel(final IProgressMonitor monitor, final AnalysisErrorReporterManager errManager, final SystemInstance root, final SystemOperationMode som) {
    monitor.beginTask(getActionName(), IProgressMonitor.UNKNOWN);
    try {
        final PriorityInversion pi = new PriorityInversion(errManager);
        pi.checkSystemPriorityInversion(root);
    } catch (InvalidModelException e) {
        error(e.getElement(), e.getMessage());
    }
    monitor.done();
}
Also used : InvalidModelException(org.osate.aadl2.properties.InvalidModelException) PriorityInversion(org.osate.analysis.scheduling.inversion.PriorityInversion)

Aggregations

InvalidModelException (org.osate.aadl2.properties.InvalidModelException)1 PriorityInversion (org.osate.analysis.scheduling.inversion.PriorityInversion)1