Time sequence determining method of concurrent interrupt-driven software system

Abstract

The invention discloses a time sequence determining method of a concurrent interrupt-driven software system. The time sequence determining method comprises the steps of determining time sequences of processing time and calling time interval for each specific function module through function distribution, and determining the time sequences and the compositions of the function modules for an interrupt processing program. According to the time sequence determining method disclosed by the invention, detailed time sequence distribution is carried out on functions, time sequence constraint is considered in the design, and the time sequence correctness of the whole software system can be easily ensured; a design criterion and a processing mode of the function modules which are used in interrupt processing are provided; which function modules are used in interrupting processing has great effect on the time sequences of the system, comprehensive consideration is needed, and a time sequence error can be caused if the function modules are inappropriate; a time sequence design of the function modules in the interrupt processing is guided by the design criterion provided by the time sequence determining method, and the behavior indeterminacy of the concurrent interrupt-driven software system is reduced.

Description

technical field [0001] The invention relates to a timing determination method of a concurrent interrupt-driven software system, which can ensure the timing correctness of the system by being applied to the design of an embedded system with high real-time requirements and complicated timing. The utility model is mainly used in a spacecraft control system and belongs to the technical field of an embedded system. Background technique [0002] The spacecraft control system is a real-time embedded system, in which centralized and distributed, homogeneous and heterogeneous, synchronous and asynchronous, sequential and concurrent, discrete and continuous, time-triggered and event-triggered coexist, and its timing problem is very complicated. Aerospace embedded software is a typical interrupt-driven software system, and concurrency and interrupts lead to uncertainty in program behavior. Its behavior is mostly concurrent, interrupts and tasks coexist and are related to each other. I...

AI Technical Summary

Problems solved by technology

[0003] The traditional design method lacks a comprehensive timing design for interrupt-driven software systems, and only gives preliminary time and timing constraints. This design has the following shortcomings: (1) The timing requirements are too rough, only for large functions, without further Refinement to specific functional modules, it is impossible to design modules according to timing requirements; (2) The rationality of timing requirements is not analyzed or not enough, and there may even be conflicts between timing requirements

As a result, the designed software is difficult to meet the timing requirements; (3) The functional design guidelines and processing methods for interrupt processing are not given, resulting in insufficient functional design for interrupts

[0004] As the number of components in the control system increases, the requirements for autonomous control gradually increase, and the requirements for timing become more and more stringent. Traditional design methods can no longer meet the timing correctness requirements of interrupt-driven software systems.

Images