CN104471543B - The method of inspection that in Safety-Critical System, data show and device - Google Patents
The method of inspection that in Safety-Critical System, data show and device Download PDFInfo
- Publication number
- CN104471543B CN104471543B CN201380038503.1A CN201380038503A CN104471543B CN 104471543 B CN104471543 B CN 104471543B CN 201380038503 A CN201380038503 A CN 201380038503A CN 104471543 B CN104471543 B CN 104471543B
- Authority
- CN
- China
- Prior art keywords
- template
- input value
- computer
- unit
- picture signal
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/16—Error detection or correction of the data by redundancy in hardware
- G06F11/1608—Error detection by comparing the output signals of redundant hardware
- G06F11/1616—Error detection by comparing the output signals of redundant hardware where the redundant component is an I/O device or an adapter therefor
- G06F11/162—Displays
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2205—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested
- G06F11/2221—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested to test input/output devices or peripheral units
Abstract
The present invention relates to the operational approach of a kind of computer system (203), described computer system comprises computer (205) and display unit (207), its input values based on feed-in computer (205) (425) produce picture signal (427) and show this input value for display unit (207), the input value being additionally based upon input forms reference template, and form reference template (303) based on the input value (425) inputted, wherein the picture signal (427) of detection is implemented (305) template identification, and the template utilizing template identification to recognize and reference template are compared (307).The invention further relates to the device (101) of a kind of correspondence, relate to system (201) and the computer program of a kind of correspondence of a kind of correspondence.
Description
Technical field
The present invention relates to operational approach and the device of a kind of computer system.The invention further relates to a kind of system and a kind of meter
Calculation machine program.
Background technology
European patent EP 2273369B1 discloses a kind of method for showing security related information on the display apparatus and relates to
A kind of device for implementing the method.Method disclosed in it includes the step inserting at least one input value to arithmetic element, profit
Process, with the computing of arithmetic element, the step that this input value reflects the image data sequence of this input value with acquisition, forward picture number
According to the step of sequence to display device, present the step of this image data sequence on the display apparatus, image data sequence is supplied
The step of verification unit, is relied on computing and is realized the step of safety check by the check code producing image data sequence, using
Multiple contrast codes occurred in verification unit compare the step of this check code, and distribute contrast code to be determined and arrive
Corresponding potential input value thus to it with input value compares to produce in verification unit certainly or the verification knot of negative
Fruit and then initiate the step of safety-related reaction.
In this article, each contrast code and the CRC check of precomputation based on predetermined bitmap and corresponding.
This especially means that, for each suitable bitmap, i.e. image data sequence, by effective CRC school in arithmetic element
Test and save as contrasting code.
One of this known method concrete disadvantageously, its only at the contrast code storage corresponding to addition value in verification unit
When competence exertion effect.If adding unknown input value, the method will no longer work.Additionally, the input value added
Slight deviations, the most different color performances or another kind of font be enough to produce the verification of the verification sum being different from storage and, i.e.
Making does not makes a mistake also results in error reporting.
And, when produce and store precomputation CRC check and time, it is necessary to its implement safeguard protection to guarantee that they are just
Really produce and store.
European patent EP 0856792B1 discloses a kind of method of image for reflecting safely on monitor.In this article,
This invention provides two the most independent image storages, stores the respective image data of image to be displayed.Utilize image processor
Generate described view data and simultaneously be stored in drive monitor image retransmission buffer in.At specific time point,
From single memory read data and compare mutually respectively.
European patent EP 4332143A1 discloses a kind of method for operational data display unit and for realizing the method
Unit.In the description of similar patent EP0856792B1, this invention produces two image storages, wherein based on storage
Data in image storage produce verification and.At specific time point, these are verified and compares mutually.
The two known method distinctive disadvantageously, these methods need to be realized with two image storages, it is therefore desirable to more
Multiple resource and increase the complexity of corresponding configuration.
Open file EP2405317A1 discloses a kind of security parameter method of safety device.The method include via user to
Dispensing unit inserts parameter value and shows the step of this parameter value on the display unit.The method further includes at dispensing unit
Middle encryption parameter value and store at least one method step by the feature encrypting generation.Then this feature is utilized to verify,
Second time display parameter value on the display unit, secondary display is the most interrelated with primary display.
Next step, user utilizes two display that the parameter value of reflection is carried out numeric ratio relatively, if it is determined that relevant property, then confirm have
The parameter instruction of effect.Next step, the free retaking of a year or grade of dispensing unit in safety device goes out the parameter value of effectively addition.
One of method known in this peculiar disadvantageously, it relies solely on and represents the visual inspection of user and realize adding
Checking with the parameter value of reflection.
Summary of the invention
Therefore, general object of the present invention is embodied in the operational approach providing a kind of computer system, and the method can overcome known
Shortcoming also can be the most corresponding with the input value being sent in computer according to the input value of display, it is allowed to single in display to display
The input value of unit is tested.
General object of the present invention also resides in the operation device providing a kind of computer system corresponding.
General object of the present invention also resides in the system providing a kind of correspondence.
Additionally, general object of the present invention also resides in the computer program providing a kind of correspondence.
The respective theme of independent claims of the present invention is devoted to realize these purposes.Useful embodiment is at each appurtenance
Requirement emerges from.
According to an embodiment, the present invention provides the operational approach of a kind of computer system.This computer system include computer and
Display unit.Based on the input value being input in computer, produce the picture signal making display unit show described input value.This
Outward, input value based on supply produces reference template.By template recognizer, picture signal is processed, wherein in this journey
The template identified in sequence compares with reference template.The preferably present invention provides the method that the present invention implemented by described computer self.
Especially, it is possible to use this computer performs the institute of the method for the present invention in steps or some step or only one step.
On the other hand, the present invention provides the operation device of a kind of computer system.This computer system includes that computer and display are single
Unit.This device includes reference template unit, thus produces reference template based on the input value being sent to computer.Additionally, set
There is template recognition unit, template identification applied by image based on input value letter, shows this input value for display unit.Described
Device farther includes to contrast unit, for the template that template recognition unit is identified being compared with reference template.Therefore,
It is equipped with especially or configures this device with the method implementing the present invention.Preferably, this device is integrated in a computer.Excellent
Selection of land, some elements of this device are integrated in a computer.Other element of this device such as can be only fitted to the outside of computer.
Yet another aspect, the present invention provides a kind of system.This system includes with computer and display unit computer system.This
Outward, this system also includes the operation device of described computer system.
Still another aspect, the present invention provides a kind of computer program, including program code, if this computer program is calculating
Perform on machine, then this program code performs for the method operating computer system, and this computer system comprises computer and display
Unit.
Therefore, especially, the present invention includes that the picture signal to display unit implements the conception of template identification.Utilize template identification
One or more template can be identified in an advantageous manner in picture signal.When identifying one or more template in picture signal,
Comparison between template and the reference template of the one or more identification of executor respectively.According to the present invention it is proposed that calculate based on conveying
Input value in machine produces this reference template, and this input value is used as producing the basis of picture signal.
By using the input value basis as reference template of feed-in, can ignore comprising the default bin comparing code
Demand, and in patent EP2273369B1, it has to determine respectively on the time point earlier before execution method or count
Calculate and preset the bin demand comparing code.Although being likely to occur various deviation, the most different colors or different font chis
Very little, but utilize the method for the invention to make it be no longer result in false alarm valuably, reason is that the present invention is producing reference
Described deviation is the most directly considered during template.According to the present invention, interior generation based on the input value sent into is joined at runtime
Examine template.
In this case, the operation time refers specifically to, method or computer program or the running of device or system
Respective execution time span or execution time interval.Therefore, especially, the operation time refer respectively to execution method or
The time of computer program.Therefore, the operation time especially refers to wherein device or the time of system activity.
One is further particularly advantageous in that, if the input value of feed-in is really corresponding with the input value of display, and system or dress
Put self and can automatically and without error implement inspection respectively.Therefore need not described in open file EP2405317A1
The visual inspection of user.
Additionally, without providing multiple image storage, thus be conducive to economizing on resources.
Within the scope of the invention, input value is it may be that the most alphabetical and/or digital.The input value of the present invention can include, example
Such as alphabetical sequence and/or Serial No., wherein these sequences can be provided by the mode of mixing.Preferably, this input value includes meter
Calculation machine language such as C, C++, Fortran, Java, Javascript, Visual Basic, Python, C#, JPython,
Order in Pearl, PHP, SQL and/or parameter.Preferably this input value can be graphic element, such as graphic computer language
The graph command of speech.Within the scope of the invention, input value can be such as the combination of these graphic elements and/or graph command.
Should not understand the example of the above-mentioned computer language mentioned in a restricted way.Should be to limiting the invention in the above-mentioned meter mentioned
Calculation machine language, but the computer language of any desired can be applied.
Input value is fed in computer, specifically includes that the input of the user to computer detects.User supplies computer
Input value it may be that the input value such as keyed in.Such as can detect user by keyboard to input.Preferably, it is also possible to
Detect user by sensor to input.This sensor can include, such as optics, audition and/or the sensor of sense of touch.
Input value is fed in computer, it preferably includes send input value to computer.Preferably, respectively by wireless or nothing
Line connect, and/or by cable connect be i.e. based on cable by the way of, perform transmission.Wireless connections such as can include WiFi,
Bluetooth, honeycomb move and/or infrared connection.Connection based on cable such as can include that Ethernet connects.
Within the scope of the invention, specifically, template identification relates to a kind of regularity for identifying a certain amount of signal and/or weight
Renaturation and/or similarity and/or the method for systematicness, signal here is respectively picture signal or data.From described rule
Property, repeatability and/or similarity preferably generate the template of one or more identification.
Within the scope of the invention, specifically, picture signal includes the information on display unit, and this display unit can show
Show the input value of input, be i.e. visually to present them.
According to an embodiment, the present invention can provide, and for the input value partition characteristic added, has the input of partition characteristic
Input value on the basis of, produce picture signal and reference template.Owing to this characteristic is the commonly provided unique and the most known
Signal, can specifically scan this characteristic during template identification, it is therefore preferred to mould can more efficient and more effectively be realized
Plate identification.Therefore can reduce or avoid the latent fault rate of template identification in preferable mode respectively.Additionally, in one
In favourable mode, the operand needed for template identification can be reduced in this way, therefore saved the energy.Additionally, one
Plant in favourable mode, such as, can implement template identification on the processor of more small-power configuration.Specifically, it is provided that many
Individual characteristic.This characteristic such as can configure equally or distinctively.
According to another embodiment, the present invention can provide, and makes described characteristic include bar code.Preferably, bar code is configurable to
Data Matrix code.Specifically, it is provided that multiple bar codes.This bar code can configure equally or distinctively.
Within the scope of the invention, specifically, bar code refers to the font of the lines comprising different in width of Photoelectrical readable, these
Lines are preferably parallel with each other and are spaced with gap respectively between lines.This bar code can be preferably configured to 1D or
2D bar code, " D " represents dimension.It is i.e. in bar code in 1D bar code, in a direction, data is encoded.In two dimension
Bar code is i.e. in 2D bar code, on two dimensional surface, is i.e. to encode data in both direction.Data Matrix code is 2D
One example of bar code.
According to further embodiment, the present invention can provide, and makes described characteristic comprise graphic element.This graphic element is such as
Can be any desired geometry, such as circle, rectangle, triangle or hexagon.It should be understood that aforesaid geometry
Simply example, and without limitation.
According to another embodiment, the present invention can provide, and makes described characteristic be embedded in picture signal as steganography
(steganographic) element.Steganography element within the scope of the present invention refers to and utilizes steganography method to be embedded into image letter
Element in number.Therefore, the present invention utilizes steganography method to embed characteristic in picture signal.Here, specifically, figure signal
As carrier signal, the characteristic signals of hidden attribute or correspondence wherein can be distinguished.Specifically, steganography method advantageouslys allow for
Embed characteristic in picture signal, the display of the input value corresponding with picture signal will not be changed for this purpose, generally make use
Family such as adds the user of input value will not note existence or the distribution of correspondence of characteristic in input value respectively.
According to another embodiment, the present invention can provide, if the template identified is corresponding with reference template, then defeated based on add
Enter value produce first verification and and based on identify template produce second verification and, then by verification with compare mutually.Therefore,
In a kind of favourable mode, carry out the most corresponding with the input value of display of input value added is checked for the second time.If
In the case of correspondence, the two verifies and the most equal.But, if add input value not with display input value pair
Should, described two verify and would generally deviate mutually.It is i.e. that systematic mistake will occur in template identification, such as, leads
The template causing to identify by mistakenly, is i.e. to be identified as reference template defectively；When compare two verification and when, it will
Detect this systematic mistake, thus activate the mechanism of correspondence, such as give a warning.
According to further embodiment, the present invention can provide, and picture signal includes the pixel cell for accessing display unit
Control signal, and template identification is applied to this control signal.Generally the picture signal being sent to display unit is processed
To obtain control signal, such as such that it is able to access the single pixel cell of display device according to control signal.Here, wound
Propose to the property made the template identification in addition of these control signals.Therefore, since picture signal being used in Computer display cellular chain
In template identification produced by end, no longer there is the probability of the mistake occurring further system intrinsic.Thus, in one
In favourable mode, whether the most corresponding with the input value of display the proposition making the input value of input be able to correct probability
Increased to a large extent.
In a further embodiment, the present invention can provide, such as, by computer, fetch pixel from control signal respectively
State value that unit is corresponding or state parameter, and respectively to described state value or state parameter application template identification.At this
In the situation of kind, when picture signal includes the control signal for accessing pixel cell, in an indirect way picture signal is applied
Template identification, wherein makes the pixel cell in control signal switch to the state of correspondence or operate according to control signal.Such as
A kind of state can be " os-motic state ", and pixel cell therein is transparent.Another kind of state can be such as " impermeable shape
State ", pixel cell therein is nontransparent, is i.e. opaque.Other state can be such as " os-motic state " and " non-
Os-motic state " between intermediateness.Specifically, utilizing computer, by active inquiry, it is unnecessary beneficially to avoid respectively
Signal transmission or perform template identification so that, such as, be efficiently used existing transmission bandwidth, effectively preferably make
The transmission bandwidth connected with computer display unit.
Detection to control signal and/or the state value of pixel cell or state parameter is referred to as performing to monitor duplication, generally respectively
It is referred to as term " screenshotss ".
According to another embodiment, the present invention can provide allocation unit with the input value partition characteristic to input, wherein with reference to mould
Slab element is configured to the input value of input based on the characteristic with distribution and forms reference template.This especially means that, at this
Picture signal in the situation of kind is that the input value of input based on the characteristic with distribution produces.Therefore, template recognition unit is bright
Really to corresponding picture signal application template identification.
In another embodiment, the present invention provides verification and generator, for the feelings corresponding with reference template in the template identified
Under condition, specifically, the input value of input based on the characteristic comprising distribution, produce first verification and, and based on identify mould
Plate produce the second verification and, and provide and further contrast unit, be used for comparing the first verification and and the second verification and.
According to further embodiment, the present invention can provide template recognition unit, and it is respectively configured to or is arranged in display
In unit, to the control signal application template identification of pie graph image signal, thus access the pixel cell of display unit.
In a further embodiment, the present invention is provided to detect picture signal and/or detection control signal and/or state parameter
Detecting signal unit, it is connected with template recognition unit.This especially means that, detecting signal unit only detects picture signal also
And send they to image identification unit, thus realize template identification.Detecting signal unit hereinafter may be viewed as inspection
Survey unit.Preferably, detecting signal unit can be integrated or be arranged in display unit.Therefore, it can be by a kind of favourable
Mode, specifically, comprises control signal and/or state parameter.The preferably present invention can make detecting signal unit be configured to inspection
Survey control signal to be then sent in template recognition unit.The preferably present invention can make detecting signal unit be configured to point
Jian Ce state value or state parameter.Detecting signal unit is preferably configured as the dependence inquiry from computer to detect control
Signal processed and/or state parameter, and be configured to send them to template recognition unit.
Preferably, the present invention can provide, configure between detecting signal unit and template recognition unit connection based on cable and/
Or wireless connections.For meaning most commonly, connection based on cable such as can include that Ethernet connects, preferably gigabit
Ethernet connects.For meaning most commonly, wireless connections can specifically include WiFi, infrared, honeycomb move and/or
Bluetooth connects.
In a further embodiment, the present invention can provide and be connected with template recognition unit and for detecting the signal of picture signal
Detector unit, this detecting signal unit is arranged in image signal output end and the display unit of the picture signal generator of computer
Between picture signal input.Preferably, picture signal generator is configured to, and input value based on input is display unit shape
Become corresponding picture signal.
Such a kind of picture signal generator can, it may for example comprise graphic chips or be configured to graphic chips.This graphic chips
Can be by, such as video card, constitute.Preferably, picture signal generator can be configured to video card.Such as, picture signal occurs
Device can be only fitted in computer.Preferably, picture signal generator can be only fitted to outside computer.
According to another embodiment, the input value of input can be stored by the present invention, and input value based on the input stored
Produce reference template and picture signal.Therefore, can provide safeguard protection in a kind of favourable mode, correct display stores
Input value, this input value is usually used as the basis processing step further in computer, and makes to being likely to result in amendment
The input value of input of input value when store, will not make a mistake.In other words, in this case can be excellent
Selection of land, the content that display unit is visually shown, the most e.g. show computer language order, parameter, alpha-numeric, figure
Shape element or the graph command of graphic computer language, compare with the content of the data being stored in memorizer, wherein, as
Fruit do not have mistake generation, the most described content be then based on add input value or with add input value corresponding.
According to another embodiment, the present invention can configure multiple detecting signal unit.For example, it is possible at picture signal generator
Image signal output end and the picture signal input of display unit between provide detecting signal unit.Specifically, single in display
Unit can provide detecting signal unit further, to detect control signal and/or state parameter.
Accompanying drawing explanation
Below, with reference to accompanying drawing, the present invention will be described in more detail, wherein:
Fig. 1 show the operation device of a computer system；
Fig. 2 describes a system；
Fig. 3 describes the flow chart of the operational approach of computer system；
Fig. 4 show further system；And
Fig. 5 show the graphical interfaces of graphic editor.
Detailed description of the invention
Below, identical reference is for identifying identical feature.
Fig. 1 show the operation device 101 of computer system (not shown), and this computer system comprises computer and display
Unit.
This device 101 includes reference template unit 103, for producing reference template based on the input value being sent to computer.
Additionally, be additionally provided with template recognition unit 105, it is configured to, and is realizing based in the produced picture signal of input value added
Template identification, shows this input value with display unit.Additionally, this device 101 includes contrasting unit 107, for template is known
Template and reference template that other unit 105 is identified compare.
Fig. 2 show system 201.
This system 201 includes computer system 203, and this calculating system is with computer 205 and display unit 207.
And, this system 201 includes the device 101 of Fig. 1.
Will be added to the input value feed-in reference template unit 103 of computer 205 so that it is reference can be produced based on input value
Template.Picture signal produced by input value based on input is sent in display unit 207 so that it is can show respectively
Or the input value of addition is reflected based on picture signal.Described picture signal also can be fed in template recognition unit 105,
Make it can realize template identification in picture signal.Then by one or more by template identification with the template feed-in identified
In contrast unit 107.Additionally, reference template is passed in feed-in contrast unit 107 so that contrast unit 107 can will be joined
The template examining template and one or more identifications compares.
If comparative result show that the template that reference template does not has with at least one identifies is corresponding, such as, can give a warning and/or real
Execute one or more safety-related action.
In the one embodiment of the present of invention being here shown without, it is provided that, computer 205 is integrated described device 101.
In an alternative embodiment of the invention being here shown without, it is provided that, an integrating apparatus 101 in computer 205
Some elements, such as reference template unit 103 and/or contrast unit 107 and/or template recognition unit 105.Here do not have
In an alternative embodiment of the invention illustrated, it is provided that, integration templates recognition unit in display unit 207.
In the one embodiment of the present of invention being here shown without, it is provided that, contrast unit 107 is configured in template identification
In unit 105.This especially means that, template recognition unit 105 can realize template identification and realize template and the ginseng identified
Examine the comparison of template.
In one further embodiment of the present invention being here shown without, it is provided that for detecting the signal of picture signal
Detector unit, described detecting signal unit is connected with template recognition unit 105.Therefore, this especially means that detecting signal unit
Only detect picture signal and send these signals to image identification unit 105 for template identification.Preferably can provide,
Detecting signal unit is made to be incorporated in display unit 207.Preferably can provide, make detecting signal unit be configured to detect control
Then signal sends them in template recognition unit 105.Preferably, detecting signal unit is configurable to detect respectively state
Value or state parameter.
Fig. 3 show the flow chart of the method for operating computer system, and this computer system comprises computer and display unit.
According to step 301, producing picture signal, described generation action input value based on feed-in computer is implemented.Make image
Signal is used for display unit, so that it can be based on the input value of picture signal display input.
According to step 303, input value based on feed-in produces reference template.
According to step 305, picture signal is implemented template identification, wherein according to step 307, is recognized by template identification
Template compares with reference template.
Therefore, it can the input value advantageously ensuring that input corresponding with the input value of actual displayed.Such as, in the input value of input
And the trickleest difference, user or operator can be there is each will not recognize this difference between the input value of display.Example
As, user can input variable title " VarInput12 ", however display can entitled " VarInput21 ".This difference
It is trickle for a user and is difficult to recognize, but creatively detect this in favourable and completely automatic mode
Difference, and without independent data base for this purpose, this data base be included in the verification calculated before the input of input value and,
In addition have in a complex manner and verify this input value with focusing on correctness.According to the present invention, and can be to any desired
The input value of addition test.But, in the prior art, it is merely able to check those being already present in data base to add
The input value entered.Therefore, in the prior art, in the compilation time point of data base, statistics determine enforcement be stored in number
According to the verification in storehouse and relevant.
Fig. 4 show further system 401.
This system 401 includes computer 403 and display unit 405, and the computer system of its composition is not distributed at this specifically
Reference.
Display unit 405 includes pixel cell 407, and it symbolically represents with the cross point of reticule.This pixel cell
The structure of 407 is also referred to as dot structure or picture element matrix.
Display unit 405 farther includes zoom tool 409 and processing unit 411, based on picture signal, and this processing unit 411
Control signal can be produced to access pixel cell 407.Can send respectively by control signal lines 413 or transmit
Described control signal is to pixel cell 407.
Picture signal is transferred to zoom tool 409 by picture signal circuit 415 by computer 403, wherein control signal be with
Based on this picture signal.Here, may be provided for, make picture signal circuit 415 be configured to wireless signal circuit or based on
The signal line of cable.Therefore, it is achieved based on cable or the wireless transmission of picture signal.Preferably, can carry simultaneously
For two kinds of transmission means, it is i.e. based on cable or wireless transmission means.In which case it is preferable to ground provides corresponding
Signal line.
It is in computer 403 by the corresponding picture signal of picture signal circuit 415 transmission, wherein utilizes picture signal to send out
Raw device configures this computer 403 especially with video card, and this picture signal generator does not presents at this.For picture signal,
This picture signal generator such as can provide rgb signal and/or HDMI signal and/or DVI signal and/or display interface
(display-port) signal." RGB " representative " red, green, blue "." HDMI " refers to " HDMI ".
" DVI " expression " digital visual interface ".Picture signal generator preferably includes the signal output part of correspondence, this outfan example
As the picture signal circuit of the coupling of correspondence can be connected.
It is furthermore possible to also provide detector unit 417, this detector unit 417 can detect control signal and specifically from controlling letter
Number circuit 413 fetches these control signals.Can provide in this case, make detector unit 417 divide from control signal
Not Shou Hui the corresponding state value of pixel cell 407 or state parameter, its Computer 403 preferably initializes this inquiry.
Then control signal that detector unit 417 regains respectively and state value is made to be sent to computer 403 via connecting 419, should
E.g. Ethernet connects, WiFi connects and/or mobile cellular connects to connect 419.Preferably, can be real by the mode of encryption
Execute communication.
In computer 403, it is provided that comprise the template recognition unit 421 of contrast unit 422, the reality being shown without at this
Executing in example, this computer 403 i.e. can also be configured as and template recognition unit at outside configuration template recognition unit 421
421 separate.Symbol is illustrated that, the template recognition unit 421 comprising contrast unit 422 is located in computer 403, with
And be located in extension illustration and be in the exterior arrangement of computer 403.Can provide simultaneously, such as right at two or more
The ratio selection of configuration all provided in the case of unit outwardly and inwardly, or selection of configuration outwardly and inwardly is provided separately.
Template recognition unit 421 receives control signal and/or state parameter to carry out template identification, then utilizes detector unit 417
Control signal and/or state parameter are sent to computer 403.The arrow symbol earth's surface with reference 429 is utilized at this
Show these control signals transmitted and/or state parameter.
Additionally, be symbolically depicted figure 8 (8) and make it with reference 425.It is right to be illustrated by reference 427 at this
Should the picture signal that produces of ground, then picture signal 427 is transferred to zoom tool 409 and does and process further, is used for passing through
Pixel element 407 visually shows " 8 ".
In the arrow with reference 429, this input value is not the most described--8, reason is the most to again transmitting
Control signal or state parameter implement template identification.In this describes, the most " 8 " as input value 425 are not entered
Line description, until the corresponding templates identification having been carried out utilizing template recognition unit 421 and implementing.
The embodiment being not illustrated here can provide, make to be configured to the element of reference 417 comprise detection
The template recognition unit of unit.Therefore, this especially means that in this embodiment, is corresponding letter from the outside of computer 403
Number application template identification.Then by connection 419, the template of identification is transferred to computer 403.In the inside of computer 403,
Contrast circuit 422 can perform the comparison between template and the reference template identified, thus, it is possible to preferably from computer 403
Exterior arrangement contrast circuit 422.
Fig. 5 specifically illustrates the graphical interfaces of graphic editor, such as the program that usually designed a calculating machine by pattern primitive,
This graphic element such as represents the order and/or variable that can perform after compiling.Fig. 5 schematically illustrates and graphically orders
503,505 and 507 is the input value of form.Here, set up between input value 503 and 507 and input value 505 and be connected 509.
According to step 510, input value 503,505 and 507 is provided with characteristic 511,513,515, characteristic 511,513,515
Implement in the way of matrix data code.In the embodiment being not illustrated here, it is provided that, use further bar
Code and/or the graphic elements preset replace or are attached to described matrix data code.
In step 510, it is based respectively on input value 503,505 and 507 and distributes the characteristic obtained, and base with them
Reference template is produced further in connection 509.Preferably can provide, based on three input values 503,505 and 507 and
Their partition characteristic and corresponding connection 509, configure single reference template.
The display unit that generally utilization is shown without here is to show the graphical interfaces of graphic editor 501.Generally utilize computer
(not shown) operates graphic editor 501 so that input or input value for graphic editor 501 are presented respectively
Enter this computer.Based on input value 503,505 and 507, produce corresponding picture signal for display unit, enabling pass through
Display unit visually demonstrates input value 503,505 and 507.Described picture signal is used for template identification.This anticipates especially
Taste, and this picture signal is used as template identification, and it is by representing with the rectangle of reference 517.According to this step 517,
Therefore this picture signal is used as template identification.In this case, generally one or more templates are identified.
Subsequently, according to step 519, implement to compare between template and the one or more reference templates identified.
Can provide in this case, memorizer 523 stores the one or more reference templates produced in step 510.
Four-headed arrow with reference 520 has been symbolically depicted the corresponding storage number between memorizer 523 and contrast unit
According to exchange, this contrast cell location is for implementing step 519 and being not illustrated here.
After determining that in step 519 template of one or more identification is corresponding with one or more reference templates, according to step
521 based on identify templates formed the second verification and.Verification and 521 is stored in memorizer 523, in this case,
It is symbolically illustrated by the arrow with reference.
In addition can provide, if especially identify template corresponding with reference template, then based on addition input value, be i.e.
This based on the input value 503,505 and 507 being stored in memorizer 523 and with connection 509 produce the first verification and.
Here, utilize and symbolically represent described storage with the arrow of reference 525.The present invention being here shown without
An embodiment in, can input value based on the addition being stored in memorizer 523 produce the first verification and.Preferably,
Respectively for the input value of each addition or for each storage and the input value of addition, can calculate respectively or produce each
First verification and.
To be stored in the data in memorizer 523, the most specially first and second verifications and, be transferred to further contrast unit
527.Here, utilize and symbolically represent described transmission with the arrow of reference 526.
Described further contrast unit 527 check especially two verification and between the most in correspondence with each other.Therefore, have with one
Profit mode, the input value 503,505 and 507 no matter added and they with connection 509 the most correctly show, all can
Further checked.Such as, even if there is systematic mistake, further contrast unit 527 still can be reliably
Detect deviation respectively or do not mate.Therefore this is conducive to obtaining sizable benefit at secure context.
Claims (13)
1. the operational approach of a computer system (203,401), described computer system (203,401) comprise computer (205,
403) and display unit (207,405),
Wherein to be that display unit (207,405) shows described defeated for input value (425) based on supply computer (205,403)
Entering value and produce picture signal (427), and input value based on input forms reference template, wherein this input value includes computer
Order in language and/or parameter,
The picture signal (427) of its Computer (205,403) detection supply display unit (207,405),
The picture signal (427) that detects is implemented template identification, wherein identify in the picture signal of detection regular and/or
Repeatability and/or similarity and/or systematicness, and from described regularity and/or repeatability and/or similarity and/or systematicness
Generate at least one template, and
The template utilizing template identification to be recognized and reference template are compared (307), with the input value of statement input whether
Corresponding with the input value of display.
Method the most according to claim 1, wherein to input input value (425) distribution (510) characteristic (511,513,
515), and input based on the characteristic (511,513,515) with distribution input value (425) generate picture signal (427)
And reference template.
Method the most according to claim 2, described characteristic (511,513,515) includes bar code.
Method the most according to claim 2, described characteristic (511,513,515) is embedded in picture signal (427)
As steganography element.
5. according to method in any one of the preceding claims wherein, wherein, if the template identified is corresponding with reference template, then base
Input value (425) in input produce the first verification and and based on the template identified produce the second verification and, and to described verification
Compare mutually.
Method the most according to any one of claim 1 to 4, wherein picture signal (427) includes for accessing display unit
(207) control signal of pixel cell (407), and template identification is applied in this control signal.
Method the most according to claim 6, pixel cell (407) correspondence fetched from control signal by computer (205)
State value (429), and in this state value (429) upper enforcement template identification.
8. the operation device (101) of a computer system (203,401), described computer system (203,401) system bag
Containing computer (205,403) and display unit (207,405), wherein said computer (205,403) is configured to, base
Input value (425) in supply computer (205,403) is that display unit (207,405) shows that this input value forms image
Signal (427), and export this picture signal (427) and include to display unit (207,405), described device:
Reference template unit (103), input value (425) based on supply computer (205,403) forms reference template, wherein should
Input value includes order and/or the parameter that machine word calls the turn,
Detecting signal unit (417), detects the picture signal from computer (205,403) output to display unit (207,405)
(427),
Template recognition unit (105), is connected with detecting signal unit (417), and the picture signal (427) detected is implemented template
Identify, in the picture signal of detection, wherein identify regular and/or repeatability and/or similarity and/or systematicness, and from institute
State in regularity and/or repeatability and/or similarity and/or systematicness and generate at least one template, and
Comparing unit (107), is connected with reference template unit (103) and template recognition unit (105), to utilizing template identification list
The template that unit (105) recognizes compares with reference template, and the input value with statement input is the most corresponding with the input value of display.
Device the most according to claim 8 (101), is wherein additionally provided with allocation unit, is configured to the input value (425) to input
Partition characteristic (511,513,515), and reference template unit (103) be configured to based on there is distribution characteristic (511,
513,515) input value (425) of input forms reference template.
The most according to claim 8 or claim 9, device (101), be provided with verification and generator, in the template identified and reference
In the case of template correspondence, input value (425) based on input produces the first verification and and produces second based on the template identified
Verification and, and be wherein additionally provided with another contrast unit, compare the first verification and with second verification and.
11. 1 kinds of computer based systems (201), including:
Computer system (203,401), has computer (205,403) and display unit (207,405)；And
According to Claim 8 to the device (101) described in any claim in 10.
12. computer based systems (201) according to claim 11, wherein picture signal (427) includes for accessing
The control signal of the pixel cell (407) of display unit (207), and template recognition unit (105) is configured to template
Identification is applied in this control signal.
13. computer based systems (201) according to claim 11, be wherein connected with template recognition unit (105) with
The detecting signal unit (417) of detection picture signal (427) is arranged in the picture signal generator of computer (205,403)
Image signal output end and the picture signal input of display unit (207) between.
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| DE102012208481.9 | 2012-05-21 | ||
| DE102012208481.9A DE102012208481B4 (en) | 2012-05-21 | 2012-05-21 | Method and device for operating a computer system |
| PCT/EP2013/059662 WO2013174658A1 (en) | 2012-05-21 | 2013-05-08 | Method and device for testing the data display in a security-critical system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN104471543A CN104471543A (en) | 2015-03-25 |
| CN104471543B true CN104471543B (en) | 2016-09-28 |
Family
ID=48325740
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201380038503.1A Active CN104471543B (en) | 2012-05-21 | 2013-05-08 | The method of inspection that in Safety-Critical System, data show and device |
Country Status (5)
| Country | Link |
|---|---|
| US (1) | US10325100B2 (en) |
| EP (1) | EP2852895A1 (en) |
| CN (1) | CN104471543B (en) |
| DE (1) | DE102012208481B4 (en) |
| WO (1) | WO2013174658A1 (en) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| EP3040862B1 (en) | 2014-12-30 | 2016-12-28 | Matthias Auchmann | Method and system for the safe visualization of safety-relevant information |
| CN105654146A (en) * | 2015-12-31 | 2016-06-08 | 田雪松 | Discrete data processing method |
| WO2018041777A1 (en) | 2016-08-31 | 2018-03-08 | Siemens Aktiengesellschaft | Monitoring a display of an operator compartment of a means of transportation |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4541066A (en) * | 1980-11-20 | 1985-09-10 | Pfister Gmbh | Method and apparatus for checking the functions of a display system |
| CN101515243A (en) * | 2008-02-21 | 2009-08-26 | 鸿富锦精密工业（深圳）有限公司 | Graphic display card test system and method |
Family Cites Families (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| BE902443A (en) * | 1985-05-15 | 1985-09-02 | Hard & Soft Engineering | Verification of data displayed on LCD - uses set of photodetectors to monitor segments forming display, and compares monitored output with display driver data |
| DE4228917A1 (en) * | 1992-08-28 | 1994-03-03 | Siemens Ag | Process for the signal-safe display of traffic-related information of a traffic route system |
| JPH06309130A (en) * | 1993-04-21 | 1994-11-04 | Fujitsu Ltd | Display device |
| DE4332143A1 (en) | 1993-09-17 | 1995-03-23 | Siemens Ag | Process for operating a visual display device and devices for carrying out the process |
| DE19703574A1 (en) | 1997-01-31 | 1998-08-06 | Alsthom Cge Alcatel | Process for the safe display of an image on a monitor |
| US8145914B2 (en) * | 2005-12-15 | 2012-03-27 | Microsoft Corporation | Client-side CAPTCHA ceremony for user verification |
| US20120036081A1 (en) * | 2007-07-23 | 2012-02-09 | Hatter Brenda F | Method and system for a real-time interactive web/media-based electronic new or remote hire document processing system interfaced/interlink to an employer authorized distal/remote notaries public or 3rd party agent |
| DE102007048608A1 (en) * | 2007-10-10 | 2009-04-16 | Robert Bosch Gmbh | A test device, display device and method for checking validity of display signals |
| ATE553433T1 (en) * | 2008-11-06 | 2012-04-15 | Servicetrace E K | METHOD AND DEVICE FOR DETERMINING A CHARACTERISTIC OF AN IT SYSTEM |
| ATE535864T1 (en) * | 2009-07-06 | 2011-12-15 | Deuta Werke Gmbh | METHOD FOR DISPLAYING SAFETY-RELEVANT INFORMATION ON A DISPLAY DEVICE AND DEVICE FOR IMPLEMENTING THE METHOD |
| US9164860B2 (en) * | 2009-07-06 | 2015-10-20 | Deuta-Werke Gmbh | Method for representation of safety-relevant information on a display and apparatus for the application of the method |
| DE102010026392B4 (en) | 2010-07-07 | 2012-02-09 | Leuze Electronic Gmbh & Co. Kg | Procedure for the safe parameterization of a safety device |
-
2012
- 2012-05-21 DE DE102012208481.9A patent/DE102012208481B4/en active Active
-
2013
- 2013-05-08 CN CN201380038503.1A patent/CN104471543B/en active Active
- 2013-05-08 WO PCT/EP2013/059662 patent/WO2013174658A1/en active Application Filing
- 2013-05-08 EP EP13720972.2A patent/EP2852895A1/en not_active Ceased
-
2014
- 2014-11-17 US US14/542,784 patent/US10325100B2/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4541066A (en) * | 1980-11-20 | 1985-09-10 | Pfister Gmbh | Method and apparatus for checking the functions of a display system |
| CN101515243A (en) * | 2008-02-21 | 2009-08-26 | 鸿富锦精密工业（深圳）有限公司 | Graphic display card test system and method |
Also Published As
| Publication number | Publication date |
|---|---|
| EP2852895A1 (en) | 2015-04-01 |
| US10325100B2 (en) | 2019-06-18 |
| WO2013174658A1 (en) | 2013-11-28 |
| DE102012208481B4 (en) | 2022-03-03 |
| CN104471543A (en) | 2015-03-25 |
| US20150074832A1 (en) | 2015-03-12 |
| DE102012208481A1 (en) | 2013-11-21 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US20140368354A1 (en) | Central alarm (ca) unit in a gas monitoring system including gas sensors and gas sensor controllers | |
| JP6329377B2 (en) | System and method for RFID inspection | |
| CN107004263B (en) | Image analysis method and device and computer readable device | |
| US9165100B2 (en) | Methods and apparatus to map schematic elements into a database | |
| CN102473120B (en) | Method for representation of safety-relevant information on a display and apparatus for the application of the method | |
| WO2013088461A1 (en) | Software analysis program and software analysis system | |
| CN104471543B (en) | The method of inspection that in Safety-Critical System, data show and device | |
| CN107209829B (en) | Data judging device and data judging method | |
| US20160335391A1 (en) | Method and system for interacting rail transit vehicle commissioning task information | |
| CN105164691A (en) | Optimizing test data payload selection for testing computer software applications using computer networks | |
| US20180313373A1 (en) | Equipment and method for supervising valves in a hydraulic circuit, associated hydraulic circuit and computer program product | |
| WO2014072810A1 (en) | Method for processing an image | |
| KR20230133831A (en) | Device, method and program that automatically designs equipment lines within BIM design data | |
| CN107430659A (en) | Method and apparatus for being handled in the electric of functional safety, electronics and/or programmable electronic system and transmitting data | |
| CN105487973B (en) | The abnormal processor abnormality test method of continuous prize procedure | |
| CN111176642A (en) | Interaction visualization processing system based on plane graph and application method | |
| CN110473333A (en) | Detection method, detection device and the terminal of note number | |
| CN103137227B (en) | The software common mode failure detection system of nuclear power station security level DCS and control method thereof | |
| KR20160086836A (en) | Information processing apparatus, information processing method, and information processing system | |
| CN107870853A (en) | The method and device of test program code path coverage | |
| CN112163813B (en) | Transaction list accounting method for online purchasing | |
| CN105915895A (en) | Video signal detection method | |
| CN113378294A (en) | Device and method for testing safety harbor return design feasibility | |
| CN103513621B (en) | A kind of method for analyzing technological parameter default value of digital control system of nuclear power plant | |
| CN107844397A (en) | For the analysis method of embedded system, computer program product and analytical equipment |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant |