Package net.sf.opendse.realtime.et

Class PriorityScheduler

java.lang.Object

net.sf.opendse.realtime.et.PriorityScheduler

public class PriorityScheduler
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static String	DEADLINE
static String	DELAY
static String	EXECUTION_TIME
static String	FIXEDDELAY
static String	FIXEDDELAY_JITTER
static String	FIXEDDELAY_RESPONSE
static String	FIXEDPRIORITY_NONPREEMPTIVE
static String	FIXEDPRIORITY_PREEMPTIVE
static String	JITTER
static String	PERIOD
static String	PRIORITY
static String	RESPONSE
static String	SCHEDULER

Constructor Summary

Constructors

Constructor	Description
PriorityScheduler(Specification specification)
PriorityScheduler(Specification specification, SolverProvider solverProvider, boolean rateMonotonic)

Method Summary

Modifier and Type	Method	Description
Set<TimingElement>	determineIIS(MyConflictRefinement.ConflictRefinementMethod method)
TimingGraph	getFullTimingGraph()
double	getMIPGap()
TimingGraph	getReducedTimingGraph()
boolean	solve(MyEncoder.OptimizationObjective objective)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PRIORITY

public static String PRIORITY

DELAY

public static String DELAY

JITTER

public static String JITTER

RESPONSE

public static String RESPONSE

PERIOD

public static String PERIOD

EXECUTION_TIME

public static String EXECUTION_TIME

DEADLINE

public static String DEADLINE

FIXEDPRIORITY_PREEMPTIVE

public static String FIXEDPRIORITY_PREEMPTIVE

FIXEDPRIORITY_NONPREEMPTIVE

public static String FIXEDPRIORITY_NONPREEMPTIVE

FIXEDDELAY

public static String FIXEDDELAY

FIXEDDELAY_RESPONSE

public static String FIXEDDELAY_RESPONSE

FIXEDDELAY_JITTER

public static String FIXEDDELAY_JITTER

SCHEDULER

public static String SCHEDULER

Constructor Detail

PriorityScheduler

public PriorityScheduler(Specification specification)

PriorityScheduler

public PriorityScheduler(Specification specification,
                         SolverProvider solverProvider,
                         boolean rateMonotonic)

Method Detail

solve

public boolean solve(MyEncoder.OptimizationObjective objective)

getFullTimingGraph

public TimingGraph getFullTimingGraph()

getReducedTimingGraph

public TimingGraph getReducedTimingGraph()

getMIPGap

public double getMIPGap()

determineIIS

public Set<TimingElement> determineIIS(MyConflictRefinement.ConflictRefinementMethod method)