http://rdf.ncbi.nlm.nih.gov/pubchem/patent/AT-515341-A1
Outgoing Links
| Predicate | Object |
|---|---|
| assignee | http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_2a40af1df3c764497ee51d1dc5199f46 |
| classificationCPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-1487 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-1637 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G05B19-058 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-00 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-3612 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-1497 |
| classificationIPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F11-14 http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G05B19-05 |
| filingDate | 2014-01-23-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| inventor | http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_39b402e12dd9f900a6ef9729ea3d54fc http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_60951bba9d50952ffdc37daf31480962 |
| publicationDate | 2015-08-15-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| publicationNumber | AT-515341-A1 |
| titleOfInvention | Procedure for checking the execution of software |
| abstract | For a simple, fast and reliable checking of the function and the execution of an automation task in the form of software in a multi-channel safety-related automation component (1), the software (SW1) in a channel (Kl) of the automation component (1) in an active part (P1 ) of the hardware of the channel (K1) is executed and executed in this channel (K1) in a verification unit (V1) to the software (SW1) first diversified software (SW3), wherein in a processing step (ZI) of the software (SW1) associated Input data (E2) and with the software (SW1) in this processing step (Z1) calculated first output data (A2) in a memory unit (M1) are cached and the diverse software (SW3) in the verification unit (V1) from the stored input data (E2 ) is calculated independently of the processing of the software (SW1) in the active part (P1) second output data (A2) and to check the Abar the second output data (A2) calculated using the diversified software (SW3) is compared with the stored first output data (A2) of the software (SW1). |
| priorityDate | 2014-01-23-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| type | http://data.epo.org/linked-data/def/patent/Publication |
Incoming Links
| Predicate | Subject |
|---|---|
| isDiscussedBy | http://rdf.ncbi.nlm.nih.gov/pubchem/substance/SID415717329 http://rdf.ncbi.nlm.nih.gov/pubchem/compound/CID30709 |
Total number of triples: 20.