Matches in SemOpenAlex for { <https://semopenalex.org/work/W1946688542> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1946688542 abstract "Automated production systems are usually driven by Programmable Logic Controllers (PLCs). These systems are long-living and have high requirements for software quality to avoid downtimes, damaged product and harm to personnel. While commissioning multiple systems of similar type, pragmatic adjustments of the software are often necessary, which results in two or more similar variants of initially identical software. For further evolution of the software, an equivalence analysis of the software's behavior is beneficial to merge divergent development branches into a single program version. This paper presents a novel method for regression verification of PLC code, which allows one to prove that two variants of a plant's software behave identically in specified situations, despite being implemented differently. For this, a regression verification method for PLC code was designed, implemented and evaluated. The notion of program equivalence for reactive PLC code is clarified and defined. Core elements of the method are the translation of PLC code into the SMV input language for model checkers, the adaptation of the coupling invariants concept to reactive systems, and the implementation of a toolchain using a model checker. The approach was successfully evaluated using the Pick-and-Place Unit benchmark case study." @default.
- W1946688542 created "2016-06-24" @default.
- W1946688542 creator A5003024686 @default.
- W1946688542 creator A5039009530 @default.
- W1946688542 creator A5064624689 @default.
- W1946688542 creator A5067871787 @default.
- W1946688542 creator A5071323487 @default.
- W1946688542 date "2015-09-01" @default.
- W1946688542 modified "2023-09-26" @default.
- W1946688542 title "Proving equivalence between control software variants for Programmable Logic Controllers" @default.
- W1946688542 cites W1591386601 @default.
- W1946688542 cites W1771925833 @default.
- W1946688542 cites W1985463535 @default.
- W1946688542 cites W2001230460 @default.
- W1946688542 cites W2016114133 @default.
- W1946688542 cites W2067871120 @default.
- W1946688542 cites W2121750555 @default.
- W1946688542 cites W2544259300 @default.
- W1946688542 cites W36372577 @default.
- W1946688542 doi "https://doi.org/10.1109/etfa.2015.7301603" @default.
- W1946688542 hasPublicationYear "2015" @default.
- W1946688542 type Work @default.
- W1946688542 sameAs 1946688542 @default.
- W1946688542 citedByCount "5" @default.
- W1946688542 countsByYear W19466885422016 @default.
- W1946688542 countsByYear W19466885422017 @default.
- W1946688542 countsByYear W19466885422018 @default.
- W1946688542 countsByYear W19466885422022 @default.
- W1946688542 crossrefType "proceedings-article" @default.
- W1946688542 hasAuthorship W1946688542A5003024686 @default.
- W1946688542 hasAuthorship W1946688542A5039009530 @default.
- W1946688542 hasAuthorship W1946688542A5064624689 @default.
- W1946688542 hasAuthorship W1946688542A5067871787 @default.
- W1946688542 hasAuthorship W1946688542A5071323487 @default.
- W1946688542 hasConcept C111919701 @default.
- W1946688542 hasConcept C118615104 @default.
- W1946688542 hasConcept C119599485 @default.
- W1946688542 hasConcept C127413603 @default.
- W1946688542 hasConcept C17500928 @default.
- W1946688542 hasConcept C199360897 @default.
- W1946688542 hasConcept C2777904410 @default.
- W1946688542 hasConcept C2780069185 @default.
- W1946688542 hasConcept C33923547 @default.
- W1946688542 hasConcept C37374048 @default.
- W1946688542 hasConcept C41008148 @default.
- W1946688542 hasConceptScore W1946688542C111919701 @default.
- W1946688542 hasConceptScore W1946688542C118615104 @default.
- W1946688542 hasConceptScore W1946688542C119599485 @default.
- W1946688542 hasConceptScore W1946688542C127413603 @default.
- W1946688542 hasConceptScore W1946688542C17500928 @default.
- W1946688542 hasConceptScore W1946688542C199360897 @default.
- W1946688542 hasConceptScore W1946688542C2777904410 @default.
- W1946688542 hasConceptScore W1946688542C2780069185 @default.
- W1946688542 hasConceptScore W1946688542C33923547 @default.
- W1946688542 hasConceptScore W1946688542C37374048 @default.
- W1946688542 hasConceptScore W1946688542C41008148 @default.
- W1946688542 hasLocation W19466885421 @default.
- W1946688542 hasOpenAccess W1946688542 @default.
- W1946688542 hasPrimaryLocation W19466885421 @default.
- W1946688542 hasRelatedWork W104713575 @default.
- W1946688542 hasRelatedWork W2153013565 @default.
- W1946688542 hasRelatedWork W2348520779 @default.
- W1946688542 hasRelatedWork W2355984101 @default.
- W1946688542 hasRelatedWork W2358446549 @default.
- W1946688542 hasRelatedWork W2361484846 @default.
- W1946688542 hasRelatedWork W2377948172 @default.
- W1946688542 hasRelatedWork W2380672667 @default.
- W1946688542 hasRelatedWork W3022387521 @default.
- W1946688542 hasRelatedWork W4308087418 @default.
- W1946688542 isParatext "false" @default.
- W1946688542 isRetracted "false" @default.
- W1946688542 magId "1946688542" @default.
- W1946688542 workType "article" @default.