Matches in SemOpenAlex for { <https://semopenalex.org/work/W3013220430> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3013220430 endingPage "572" @default.
- W3013220430 startingPage "572" @default.
- W3013220430 abstract "Programmable logic controllers (PLCs) are special embedded computers that are widely used in industrial control systems. To ensure the safety of industrial control systems, it is necessary to verify the correctness of PLCs. Formal verification is considered to be an effective method to verify whether a PLC program conforms to its specifications, but the expertise requirements and the complexity make it hard to be mastered and widely applied. In this paper, we present a specification-mining-based verification approach for IEC 61131-3 PLC programs. It only requires users to review specifications mined from the program behaviors instead of model checking for specified specifications, which can greatly improve the efficiency of safety verification and is much easier for control system engineers to use. Moreover, we implement a proof-of-concept tool named PLCInspector that supports directly mining LTL specifications and data invariants from PLC programs. Two examples and one real-life case study are presented to illustrate its practicability and efficiency. In addition, a comparison with the existing verification approaches for PLC programs is discussed." @default.
- W3013220430 created "2020-04-03" @default.
- W3013220430 creator A5023985739 @default.
- W3013220430 creator A5042860330 @default.
- W3013220430 creator A5048551616 @default.
- W3013220430 creator A5070654146 @default.
- W3013220430 date "2020-03-28" @default.
- W3013220430 modified "2023-09-23" @default.
- W3013220430 title "A User-Friendly Verification Approach for IEC 61131-3 PLC Programs" @default.
- W3013220430 cites W1974029402 @default.
- W3013220430 cites W2018690487 @default.
- W3013220430 cites W2023255686 @default.
- W3013220430 cites W2029825845 @default.
- W3013220430 cites W2062269506 @default.
- W3013220430 cites W2075339738 @default.
- W3013220430 cites W2080453157 @default.
- W3013220430 cites W2110908283 @default.
- W3013220430 cites W2115661653 @default.
- W3013220430 cites W2131954495 @default.
- W3013220430 cites W2145020764 @default.
- W3013220430 cites W2147556214 @default.
- W3013220430 cites W2155906338 @default.
- W3013220430 cites W2223894164 @default.
- W3013220430 cites W2242407529 @default.
- W3013220430 cites W2295399529 @default.
- W3013220430 cites W2620179466 @default.
- W3013220430 cites W2782767875 @default.
- W3013220430 cites W2804324442 @default.
- W3013220430 doi "https://doi.org/10.3390/electronics9040572" @default.
- W3013220430 hasPublicationYear "2020" @default.
- W3013220430 type Work @default.
- W3013220430 sameAs 3013220430 @default.
- W3013220430 citedByCount "6" @default.
- W3013220430 countsByYear W30132204302021 @default.
- W3013220430 countsByYear W30132204302022 @default.
- W3013220430 countsByYear W30132204302023 @default.
- W3013220430 crossrefType "journal-article" @default.
- W3013220430 hasAuthorship W3013220430A5023985739 @default.
- W3013220430 hasAuthorship W3013220430A5042860330 @default.
- W3013220430 hasAuthorship W3013220430A5048551616 @default.
- W3013220430 hasAuthorship W3013220430A5070654146 @default.
- W3013220430 hasBestOaLocation W30132204301 @default.
- W3013220430 hasConcept C110251889 @default.
- W3013220430 hasConcept C111498074 @default.
- W3013220430 hasConcept C111919701 @default.
- W3013220430 hasConcept C115903868 @default.
- W3013220430 hasConcept C149635348 @default.
- W3013220430 hasConcept C154945302 @default.
- W3013220430 hasConcept C199360897 @default.
- W3013220430 hasConcept C2775924081 @default.
- W3013220430 hasConcept C37374048 @default.
- W3013220430 hasConcept C41008148 @default.
- W3013220430 hasConcept C55439883 @default.
- W3013220430 hasConcept C90831280 @default.
- W3013220430 hasConceptScore W3013220430C110251889 @default.
- W3013220430 hasConceptScore W3013220430C111498074 @default.
- W3013220430 hasConceptScore W3013220430C111919701 @default.
- W3013220430 hasConceptScore W3013220430C115903868 @default.
- W3013220430 hasConceptScore W3013220430C149635348 @default.
- W3013220430 hasConceptScore W3013220430C154945302 @default.
- W3013220430 hasConceptScore W3013220430C199360897 @default.
- W3013220430 hasConceptScore W3013220430C2775924081 @default.
- W3013220430 hasConceptScore W3013220430C37374048 @default.
- W3013220430 hasConceptScore W3013220430C41008148 @default.
- W3013220430 hasConceptScore W3013220430C55439883 @default.
- W3013220430 hasConceptScore W3013220430C90831280 @default.
- W3013220430 hasFunder F4320321885 @default.
- W3013220430 hasFunder F4320325413 @default.
- W3013220430 hasIssue "4" @default.
- W3013220430 hasLocation W30132204301 @default.
- W3013220430 hasLocation W30132204302 @default.
- W3013220430 hasOpenAccess W3013220430 @default.
- W3013220430 hasPrimaryLocation W30132204301 @default.
- W3013220430 hasRelatedWork W108742494 @default.
- W3013220430 hasRelatedWork W2006962382 @default.
- W3013220430 hasRelatedWork W2031779469 @default.
- W3013220430 hasRelatedWork W2283165773 @default.
- W3013220430 hasRelatedWork W2510685823 @default.
- W3013220430 hasRelatedWork W2556057931 @default.
- W3013220430 hasRelatedWork W3013220430 @default.
- W3013220430 hasRelatedWork W4315606162 @default.
- W3013220430 hasRelatedWork W4362734964 @default.
- W3013220430 hasRelatedWork W2340807904 @default.
- W3013220430 hasVolume "9" @default.
- W3013220430 isParatext "false" @default.
- W3013220430 isRetracted "false" @default.
- W3013220430 magId "3013220430" @default.
- W3013220430 workType "article" @default.