Common use of Design Parameters Clause in Contracts

Design Parameters. For the railway case study, two kinds of parameters can be di erentiated. The rst group of parameters correspond to real numbers (or function of real numbers) such as Kinetic energy, communication or physical movement delay, track length, track slope (function of position) or traction acceleration (function of speed), or breaking force. The other group of parameters is rather a choice of decomposition of a whole track map into several distributed one, and the corresponding distributed interlocking. Thus, such parameters are a set of subsets of the track map database tuples. One can also consider a varying number of trains. The parameters may be related, such as minimal and maximal kinetic energy, or minimal or maximal slope, or traction acceleration.

Design Parameters. For the railway case study, two kinds of parameters can be di erentiateddifferenciated. The rst first group of parameters correspond to real numbers (or function of real numbers) such as Kinetic energy, communication or physical movement delay, track length, track slope (function of position) or traction acceleration (function of speed), or breaking force. The other group of parameters is rather a choice of decomposition of a whole track map into several distributed one, and the corresponding distributed interlocking. Thus, such parameters are a set of subsets of the track map database tuples. One can also consider a varying number of trains. The parameters may be related, such as minimal and maximal kinetic Kinetic energy, or minimal or maximal slope, or traction acceleration.

Design Parameters. For the railway case study, two kinds of parameters can be di erentiateddifferenciated. The rst first group of parameters correspond to real numbers (or function of real numbers) such as Kinetic energy, communication or physical movement delay, track length, track slope (function of position) or traction acceleration (function of speed), or breaking force. The other group of parameters is rather a choice of decomposition of a whole track map into several distributed one, and the corresponding distributed interlocking. Thus, such parameters are a set of subsets of the track map database tuples. One On can also consider a varying number of trains. The parameters may be related, such as minimal and maximal kinetic energy, Kinetic energy or minimal or maximal slope, slope or traction acceleration.