Matches in SemOpenAlex for { <https://semopenalex.org/work/W3091400564> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3091400564 abstract "Process-oriented programming is an approach for cyber-physical systems (CPS) software development. However, CPS software development requires verification tools in order to control the quality of CPS software. Dynamic verification is the most common approach for CPS software. The paper presents formal four-component model of dynamic verification of process-oriented CPS control software. The model includes a set of interacting hyperprocesses: plant simulator, test scripts management, automatic check of the algorithm reactions and model of verified software. Also we present numerical method for determining vector of verification results. The automatic check ensures continuous monitoring of CPS software behavior. The approach allows checking software behavior with different scripts, including emergency situations. We use the approach to check requirements for crossroad POP control software" @default.
- W3091400564 created "2020-10-08" @default.
- W3091400564 creator A5004962624 @default.
- W3091400564 creator A5090148978 @default.
- W3091400564 date "2020-09-01" @default.
- W3091400564 modified "2023-09-27" @default.
- W3091400564 title "Dynamic Verification of Process-Oriented Control Software by the Case of Crossroad Control" @default.
- W3091400564 cites W1250213783 @default.
- W3091400564 cites W2011521967 @default.
- W3091400564 cites W2060422862 @default.
- W3091400564 cites W2099529102 @default.
- W3091400564 cites W2126039446 @default.
- W3091400564 cites W2228793699 @default.
- W3091400564 cites W2438125591 @default.
- W3091400564 cites W2565390164 @default.
- W3091400564 cites W2620084289 @default.
- W3091400564 cites W2774168310 @default.
- W3091400564 cites W2866783276 @default.
- W3091400564 cites W2884894912 @default.
- W3091400564 cites W2887223433 @default.
- W3091400564 cites W2951671527 @default.
- W3091400564 cites W2951673048 @default.
- W3091400564 cites W2968193927 @default.
- W3091400564 cites W3000553810 @default.
- W3091400564 doi "https://doi.org/10.1109/rusautocon49822.2020.9208138" @default.
- W3091400564 hasPublicationYear "2020" @default.
- W3091400564 type Work @default.
- W3091400564 sameAs 3091400564 @default.
- W3091400564 citedByCount "0" @default.
- W3091400564 crossrefType "proceedings-article" @default.
- W3091400564 hasAuthorship W3091400564A5004962624 @default.
- W3091400564 hasAuthorship W3091400564A5090148978 @default.
- W3091400564 hasConcept C115903868 @default.
- W3091400564 hasConcept C117447612 @default.
- W3091400564 hasConcept C127413603 @default.
- W3091400564 hasConcept C174683762 @default.
- W3091400564 hasConcept C186846655 @default.
- W3091400564 hasConcept C199360897 @default.
- W3091400564 hasConcept C201515116 @default.
- W3091400564 hasConcept C21547014 @default.
- W3091400564 hasConcept C2777904410 @default.
- W3091400564 hasConcept C33054407 @default.
- W3091400564 hasConcept C41008148 @default.
- W3091400564 hasConcept C48002344 @default.
- W3091400564 hasConcept C529173508 @default.
- W3091400564 hasConceptScore W3091400564C115903868 @default.
- W3091400564 hasConceptScore W3091400564C117447612 @default.
- W3091400564 hasConceptScore W3091400564C127413603 @default.
- W3091400564 hasConceptScore W3091400564C174683762 @default.
- W3091400564 hasConceptScore W3091400564C186846655 @default.
- W3091400564 hasConceptScore W3091400564C199360897 @default.
- W3091400564 hasConceptScore W3091400564C201515116 @default.
- W3091400564 hasConceptScore W3091400564C21547014 @default.
- W3091400564 hasConceptScore W3091400564C2777904410 @default.
- W3091400564 hasConceptScore W3091400564C33054407 @default.
- W3091400564 hasConceptScore W3091400564C41008148 @default.
- W3091400564 hasConceptScore W3091400564C48002344 @default.
- W3091400564 hasConceptScore W3091400564C529173508 @default.
- W3091400564 hasLocation W30914005641 @default.
- W3091400564 hasOpenAccess W3091400564 @default.
- W3091400564 hasPrimaryLocation W30914005641 @default.
- W3091400564 hasRelatedWork W10237314 @default.
- W3091400564 hasRelatedWork W1117117 @default.
- W3091400564 hasRelatedWork W11242355 @default.
- W3091400564 hasRelatedWork W13243828 @default.
- W3091400564 hasRelatedWork W1881139 @default.
- W3091400564 hasRelatedWork W4007508 @default.
- W3091400564 hasRelatedWork W7865839 @default.
- W3091400564 hasRelatedWork W9284821 @default.
- W3091400564 hasRelatedWork W3956596 @default.
- W3091400564 hasRelatedWork W6028741 @default.
- W3091400564 isParatext "false" @default.
- W3091400564 isRetracted "false" @default.
- W3091400564 magId "3091400564" @default.
- W3091400564 workType "article" @default.