Relaxing Scheduling Constraints for Systems with Logical Execution Time Specifications

Values available at the beginning of the LET are used for the computation and outputs are made available at the end of the LET. • timeand value-determinism, i.e. the same input produces the same output at the same points in time • Specified at the model level independent from the functionality • Execution = Simulation e.g. Giotto[1], TDL[2], HTL[3], FTOS[4] ... Syntactical information: Minimum execution time between release and reading inputs/writing outputs and task termination Example: Inverted Pendulum