Static timing analysis apparatus for distributed real-time embedded software and method therefor

Static real time the present invention for distributed real-time embedded software to analyze statically if it can the correct operation according to the deadline of the message to be transmitted as well as the deadline of the distributed real-time embedded software task running on the respective processors on each network It relates to a property analysis device and method. This present invention is from its source code, or is from the design model of the software, the task analysis to analyze the processor-specific task if the source code is not present in real-time embedded software if the source code for the real-time embedded software exists means, from the source code of the real-time embedded software, or by the design model of the software, the network-specific message analyzed message analysis means, each of the message analysis means and the processor-specific task analysis result of the task analysis means a network that the from the message analysis result, each task is a behavioral analysis of worst case response time in which the characteristics of the scheduling policy of the operating system executing tasks, and the worst case response time analysis means, to which the task analysis in the worst case response time analysis means It is configured to include a real-time task analysis means for analyzing whether a worst-case response time of the script exceeds the deadline for the task. Embedded software, real-time, distributed, static, real-time, response time analysis