{"entities":{"Q1856156":{"pageid":1866898,"ns":120,"title":"Item:Q1856156","lastrevid":69121611,"modified":"2026-04-13T04:55:17Z","type":"item","id":"Q1856156","labels":{"en":{"language":"en","value":"Detecting races in relay ladder logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862272"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856156$D8BF0AE8-81F8-4960-8118-D4A7F52CD719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2a29c4bd258c98a7aaf92151091d8e1f17ef5f7","datavalue":{"value":{"text":"Detecting races in relay ladder logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856156$20D43272-0402-497F-BD47-903600C398BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5eb22f3ab3f97883a16bfab2da9dde95b214838c","datavalue":{"value":"1059.68535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856156$14426FA5-1C92-4DD0-BB91-E3C4D8BFBFAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"928866081dab5672aa26f093d705f310d152a953","datavalue":{"value":"10.1007/PL00010810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856156$D6F34672-0F2B-4A55-A855-730FB8A42E04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c0d40e17e8d402208a82971198674b488ccb73","datavalue":{"value":{"entity-type":"item","numeric-id":914353,"id":"Q914353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856156$BF8948B2-5004-4C41-9807-1B973253990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20f1a734f4b224637c57f8ba6a80e22c98d5ecd","datavalue":{"value":{"entity-type":"item","numeric-id":988564,"id":"Q988564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856156$B416F154-0E86-4F04-866B-1095D1FBA411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9af173e51909c5e47c780d5fd70c24f29d2272","datavalue":{"value":{"entity-type":"item","numeric-id":1856155,"id":"Q1856155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856156$EDC6163E-A4BD-46C8-AA94-3673891499FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856156$B8B8D6F2-025B-4377-AA9C-568809879CC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51fa866876a61ae2435740199de51e5bb1a31ee7","datavalue":{"value":{"time":"+2000-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856156$3F9520AB-2619-4D0A-8F8B-04C5E9312251","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b40ba0c2c7ecec75e1dc2a1d5f4c68638e8e883","datavalue":{"value":"Relay Ladder Logic (RLL) is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extremely high, often measured in millions of dollars (for shutting down a factory) or human safety (for rides). In the paper, we describe our experience in applying constraint-based program analysis techniques to analyze production RLL programs. Our approach is an interesting combination of probabilistic testing and program analysis, and we show that our system is able to detect bugs with high probability, up to the approximations made by the conservative program analysis. We demonstrate that our analysis is useful in detecting some flaws in production RLL programs that are difficult to find by other techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856156$50BEDAA2-8320-48CB-9B13-8016A3FDD07E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856156$2476D51C-6376-41BD-AE71-BE8C8F34EC91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20494602d5480dda4c859ff509166eadabdf39fb","datavalue":{"value":"1862272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856156$5FF4AD72-F072-4F9C-B51B-C9774F6BE45C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856156$9AEFDCEB-1715-49C9-A011-E35661099060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d71507f2ed2edacf3bb5d42233bf1a178a69b919","datavalue":{"value":"software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856156$DC3B3194-9AB4-44C0-8B4F-BFFB21A89F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856156$3249731A-7848-4FF4-8370-EF78C183F79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856156$EB0F9BA2-9E7F-4958-B19E-84C9DF019F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856156$0582BE97-3EC9-4CBD-9F93-BFCFAEE583FF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856156$68EDD4F7-1806-43EF-9AEB-26EFAC89C4ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a7a00eeafd6ded07175ae2ff957075bdc53622d","datavalue":{"value":"https://doi.org/10.1007/pl00010810","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856156$DBF83328-1AF5-48A8-84F1-22B599806DEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87d20b51f2351f8a4cebee51d8dc4da636c66ecc","datavalue":{"value":"W2115300444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856156$4204EC3F-AD9E-45E0-AA27-5C441D3568D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca7c28be3a90115046a47053d159a9b86516cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4644578,"id":"Q4644578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce467d756af0d87076e5a32dcca80274d1772d2","datavalue":{"value":{"amount":"+0.6337273120880127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856156$68CE0228-55B7-495E-AB8F-CC97596845C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d43faca87f248717987e85b8e1b644f00d470a","datavalue":{"value":{"entity-type":"item","numeric-id":2883102,"id":"Q2883102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3c0e34bea5e8397968bee10d9b22d7d936eeb3","datavalue":{"value":{"amount":"+0.631309986114502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856156$53B21EB7-1E96-4DD9-9959-2B9375D65479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3af34ba53e16c56333af05e0389a263d595eba8","datavalue":{"value":{"entity-type":"item","numeric-id":2827930,"id":"Q2827930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68c24b27488951ec30012be599b859830bfc469","datavalue":{"value":{"amount":"+0.6280669569969177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856156$8EF461BE-93DC-461E-A87E-C32802EEEAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50c9487096a9ac3a4c0fc3d4e1dafbf96004aef","datavalue":{"value":{"entity-type":"item","numeric-id":4812985,"id":"Q4812985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6501c6b472fd14c154b59787a6157cf13faea3e0","datavalue":{"value":{"amount":"+0.622870922088623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856156$769134B5-8D2D-4A0D-9A66-16A3798555D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934b6c8ce29f7b4a3f92be12baffb4c8e12cb705","datavalue":{"value":{"entity-type":"item","numeric-id":2898021,"id":"Q2898021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661613b87d0b34193fb25729c7e7ec9b66d651cc","datavalue":{"value":{"amount":"+0.6208533048629761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1856156$282B0398-1AEB-46E2-897E-8EBC62EC10F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting races in relay ladder logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Detecting_races_in_relay_ladder_logic_programs"}}}}}