Finite-state machine for reliable computing and adjustment systems

Abstract: Finite-state machine for reliable computing and adjustment systems, which comprises a combinatorial logic (10) connected to a status memory (11) by means of connections which carry future state signals (12) and of connections which carry current state signals (13). The combinatorial logic (10) comprises input terminals (14) for input signals which are external to the finite-state machine and output terminals (15) for output signals generated by the combinatorial logic (10). The finite-state machine furthermore comprises means for comparing the future state signals (12) to at least one reference level (16); the comparison means set an error signal (18) toward means for resetting the finite-state machine and/or the system which includes it.

Description: The present invention relates to a finite-state machine for reliable computing and adjustment systems. Finite-state machines (FSM) are used to provide a sequence of predetermined actions in digital computing systems. Said finite-state machines (FSM) are usually composed of a combinatorial logic 1 and of a status memory 2, as illustrated in figure 1. The signals of the outputs 3 and the signals of the future states 4 are generated by the combinatorial logic 1 from the signals of the inputs 6 and from the signals of the current states 7, and the electronics of the combinatorial logic 1 performs the following logic operation: if {CURRENT STATE} and {INPUTS} then {FUTURE STATE} and {OUTPUTS}. Finite-state machines can be implemented in bipolar technology, in MOS technology or in gallium arsenide (GaAs) technology, using programmable logic arrays (PLA), or non-volatile memories (ROM), or logic gate arrays, or completely or partially dedicated cells. Logical machines have a fundamental property, i.e. if m is the number of external input signals 6 and n is the number of the signals of the current states 7, then the complexity, i.e. the number of product terms, of the combinatorial logic 1 is equal to 2 (m+n) . This complexity value naturally rises exponentially as the numbers m and n become larger, even independently. Due to the considerable number of input signals, i.e. of the external input signals 6 and of the current state signals 7, finite-state machines are seldom completely defined, or rather the number of states used is smaller than the maximum capacity of the finite-state machine itself, so that there is a more or less large set of undefined states. As an unwanted result, if the finite-state machine assumes one of the undefined states, for example due to an interruption in the power supply or to noise of whatever origin, said finite-state machine has an unwanted and unknown behavior. This last behavior is absolutely unacceptable, especially in those cases in which finite-state machines control an aircraft, an electric nuclear power plant, a telephone network or a medical instrument. A solution currently used in order to obviate the unwanted behaviors of the finite-state machine consists in using a so-called watchdog timer, illustrated in figure 2, i.e. a programmable timer which, if it is not periodically reset, generates an interrupt which resets the entire system. Said watchdog timer is composed of a counter 8 which is connected to a comparator 9. Said comparator receives in input a word 9a of n bits which represents the period of the watchdog timer, and sets a system reset signal 11. The system reset signal 11 is set on input to an OR logical gate 12, and a second input to said logical gate 12 is a reset signal 13. The OR logical gate 12 sets, toward the counter 8, a counter reset signal 14 which resets said counter either by means of the system reset signal 11, in case of a system reset, or by means of the reset signal 13. The disadvantages of this solution are numerous and can be summarized in the need for special circuits, such as the watchdog timer, and in the need for the user program to constantly check whether the watchdog timer must be reset or not. This last disadvantage requires the use of a further timer which generates a signal 8a, either of a circuital type or of a software type, and therefore increases the cost of the development of the user program, reducing its performance, due to the need for constant checking of the watchdog timer. There are also problems related to the operation of the watchdog timer: the finite-state machine can in fact have an abnormal behavior lasting up to one time period of the watchdog timer; in other words, if any event induces the finite-state machine to malfunction immediately after the resetting of the watchdog timer, an entire time period or machine cycle must elapse before the new setting of either a system reset signal 11 or a reset signal 13. Finally, and more dangerously, the watchdog timer is reset by the output of a finite-state machine and does not take into account the current state of said machine. The watchdog timer can thus be reset by the finite-state machine although said machine is in an undefined state and abnormal behavior continues absolutely undisturbed. A better solution consists in providing a known state as future state for each of the undefined states, but this solution entails up to 2 n -k additional product terms, where n is the number of bits of a state and k is the number of states defined in the finite-state machine. In the case of 8 state bits (2 8 =256) and of 129 defined states, another 127 product terms are required. This last solution has the disadvantage that the finite-state machine does not interrupt its operations after an undefined state has been reached unless this has been specified beforehand in the defined state vector. From IBM TECHNICAL DISCLOSURE BULLETIN, Vol 21, no. 5, 10/78,pages 2022-2023, Beaven et al, it is known a technique employed to statistically verify that a logic design does not enter an illegal state. The disclosed technique uses a logic circuit which is a truth table the output of which is a vector reflecting a legal or illegal combination of the outputs of a logic circuit arranged upstream of said truth table. The output vector of the truth table is the indicator of the condition of the logic circuit under test. The aim of the present invention is to eliminate or substantially reduce the disadvantages described above in known types of FSM by providing a finite-state machine for reliable computing and adjustment systems which eliminates the use of a watchdog timer. Within the scope of the above described aim, an object of the present invention is to provide a finite-state machine which reduces circuital and user program complexity. Another object of the present invention is to provide a finite-state machine which substantially eliminates the possibility of any abnormal behavior due to the assuming of an undefined state on the part of said machine. A further object of the present invention is to provide a finite-state machine which eliminates the possibility of the persistence of an abnormal behavior, detecting the undefined state in any situation. Not least object is to provide a finite-state machine which interrupts its operating cycle and/or the operating cycle of the entire system which comprises it if an undefined state is reached. Not least object of the present invention is to provide a finite-state machine which is relatively easy to implement and at competitive costs. This aim, these objects and others which will become apparent hereinafter are achieved by a finite-state machine for computing and adjustment systems, as defined in claim 1. Further characteristics and advantages of the invention will become apparent from the description of a preferred but not exclusive embodiment of a finite-state machine according to the invention, illustrated only by way of non-limitative example in the accompanying drawings, wherein: figure 1 is a diagram of a known finite-state machine; figure 2 is a diagram of a known watchdog timer; figure 3 is a diagram of a finite-state machine according to the invention; figure 4 is a diagram of a dynamic comparator in MOS technology; and figure 5 is a diagram of a cell of the dynamic comparator in MOS technology. With reference to figure 3, a finite-state machine comprises a combinatorial logic 10 which is connected to a status memory 11 by means of connections which carry future state signals 12, each having n bits, and connections which carry current state signals 13, each having n bits. The combinatorial logic 10 comprises input terminals 14 for external input signals and output terminals 15 for output signals generated by said combinatorial logic 10. The finite-state machine furthermore comprises means for comparing the future state signals 12 to at least one reference level 16, also having n bits. The comparison means comprise at least one comparator 17 which has at least two input terminals, indicated by the reference numerals 12 and 16. Each input terminal 12 and 16 is divided into a plurality n of conductors, each carrying an elementary item of information or bit of the future state signals 12 and of the reference level 16. Conveniently, if the future state signal 12 assumes a value higher than the reference level 16, then the comparator 17 sets an error signal 18 toward means for resetting the finite-state machine. Advantageously, the reference level 16 is set to the maximum value assumed by the used or defined states, which are assigned sequentially starting from the zero value up to the n-th value, with the rule that the absolute maximum of the possible states is equal to 2 n -1. Conveniently, the reset means comprise an OR logical gate 19 with a plurality of input terminals 18 and at least one output terminal 20. The plurality of input terminals 18 is connected to the output terminals of the comparators 17, each of which is comprised in a finite-state machine. In this manner it is advantageously possible to obtain a signal for interrupting the operation of an apparatus of whatever complexity, even if one of the m finite-state machines has an undefined state. The comparator 17 is of a well-known type, either dynamic or static. A MOS technology dynamic comparator is illustrated in figure 4 by way of example. It is composed of a plurality of cells of the type illustrated in figure 5. In figure 4, the terminals indicated by A0, A1, AN, B0, B1, BN and the overscored counterparts are the bits of the signals A and B, and the comparator checks whether A is greater than B. The cell of figure 5 comprises the terminals A, B, the overscored counterparts and a terminal CLK which is the cells timing signal. The overscored terminals indicate that the input signal is the logically negated value with respect to the signal present on the non-overscored terminals. Other types of usable comparators are, still by way of example, those published in the IEEE JOURNAL OF SOLID-STATE CIRCUITS, vol. 23, no. 24, August 1988, page 1016, or those published in ELECTRONICS, September 22, 1983. The operation of the invention is identical to that of known finite-state machines, for the states which are defined during the design stage, whereas if the finite-state machine has an undefined state, therefore a state higher than the reference level 16, the comparator 17 immediately sets an error signal 18, which is converted into the interrupt signal 20 by the OR logical gate 19. If the apparatus is controlled by a plurality of finite-state machines according to the invention, it can be interrupted in its operation by a single error signal 18 arriving from a single finite-state machine, also advantageously allowing the possibility of detecting the cause of the attainment of said undefined state. The invention thus conceived is susceptible to numerous modifications and variations, all of which are within the scope of the inventive concept. All the details may furthermore be replaced with other technically equivalent elements. In practice, the materials employed, as well as the dimensions, may be any according to the requirements. Where technical features mentioned in any claim are followed by reference signs, those reference signs have been included for the sole purpose of increasing the intelligibility of the claims and accordingly such reference signs do not have any limiting effect on the scope of each element identified by way of example by such reference signs.

Claims: A finite state machine for computing and adjustment systems, comprising a combinatorial logic (10) connected to a status memory (11) by means of connections which carry future state signals (12) and of connections which carry current state signals (13), said combinatorial logic (10) comprising input terminals (14) for external input signals and output terminals (15) for output signals generated by said combinatorial logic (10), characterized in that it comprises means for comparing said future state signals (12) to a reference level (16) for deriving an error signal (18), and means for resetting said finite-state machine, said means for resetting receiving as input said error signal, said reference level (16) being the maximum value assumed by the defined states, said states having sequential value starting from the zero value. A finite-state machine according to claim 1, characterized in that said comparison means comprise at least one comparator (17) which has at least two input terminals (12,16), each input terminal (12,16) being divided into a plurality of conductors, each of which is suitable for carrying a bit of said future state signals (12) or of said reference level (16). A finite-state machine according to claim 1, characterized in that said means for resetting comprise an OR logical gate (19) with a plurality of input terminals (18) and an output terminal (20), each one of said plurality of input terminals (18) being connected to the output terminal of a corresponding comparator (17). A plurality of finite-state machines according to claim 1, characterized in that single reset means are provided, said reset means comprising an OR logical gate (19) with a plurality of input terminals (18) and an output terminal (20), said plurality of input terminals (18) being connected to the output terminals of a plurality of said comparators, each of which is comprised within a finite-state machine.

Inventors: MOLONEY DAVID, SACCHI FABRIZIO, VAI GIANFRANCO, ZUFFADA MAURIZIO, MOLONEY, DAVID, SACCHI, FABRIZIO, VAI, GIANFRANCO, ZUFFADA, MAURIZIO
Applicants: ST MICROELECTRONICS SRL, STMICROELECTRONICS S.R.L.
Application year: 1991
Main classification: G06F7
IPC codes: G06F11, G06F1, G06F7