Matches in SemOpenAlex for { <https://semopenalex.org/work/W4292387594> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4292387594 abstract "This paper solves the problem of automatic generation of a verification code for the purposes of dynamic verification of process-oriented control programs for Cyber-Physical Systems. A verifier generation module has been developed for generating a program code that verifies the control programs of Cyber-Physical Systems. The following concept of automatic code generation is presented: first, the requirements for the control program are described using the Event-Driven Temporal Logic. Then the requirements are automatically converted into an abstract syntax tree, after which the abstract syntax tree is loaded into the Dynamic Verification Complex. And finally, the control program is checked for compliance with the requirements using the control object simulator in the Dynamic Verification Complex. This paper provides an overview of existing approaches to requirements specification. Event-Driven Temporal Logic was chosen as an approach to the specification of requirements for control programs in this work. The article selects the Xtend language as a code generator development language. C++ was chosen as the language of the final generated code." @default.
- W4292387594 created "2022-08-20" @default.
- W4292387594 creator A5038562293 @default.
- W4292387594 creator A5073131841 @default.
- W4292387594 creator A5088886105 @default.
- W4292387594 creator A5090148978 @default.
- W4292387594 date "2022-06-30" @default.
- W4292387594 modified "2023-09-27" @default.
- W4292387594 title "Automatic Generation of Verification Code for Dynamic Verification of Process-Oriented Reflex Programs" @default.
- W4292387594 cites W2078302473 @default.
- W4292387594 cites W2079197264 @default.
- W4292387594 cites W2136735426 @default.
- W4292387594 cites W2578142825 @default.
- W4292387594 cites W2951673048 @default.
- W4292387594 cites W2995119162 @default.
- W4292387594 cites W2998978340 @default.
- W4292387594 cites W4246913434 @default.
- W4292387594 doi "https://doi.org/10.1109/edm55285.2022.9855194" @default.
- W4292387594 hasPublicationYear "2022" @default.
- W4292387594 type Work @default.
- W4292387594 citedByCount "0" @default.
- W4292387594 crossrefType "proceedings-article" @default.
- W4292387594 hasAuthorship W4292387594A5038562293 @default.
- W4292387594 hasAuthorship W4292387594A5073131841 @default.
- W4292387594 hasAuthorship W4292387594A5088886105 @default.
- W4292387594 hasAuthorship W4292387594A5090148978 @default.
- W4292387594 hasConcept C111498074 @default.
- W4292387594 hasConcept C111919701 @default.
- W4292387594 hasConcept C121332964 @default.
- W4292387594 hasConcept C133162039 @default.
- W4292387594 hasConcept C177264268 @default.
- W4292387594 hasConcept C186644900 @default.
- W4292387594 hasConcept C199360897 @default.
- W4292387594 hasConcept C25016198 @default.
- W4292387594 hasConcept C26517878 @default.
- W4292387594 hasConcept C2776760102 @default.
- W4292387594 hasConcept C2779662365 @default.
- W4292387594 hasConcept C41008148 @default.
- W4292387594 hasConcept C58646249 @default.
- W4292387594 hasConcept C62460635 @default.
- W4292387594 hasConcept C62520636 @default.
- W4292387594 hasConcept C98045186 @default.
- W4292387594 hasConceptScore W4292387594C111498074 @default.
- W4292387594 hasConceptScore W4292387594C111919701 @default.
- W4292387594 hasConceptScore W4292387594C121332964 @default.
- W4292387594 hasConceptScore W4292387594C133162039 @default.
- W4292387594 hasConceptScore W4292387594C177264268 @default.
- W4292387594 hasConceptScore W4292387594C186644900 @default.
- W4292387594 hasConceptScore W4292387594C199360897 @default.
- W4292387594 hasConceptScore W4292387594C25016198 @default.
- W4292387594 hasConceptScore W4292387594C26517878 @default.
- W4292387594 hasConceptScore W4292387594C2776760102 @default.
- W4292387594 hasConceptScore W4292387594C2779662365 @default.
- W4292387594 hasConceptScore W4292387594C41008148 @default.
- W4292387594 hasConceptScore W4292387594C58646249 @default.
- W4292387594 hasConceptScore W4292387594C62460635 @default.
- W4292387594 hasConceptScore W4292387594C62520636 @default.
- W4292387594 hasConceptScore W4292387594C98045186 @default.
- W4292387594 hasFunder F4320311649 @default.
- W4292387594 hasLocation W42923875941 @default.
- W4292387594 hasOpenAccess W4292387594 @default.
- W4292387594 hasPrimaryLocation W42923875941 @default.
- W4292387594 hasRelatedWork W1507167368 @default.
- W4292387594 hasRelatedWork W1523668689 @default.
- W4292387594 hasRelatedWork W1569814689 @default.
- W4292387594 hasRelatedWork W1788459607 @default.
- W4292387594 hasRelatedWork W1950381142 @default.
- W4292387594 hasRelatedWork W2384847609 @default.
- W4292387594 hasRelatedWork W2528717104 @default.
- W4292387594 hasRelatedWork W270927586 @default.
- W4292387594 hasRelatedWork W3006199460 @default.
- W4292387594 hasRelatedWork W47563837 @default.
- W4292387594 isParatext "false" @default.
- W4292387594 isRetracted "false" @default.
- W4292387594 workType "article" @default.