Method and apparatus for parameterizing a safety device
10216152 ยท 2019-02-26
Assignee
Inventors
Cpc classification
G05B2219/21081
PHYSICS
Y02P90/02
GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
G05B2219/31131
PHYSICS
G05B2219/23165
PHYSICS
Y04S40/00
GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
G05B2219/23406
PHYSICS
International classification
Abstract
A method and apparatus for parameterizing a device with parameters from a parameter list, wherein in an event of a match occurring between an external parameter token calculated externally based on the parameter list, and an internal parameter token calculated internally by the device to be parameterized based on the parameter list, an external device token input into the device is compared with an internal device token, which is calculated internally by the device to be parameterized based on a device ID for the device and the internal parameter token to validate the parameter list such that fast and reliable parameterization of a device, particularly a safety critical device, which is provided in an industrial installation or a vehicle, is achieved.
Claims
1. A method for parameterizing a safety-critical device with parameters from a first parameter list which ensures parameterization and increases a speed at which the safety-critical device becomes parameterized, comprising: checking to determine whether an external parameter token calculated externally based on the first parameter list matches an internal parameter token calculated internally by the safety-critical device which is to be parameterized based on the first parameter list; and comparing a device token calculated externally and input into the safety-critical device with an internal device token calculated internally by the device which is to be parameterized based on a device ID of the device and the internal parameter token to validate the first parameter list in an event of a match between the external parameter token and the internal parameter token to ensure the parameterization of the safety-critical device occurs and to ensure the speed at which the safety-critical device becomes parameterized is increased; wherein the external device token is calculated externally based on a device ID contained in the first parameter list and the external parameter token; wherein the internal and external parameter tokens are calculated via a specified calculation function based on parameter ID's and parameter values of the parameters contained in the first parameter list; and wherein the first parameter list is stored on an external data carrier and is read out from the external data carrier, which is separate from an external parameterizing apparatus, by a first calculation unit of the external parameterizing apparatus for calculation of the external parameter token.
2. The method as claimed in claim 1, wherein the external parameter token is calculated, via the specified calculation function, the first calculation unit of the external parameterizing apparatus based on the parameter ID's and the parameter values of the parameters contained in the first parameter list.
3. The method as claimed in claim 2, wherein the internal parameter token is calculated, via the specified calculation function, a second calculation unit integrated in the safety-critical device which is to be parameterized based on the parameter ID's and the parameter values of the parameters contained in the first parameter list transferred to the safety-critical device.
4. The method as claimed in claim 3, wherein the first parameter list stored in the data memory is read out, via an interface of the safety-critical device which is to be parameterized, by the second calculation unit integrated into the safety-critical device which is to be parameterized to calculate the internal parameter token, and temporarily stored in an internal memory of the safety-critical device which is to be parameterized.
5. The method as claimed in claim 3, wherein the internal parameter token calculated by the second calculation unit integrated in the safety-critical device which is to be parameterized is displayed on a display of the safety-critical device which is to be parameterized.
6. The method as claimed in claim 5, wherein the internal parameter and external parameter tokens are compared by a user who, in an event of the match between the internal parameter and external parameter tokens displayed, enters the device token calculated by the external parameterizing apparatus into the safety-critical device which is to be parameterized, which compares the input device token with the internal device token to validate the first parameter list.
7. The method as claimed in claim 2, wherein the external parameter token calculated by the first calculation unit of the external parameterization apparatus is displayed on a display of the external parameterizing apparatus.
8. The method as claimed in claim 7, wherein the internal parameter and external parameter tokens are compared by a user who, in an event of the match between the internal parameter and external parameter tokens displayed, enters the device token calculated by the external parameterizing apparatus into the safety-critical device which is to be parameterized, which compares the input device token with the internal device token to validate the first parameter list.
9. The method as claimed in claim 7, wherein the specified calculation function, which is calculated by the first and second calculation units for calculation of the internal and external parameter tokens, is free from collisions.
10. The method as claimed in claim 7, wherein the specified calculation function is one of a Cyclic Redundancy Check (CRC) function or a hash function.
11. A parameterizable safety-critical device which is configured to, based on a first parameter list read out from an external data carrier, internally calculate an internal parameter token which is output by the safety-critical device, and compare an externally calculated device token, which is then input into the safety-critical device, with an internal device token calculated based on the calculated internal parameter token and a device ID of the safety-critical device to validate the first parameter list such that parameterization of the safety-critical device is ensured and a speed at which the safety-critical device becomes parameterized is increased; wherein the external device token is calculated externally based on a device ID contained in the first parameter list and the external parameter token; wherein the internal and external parameter tokens are calculated via a specified calculation function based on parameter ID's and parameter values of the parameters contained in the first parameter list; and wherein the first parameter list is stored on an external data carrier and is read out from the external data carrier, which is separate from an external parameterizing apparatus, by a first calculation unit of the external parameterizing apparatus for calculation of the external parameter token.
12. A parameterizing apparatus for parameterizing a safety-critical device in a manner which ensures parameterization occurs and which increases a speed at which the device becomes parameterized, wherein the parameterizing apparatus, based on a stored first parameter list, is configured to calculate an external parameter token and an external device token of the safety-critical device which is to be parameterized, wherein the external device token calculated externally by the parameterizing apparatus, in an event of a match between the external parameter token and an internal parameter token calculated internally by the safety-critical device which is to be parameterized, based on the first parameter list, is input into the safety-critical device which is to be parameterized to validate the first parameter list to ensure the parameterization occurs and to ensure the speed at which the safety-critical device becomes parameterized is increased; wherein the parameterizing apparatus includes a calculation unit for the calculation of the external parameter token via a specified calculation function, based on parameter ID's and parameter values of parameters contained in the first parameter list and for calculation of the external device token of the device which is to be parameterized, based on the external parameter token and a device ID, contained in the first parameter list, of the device which is to be parameterized; and wherein the first parameter list is stored on an external data carrier and is read out from the external data carrier, which is separate from the parameterizing apparatus, by the first calculation unit of the parameterizing apparatus for the calculation of the external parameter token.
13. The parameterizing apparatus as claimed in claim 12, wherein the parameterizing apparatus further includes a display provided for display of the calculated external parameter token and the calculated external device token.
14. The parameterizing apparatus as claimed in claim 13, wherein the parameterizing apparatus includes a reader facility for reading out the first parameter list stored on the external data carrier, and a transfer facility for transferring the calculated external device token to the device which is to be parameterized.
15. The parameterizing apparatus as claimed in claim 12, wherein the parameterizing apparatus is a portable mobile parameterizing device which includes an interface for reading out the first parameter list from the external data carrier, said portable mobile parameterizing device being connectable to the interface, and includes a display for displaying the external parameter token calculated based on the first parameter list, and the calculated external device token, for a user; and wherein the user, in an event of a match between the parameter token displayed and a parameter token output by the device which is to be parameterized, one of (i) manually inputs the external device token displayed on the display of the parameterizing apparatus into the device which is to be parameterized, in order to validate the first parameter list and (ii) transfers the external device token displayed on the display of the parameterizing apparatus to the device which is to be parameterized.
Description
BRIEF DESCRIPTION OF THE DRAWINGS
(1) Hereinafter, possible embodiments of the method according to the invention and of the apparatus according to the invention for the parameterizing of a device are described in greater detail, making reference to the appended figures, in which:
(2)
(3)
(4)
DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS
(5) As can be seen from
(6) To do this, the user 2 is provided with the parameter list PL, which can be located on a data carrier 3. This parameter list PL can, for example, be printed out and referred to by the user for the validation. The parameter list PL comprises the parameter ID's of all the parameters of the device 1 which are to be parameterized, as well as the specified parameter values pertaining to it. The parameters can be any desired device parameters. For example, the parameters provide physical limit values or setting values for an earth current, a volume, density, and the like. Further examples are setting values for controlled variables such as current or voltage.
(7) In addition to the parameter ID's and the parameter values pertaining to them, the parameter list PL also includes an unambiguous device ID, G-ID, of the device 1 which is to be parameterized. The parameter list PL can, in one possible embodiment, be located on a data memory 3, which can be read out by the safety-critical device 1 via an interface. In one possible embodiment, this stored parameter list PL is read out and initially stored in the data memory 1C of the device 1 as an embedded parameter list PL. After the parameter list PL has been written into the memory 1C, for security reasons the user 2 must validate the parameter list PL which has been transferred. It is additionally possible for the user 2 to print out the parameter list PL stored in the data memory 3.
(8) For the purpose of automatically validating the transferred parameter list PL, the user 2 is provided with a parameterizing apparatus 4, which can be a portable parameterizing device. The parameterizing apparatus 4 likewise contains a calculation unit 4A and, in the example presented, is provided with a display 4B. With the method according to the invention, for the parameterizing of the device 1 with parameters from the parameter list PL by the calculation unit 4A of the parameterizing apparatus 4, an external parameter token PT.sub.EXTERN is calculated externally, i.e., outside the safety-critical device 1, based on the parameter list PL, which can be displayed on the display 4B of the parameterizing apparatus 4 to the user 2. In addition, an internal parameter token PT.sub.INTERN is calculated by the calculation unit 1D integrated in the device 1 which is to be parameterized, based on the transferred or input parameter list PL, which is temporarily stored in the embedded data memory 1C. This internally-calculated parameter token PT.sub.INTERN can be displayed to the user 2 via the output unit 1B of the device 1, for example, via a display of the device 1 which is to be configured. If the externally calculated parameter token PT.sub.EXTERN, which is displayed, for example, on the display 4B of the parameterizing apparatus 4, matches the internally calculated parameter token PT.sub.INTERN, which is displayed, for example, on a display 1B of the device 1 which is to be parameterized, then the user 2 can input a device token GT into the safety-critical device 1 to validate the parameter list PL, such as via the input unit 1A. In a preferred embodiment, this input device token is calculated externally, such as by the calculation unit 4A of the parameterizing apparatus 4, based on the device ID, G-ID, contained in the parameter list PL and the previously calculated external parameter token PT.sub.EXTERN.
GT.sub.EXTERN=f(G-ID,PT.sub.EXTERN)
(9) In a possible embodiment, this externally calculated device token GT.sub.EXTERN is displayed to the user 2 on the display 4B of the parameterizing apparatus 4. Provided that the two parameter tokens, i.e., the parameter token PT.sub.EXTERN calculated externally by the parameterizing apparatus 4 and the parameter token PT.sub.INTERN calculated internally by the device 1 which is to be configured, match one another, the user 2 then, in order to validate the parameter list PL, enters the externally-calculated device token GT.sub.EXTERN displayed to him into the device 1 which is to be configured. The calculation unit in provided in the safety-critical device 1 then calculates an internal device token GT.sub.INTERN based on a device ID, G-ID, of the device 1 and of the previously calculated internal parameter token PT.sub.INTERN.
GT.sub.INTERN=f(G-ID,PT.sub.INTERN)
(10) This internal device token GT.sub.INTERN is compared with the externally-calculated and input device token GT.sub.EXTERN in order to validate the parameter list PL. Provided that the internal device token GT.sub.INTERN matches with the external device token GT.sub.EXTERN, it is ensured that the parameter list PL, which is located in the embedded data memory 1C of the device 1, is correct, and matches entirely with the external parameter list PL stored in the data carrier 3.
(11) The two calculation units 4A, 1D, which are located respectively in the parameterizing apparatus 4 and the safety-critical device 1, may be microprocessors. The two parameter tokens, i.e., the external parameter token PT.sub.EXTERN and the internal parameter token PT.sub.INTERN, are calculated separately by the two calculation units 4A, 1D, via the same specified calculation function BF based on the parameter ID's, P-ID, and the parameter values P-W of the parameters P contained in the parameter list PL.
PT=BF(P-ID,P-W)
(12) In a possible embodiment, the calculation can be performed with a cryptographic algorithm with a high level of freedom from collision. In another possible embodiment, the calculation function BF, which is used by the calculation units to calculate the parameter tokens PT, is a Cyclic Redundancy Check (CRC) function. In addition, the specified calculation function BF can also be a hash function. Further calculation functions with a high degree of freedom from collision are likewise possible. In a possible embodiment, the calculation function BF used in the calculation unit 4A and in the internal calculation unit in are each configurable or adjustable respectively, and can therefore be changed by the user 2.
(13) The external parameter token PT.sub.EXTERN is calculated via the specified calculation function BF by the calculation unit 4A of the parameterizing apparatus 4 based the parameter ID's, P-ID, and the parameter values P-W of the parameters P contained on the parameter list PL of the data carrier 3. The internal parameter token PT.sub.INTERN is calculated via the same specified calculation function BF by the calculation unit 1D integrated in the device 1 which is to be parameterized, based on the parameter ID's, P-ID, and the parameter values P-W of the parameters P contained in the parameter list PL, where the parameter list PL temporarily stored in the embedded data memory 1C is used.
(14) The original parameter list PL can be located in an external data memory, such as a data carrier 3. The data carrier 3 can, for example, be a USB dongle or memory stick. In a possible embodiment, the parameterizing apparatus 4 is provided with an interface for reading out the external data memory 3, in which the parameter list PL is located. For example, a USB dongle is plugged into an interface of the parameterizing apparatus 4, where, in a possible embodiment, the parameter list PL stored on it is then first displayed to the user 2 on the display 4B of the parameterizing apparatus 4. By the appropriate activation of the parameterizing apparatus 4, the user 2 then transfer the parameter list PL displayed to him, which derives from the data carrier 3 which is plugged in, via a data interface in the embedded memory 1C of the safety-critical device 1. This interface between the safety-critical device 1 and the parameterizing apparatus 4 can be a wireless or wire-bound data interface.
(15) As soon as the temporary transfer of the parameter list has been concluded, the user 2 initiates the validation of the transferred parameter list PL. The user 2 enters a command into the parameterizing apparatus 4 for the validation to be performed, where the parameterizing apparatus 4 automatically calculates, based on the parameter list PL available to it, the external parameter token PT.sub.EXTERN and the external device token GT.sub.EXTERN. Separately from this, i.e., by another means, the calculation unit 1D provided in the security-critical device 1 calculates, based on the provisional parameter list PL stored temporarily in the embedded data memory 1C, an internal parameter token PT.sub.INTERN and issues this to the user 2. The user 2 then compares the external parameter token PT.sub.EXTERN calculated by the parameterizing apparatus 4 with the internally-calculated parameter token PT.sub.INTERN. If the two parameter tokens are identical, the user 2 then enters, preferably manually, the external device token GT.sub.EXTERN displayed to him on the display 4B into the safety-critical device 1, for example, via the input unit 1A, in order definitively to validate the temporarily stored parameter list PL. Provided that the external device token GT.sub.EXTERN which is input matches with an internally-calculated device token GT.sub.INTERN, that is calculated internally by the device 1 which is to be parameterized based on the device ID, G-ID of the device 1 and of the internal parameter token PT.sub.INTERN, then the temporarily-stored parameter list PL is correct and matches entirely with the external parameter list PL, where this can be displayed to the user 2, such as via a display 1B of the safety-critical device 1. In a further embodiment, the user 2 can input the externally-calculated device token GT.sub.EXTERN without a comparison of the parameter token PT into the safety-critical device 1 to conclude the validation of the temporarily-stored parameter list PL. In a further possible embodiment, the successful validation is notified by the safety-critical device 2, via a wireless or wire-bound interface, to the parameterizing apparatus 4, which informs the user 2 of this by a corresponding display of the message on the display 4B. In the exemplary embodiment described above, the comparison between the two calculated parameter tokens PT and the input of the external device token GT.sub.EXTERN are performed by a user 2. This user 2, in the exemplary embodiment presented, is located in the vicinity of the safety-critical device 1 which is to be parameterized. In an alternative embodiment, with the method according to the invention, the parameterizing can be performed remotely, i.e., by an operator or user who is located at a distance.
(16)
(17) In the exemplary embodiments presented, the device 1 exhibits a safety-critical core K, the functional capability of which is ensured by special securing mechanisms, such as SIL, for example.
(18) With the method according to the invention, by the complete detachment of the different test routes, potential sources of error such as can occur with the methods conventionally used hitherto are completely eliminated, such that the method according to the invention provides a very high degree of security in the parameterization of a device 1. The method according to the invention also offers the advantage that the user 2 need only enter one single value, namely the calculated external device token GT.sub.EXTERN, into the safety-critical device 1 in order to validate the parameter list PL.
(19) The device ID, G-ID, of the device 1, which is required for the calculation of the internal device token GT.sub.INTERN, is available in the safety-critical device 1, internally secure with regard to manipulation. Because, with the parameterizing method according to the invention, the device ID is used in an integrated manner, it is additionally ensured with the method that in every case the correct device 1 is parameterized, and any risk of confusion is excluded. Accordingly, with the method according to the invention, it is also possible for the parameterization to be performed in a secure manner entirely remotely. With the method according to the invention the user 2 no longer imperatively has to be at the location at which the device 1 is to be parameterized. The method according to the invention even allows for the parameterizing to be performed via the field buses used conventionally in process and automation technology.
(20) The parameterizing apparatus 4, as represented in the exemplary embodiments according to
(21) The connection between the network interface 5c and the network interface 1E of the safety critical device 1 can be wireless or wire-bound. In a possible embodiment, the communication occurs via satellites, in particular if the safety-critical device 1 is a mobile device, in particular a vehicle, such as an aircraft.
(22) In a possible embodiment, for the parameterization or, respectively, re-parameterization, the device 1 which is to be parameterized is switched out of a normal operating mode into a parameterizing operating mode, before the method according to the invention for parameterizing the device 1 is performed. If the device 1 which is to be parameterized is not a safety-critical device, then, in a possible embodiment, the parameterization can also take place during normal operation of the device 1.
(23)
(24) A device token (GT.sub.EXTERN) input into the device is then compared with an internal device token (GT.sub.INTERN) calculated internally by the device which is to be parameterized based on a device ID (G-ID) of the device and the internal parameter token (PT.sub.INTERN) to validate the parameter list (PL) in an event of a match between the external parameter token (PT.sub.EXTERN) and the internal parameter token (PT.sub.INTERN), as indicated in step 320.
(25) While there have been shown, described and pointed out fundamental novel features of the invention as applied to a preferred embodiment thereof, it will be understood that various omissions and substitutions and changes in the form and details of the methods described and the devices illustrated, and in their operation, may be made by those skilled in the art without departing from the spirit of the invention. For example, it is expressly intended that all combinations of those elements and/or method steps which perform substantially the same function in substantially the same way to achieve the same results are within the scope of the invention. Moreover, it should be recognized that structures and/or elements and/or method steps shown and/or described in connection with any disclosed form or embodiment of the invention may be incorporated in any other disclosed or described or suggested form or embodiment as a general matter of design choice. It is the intention, therefore, to be limited only as indicated by the scope of the claims appended hereto.