Dynamic Schedulability Analysis Method Optimization And Tool Implementation Of Real-Time Embedded System Based-on RTESIDDVL Modeling Language

With the development of computer micro-kernel technology,more and more industries need operating system supply real-time restraints.Real-time systems satisfy the time restraint and predictability restraint based on special task scheduling strategies,we should design related scheduling verification methods to ensure the time restraint of the real-time task set.This paper studies and improves the schedulability analysis method which is related to the scheduling strategy of dynamic priority allocation.When the system contains the execution cost of the scheduler and tasks can't be preempted,the calculation method of the relevant parameters in the schedulability analysis method is redefined.The feasibility of improved schedulability analysis method is verified by experiments including the execution cost of scheduler and the non-preemption of tasks.Real-time task sets under different scheduling strategies need a uniform schedulability analysis tool to verify.This paper analyzes the functional requirements and interface requirements of the schedulability analysis tools based on the RTESIDDVL modeling language,proposes schedulability analysis model SAM and schedulability verification function for different priority allocation scheduling strategies,designs and implements schedulability analysis tools based on relevant requirements.The schedulability analysis tool reads the RTESIDDVL model of a real-time task set and transforms it into a schedulability analysis model which will be analyzed schedulability according to the scheduling strategy.For static priority allocation scheduling strategy,task set is based on existing methods to verify the schedulability.For dynamic priority allocation scheduling strategy,the improved method is used to verify the schedulability of task set.Finally,this paper selects the mission-critical tasks of on-board housing management software to validate schedulability analysis tool.The requirements of schedulability verification for mission-critical tasks are analyzed.Functional modules and mission-critical tasks are modeled by RTESIDDVL modeling language.We validate the schedulability of mission-critical tasks' models by schedulability analysis tool based on the fixed priority scheduling strategy and the dynamic priority scheduling strategy,respectively.The novelty of this paper is to research and improve the existing schedulability analysis method of dynamic priority allocation strategy,design and implement a schedulability analysis tool based on RTESIDDVL modeling language for different scheduling strategies,verify the validity of the tool by modeling the mission-critical tasks of on-board housing management software.