Matches in SemOpenAlex for { <https://semopenalex.org/work/W4360995890> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4360995890 abstract "Cyber-physical systems (CPS) operate in open and uncertain physical spaces. In space-time related safety-critical software, how to quantify system performance and safety, model and verify the credibility of CPS has become a hot topic. Aiming at this problem, a Modeling and verification method for CPS space-time safety is proposed. Firstly, extend the space-time attributes and probability attributes of Architecture Analysis & Design Language (AADL) behavior annex, and propose the Safety Probability Architecture Analysis & Design Language (SP-AADL), which is used to model the space-time behavior of CPS systems with safety probabilities; Secondly, extend the space and probability properties of the process algebra-Time Communicating Sequential Process (TCSP), and propose Space Probability Time Communicating Sequential Process (SP- TCSP); Thirdly, the probability parameters are obtained by quantifying the state safety of the system through the statistical model test; Finally, by defining the model transformation rules, the SP-AADL model is transformed into the SP- TCSP model for formal verification, which proves the effectiveness of the method." @default.
- W4360995890 created "2023-03-30" @default.
- W4360995890 creator A5021224162 @default.
- W4360995890 creator A5045036903 @default.
- W4360995890 creator A5064622071 @default.
- W4360995890 creator A5079785086 @default.
- W4360995890 date "2022-12-02" @default.
- W4360995890 modified "2023-10-16" @default.
- W4360995890 title "Modeling and Verification for CPS Space- Time Safety" @default.
- W4360995890 doi "https://doi.org/10.1109/icftic57696.2022.10075188" @default.
- W4360995890 hasPublicationYear "2022" @default.
- W4360995890 type Work @default.
- W4360995890 citedByCount "0" @default.
- W4360995890 crossrefType "proceedings-article" @default.
- W4360995890 hasAuthorship W4360995890A5021224162 @default.
- W4360995890 hasAuthorship W4360995890A5045036903 @default.
- W4360995890 hasAuthorship W4360995890A5064622071 @default.
- W4360995890 hasAuthorship W4360995890A5079785086 @default.
- W4360995890 hasConcept C104317684 @default.
- W4360995890 hasConcept C105795698 @default.
- W4360995890 hasConcept C110251889 @default.
- W4360995890 hasConcept C111498074 @default.
- W4360995890 hasConcept C111919701 @default.
- W4360995890 hasConcept C154945302 @default.
- W4360995890 hasConcept C161771561 @default.
- W4360995890 hasConcept C17744445 @default.
- W4360995890 hasConcept C185592680 @default.
- W4360995890 hasConcept C199360897 @default.
- W4360995890 hasConcept C199539241 @default.
- W4360995890 hasConcept C204241405 @default.
- W4360995890 hasConcept C2776436953 @default.
- W4360995890 hasConcept C2777904410 @default.
- W4360995890 hasConcept C2778572836 @default.
- W4360995890 hasConcept C2779791154 @default.
- W4360995890 hasConcept C2780224610 @default.
- W4360995890 hasConcept C33923547 @default.
- W4360995890 hasConcept C35869016 @default.
- W4360995890 hasConcept C41008148 @default.
- W4360995890 hasConcept C55493867 @default.
- W4360995890 hasConcept C72434380 @default.
- W4360995890 hasConcept C80444323 @default.
- W4360995890 hasConcept C98045186 @default.
- W4360995890 hasConceptScore W4360995890C104317684 @default.
- W4360995890 hasConceptScore W4360995890C105795698 @default.
- W4360995890 hasConceptScore W4360995890C110251889 @default.
- W4360995890 hasConceptScore W4360995890C111498074 @default.
- W4360995890 hasConceptScore W4360995890C111919701 @default.
- W4360995890 hasConceptScore W4360995890C154945302 @default.
- W4360995890 hasConceptScore W4360995890C161771561 @default.
- W4360995890 hasConceptScore W4360995890C17744445 @default.
- W4360995890 hasConceptScore W4360995890C185592680 @default.
- W4360995890 hasConceptScore W4360995890C199360897 @default.
- W4360995890 hasConceptScore W4360995890C199539241 @default.
- W4360995890 hasConceptScore W4360995890C204241405 @default.
- W4360995890 hasConceptScore W4360995890C2776436953 @default.
- W4360995890 hasConceptScore W4360995890C2777904410 @default.
- W4360995890 hasConceptScore W4360995890C2778572836 @default.
- W4360995890 hasConceptScore W4360995890C2779791154 @default.
- W4360995890 hasConceptScore W4360995890C2780224610 @default.
- W4360995890 hasConceptScore W4360995890C33923547 @default.
- W4360995890 hasConceptScore W4360995890C35869016 @default.
- W4360995890 hasConceptScore W4360995890C41008148 @default.
- W4360995890 hasConceptScore W4360995890C55493867 @default.
- W4360995890 hasConceptScore W4360995890C72434380 @default.
- W4360995890 hasConceptScore W4360995890C80444323 @default.
- W4360995890 hasConceptScore W4360995890C98045186 @default.
- W4360995890 hasLocation W43609958901 @default.
- W4360995890 hasOpenAccess W4360995890 @default.
- W4360995890 hasPrimaryLocation W43609958901 @default.
- W4360995890 hasRelatedWork W1572578464 @default.
- W4360995890 hasRelatedWork W1606441988 @default.
- W4360995890 hasRelatedWork W2062952062 @default.
- W4360995890 hasRelatedWork W2106934209 @default.
- W4360995890 hasRelatedWork W2110385965 @default.
- W4360995890 hasRelatedWork W2136312285 @default.
- W4360995890 hasRelatedWork W2169586608 @default.
- W4360995890 hasRelatedWork W2216182229 @default.
- W4360995890 hasRelatedWork W2493800215 @default.
- W4360995890 hasRelatedWork W4244167827 @default.
- W4360995890 isParatext "false" @default.
- W4360995890 isRetracted "false" @default.
- W4360995890 workType "article" @default.