Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894037591> ?p ?o ?g. }
- W2894037591 abstract "Cyber-physical system (CPS) is a kind of complex real-time hybrid system which involves deep interactions between computation processors, communication network, and physical environments are deemed as the key enablers of next generation computer applications. However, how to verify CPS effectively is always a great challenge. Based on current scientific works about CPS verification, this paper aims at identifying the gap of current studies and suggesting promising areas for the future works. For this purpose, we conduct a systematic mapping study over the topic on verification of cyber-physical system. We carry out a widely search of publications from 2006 to 2018 in 11 electronic databases. After the step of study selection, 80 papers are selected as primary studies for answering proposed research questions, focused questions, and statistical questions. According to these questions and their answers, this paper not only presents a quantitative and comprehensive analysis of verification challenges, abstraction methods, verification techniques, assistance tools, and verification scenarios that represent each step of verification works, but also summarizes CPS systematic natures, main routine of verification and future research directions. We believe that this survey can identify gaps in current research works and reveal new insights for the future works." @default.
- W2894037591 created "2018-10-05" @default.
- W2894037591 creator A5006942108 @default.
- W2894037591 creator A5044422385 @default.
- W2894037591 creator A5046274878 @default.
- W2894037591 creator A5059000540 @default.
- W2894037591 date "2018-01-01" @default.
- W2894037591 modified "2023-10-15" @default.
- W2894037591 title "A Systematic Mapping Study on the Verification of Cyber-Physical Systems" @default.
- W2894037591 cites W100889298 @default.
- W2894037591 cites W1562463929 @default.
- W2894037591 cites W1605301849 @default.
- W2894037591 cites W1898486852 @default.
- W2894037591 cites W1905359732 @default.
- W2894037591 cites W1965181236 @default.
- W2894037591 cites W1966061495 @default.
- W2894037591 cites W1966911833 @default.
- W2894037591 cites W1978309416 @default.
- W2894037591 cites W1978675221 @default.
- W2894037591 cites W1989642178 @default.
- W2894037591 cites W1991849315 @default.
- W2894037591 cites W1998227688 @default.
- W2894037591 cites W2001818610 @default.
- W2894037591 cites W2003539878 @default.
- W2894037591 cites W2009349597 @default.
- W2894037591 cites W2009559665 @default.
- W2894037591 cites W2011564143 @default.
- W2894037591 cites W2022163307 @default.
- W2894037591 cites W2025983852 @default.
- W2894037591 cites W2026633756 @default.
- W2894037591 cites W2034081750 @default.
- W2894037591 cites W2038344092 @default.
- W2894037591 cites W2044286462 @default.
- W2894037591 cites W2045554806 @default.
- W2894037591 cites W2048063490 @default.
- W2894037591 cites W2049321516 @default.
- W2894037591 cites W2051424478 @default.
- W2894037591 cites W2055340435 @default.
- W2894037591 cites W2056047125 @default.
- W2894037591 cites W2062917871 @default.
- W2894037591 cites W2063381633 @default.
- W2894037591 cites W2068650654 @default.
- W2894037591 cites W2070715538 @default.
- W2894037591 cites W2084277264 @default.
- W2894037591 cites W2098198661 @default.
- W2894037591 cites W2103316272 @default.
- W2894037591 cites W2111688293 @default.
- W2894037591 cites W2141383403 @default.
- W2894037591 cites W2144630849 @default.
- W2894037591 cites W2144737624 @default.
- W2894037591 cites W2152476303 @default.
- W2894037591 cites W2163418236 @default.
- W2894037591 cites W2173007823 @default.
- W2894037591 cites W2188869759 @default.
- W2894037591 cites W2249003511 @default.
- W2894037591 cites W2286110513 @default.
- W2894037591 cites W2286742647 @default.
- W2894037591 cites W2343455713 @default.
- W2894037591 cites W2344795941 @default.
- W2894037591 cites W2361313718 @default.
- W2894037591 cites W2407452468 @default.
- W2894037591 cites W2441384093 @default.
- W2894037591 cites W2483018588 @default.
- W2894037591 cites W2509044177 @default.
- W2894037591 cites W2521705161 @default.
- W2894037591 cites W2528017977 @default.
- W2894037591 cites W2531728244 @default.
- W2894037591 cites W2537005174 @default.
- W2894037591 cites W2553406992 @default.
- W2894037591 cites W2560186350 @default.
- W2894037591 cites W2560401546 @default.
- W2894037591 cites W2565998050 @default.
- W2894037591 cites W2577663800 @default.
- W2894037591 cites W2580908360 @default.
- W2894037591 cites W2583863605 @default.
- W2894037591 cites W2583964271 @default.
- W2894037591 cites W2589638514 @default.
- W2894037591 cites W2592797991 @default.
- W2894037591 cites W2606562016 @default.
- W2894037591 cites W2606928263 @default.
- W2894037591 cites W2608911009 @default.
- W2894037591 cites W2609900566 @default.
- W2894037591 cites W2613556501 @default.
- W2894037591 cites W2613814223 @default.
- W2894037591 cites W2616209252 @default.
- W2894037591 cites W2620444793 @default.
- W2894037591 cites W2685595144 @default.
- W2894037591 cites W2737232696 @default.
- W2894037591 cites W2742097343 @default.
- W2894037591 cites W2756604315 @default.
- W2894037591 cites W2790431569 @default.
- W2894037591 cites W2793303056 @default.
- W2894037591 cites W2793961239 @default.
- W2894037591 cites W2964131994 @default.
- W2894037591 cites W2996165641 @default.
- W2894037591 cites W3145714029 @default.
- W2894037591 cites W4214443 @default.
- W2894037591 cites W96463622 @default.
- W2894037591 cites W2165090049 @default.
- W2894037591 doi "https://doi.org/10.1109/access.2018.2872015" @default.