Method for correct-by-construction development of real-time-systems

摘要

An example of the present invention is disclosed for constructing in real-time system. Real-time system includes at least one module, and each module attacks petite person's mode. This method comprises: limit each mode of cycle of oscillation executes corresponding mode repeatedly, pass through corresponding module; For each mode, one or more synchronous tasks to be executed are defined in real-time system, thus the logic of each synchronous task and task execution must be completed during executing the time; Define each mode of the cycle of oscillation of integer time slot; Task execution is executed during giving at least one time slot of each task.