A method for developing real-time systems guarantee correct

As an example of the present invention, a method for designing real-time systems is disclosed. The real-time system includes at least one module, each module having at least one mode. The method comprises: defining a mode period for each mode for repeated execution of the respective mode by the corresponding module; During which the task execution has to be completed for each mode the definition of one or more tasks to be executed by the real-time system, whereby each synchronous task is associated with a logical execution time; defining an integer number of time-slots for the mode period of each mode; is the assignment of at least one time slot to each task, during which perform the task.