Matches in SemOpenAlex for { <https://semopenalex.org/work/W2756692340> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2756692340 abstract "Cyber-physical systems are highly connected context sensitive systems that form networks. Within these cyber-physical system-networks, behavior emerges from the interplay of the connected systems that cannot be attributed to a single system. Verifying single system behavior as well as the resulting emergent behavior of the system-network the single systems contribute to, is challenging as the intended behavior differs between the different cyber-physical system-networks the single system takes part in. It can even differ between two almost identical cyber-physical system-networks, which, for example, only differ by one system. To ensure correct behavior, requirements engineering for cyber-physical systems must cope with the identification and documentation of the cyber-physical system's dynamic context, i.e. the different system-networks the system takes part in (e.g., a system-network of vehicles forming a platoon on a highway) as well as the context situations these system-networks can encounter (e.g., road work leading to the need for lane shifts). This paper contributes a solution idea for automated support in identifying relevant system-networks the system will have to interact with and for verifying the cyber-physical system under development against these relevant system-networks." @default.
- W2756692340 created "2017-10-06" @default.
- W2756692340 creator A5075828060 @default.
- W2756692340 date "2017-09-01" @default.
- W2756692340 modified "2023-09-25" @default.
- W2756692340 title "Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks" @default.
- W2756692340 cites W1834093633 @default.
- W2756692340 cites W1971319471 @default.
- W2756692340 cites W2000317315 @default.
- W2756692340 cites W2017275720 @default.
- W2756692340 cites W2021071996 @default.
- W2756692340 cites W2034822942 @default.
- W2756692340 cites W2075388481 @default.
- W2756692340 cites W2077491980 @default.
- W2756692340 cites W2089981154 @default.
- W2756692340 cites W2091850237 @default.
- W2756692340 cites W2094489875 @default.
- W2756692340 cites W2095093755 @default.
- W2756692340 cites W2099223743 @default.
- W2756692340 cites W2117890177 @default.
- W2756692340 cites W2159004566 @default.
- W2756692340 cites W2159898039 @default.
- W2756692340 cites W2160178279 @default.
- W2756692340 cites W2293287097 @default.
- W2756692340 cites W34310527 @default.
- W2756692340 cites W4240864890 @default.
- W2756692340 cites W4251590840 @default.
- W2756692340 cites W47687774 @default.
- W2756692340 doi "https://doi.org/10.1109/re.2017.45" @default.
- W2756692340 hasPublicationYear "2017" @default.
- W2756692340 type Work @default.
- W2756692340 sameAs 2756692340 @default.
- W2756692340 citedByCount "4" @default.
- W2756692340 countsByYear W27566923402019 @default.
- W2756692340 countsByYear W27566923402021 @default.
- W2756692340 countsByYear W27566923402022 @default.
- W2756692340 crossrefType "proceedings-article" @default.
- W2756692340 hasAuthorship W2756692340A5075828060 @default.
- W2756692340 hasConcept C111919701 @default.
- W2756692340 hasConcept C115903868 @default.
- W2756692340 hasConcept C116672817 @default.
- W2756692340 hasConcept C116834253 @default.
- W2756692340 hasConcept C121332964 @default.
- W2756692340 hasConcept C151730666 @default.
- W2756692340 hasConcept C154945302 @default.
- W2756692340 hasConcept C179768478 @default.
- W2756692340 hasConcept C2775924081 @default.
- W2756692340 hasConcept C2777735972 @default.
- W2756692340 hasConcept C2779343474 @default.
- W2756692340 hasConcept C31352089 @default.
- W2756692340 hasConcept C38652104 @default.
- W2756692340 hasConcept C41008148 @default.
- W2756692340 hasConcept C59822182 @default.
- W2756692340 hasConcept C62520636 @default.
- W2756692340 hasConcept C86803240 @default.
- W2756692340 hasConcept C87912763 @default.
- W2756692340 hasConceptScore W2756692340C111919701 @default.
- W2756692340 hasConceptScore W2756692340C115903868 @default.
- W2756692340 hasConceptScore W2756692340C116672817 @default.
- W2756692340 hasConceptScore W2756692340C116834253 @default.
- W2756692340 hasConceptScore W2756692340C121332964 @default.
- W2756692340 hasConceptScore W2756692340C151730666 @default.
- W2756692340 hasConceptScore W2756692340C154945302 @default.
- W2756692340 hasConceptScore W2756692340C179768478 @default.
- W2756692340 hasConceptScore W2756692340C2775924081 @default.
- W2756692340 hasConceptScore W2756692340C2777735972 @default.
- W2756692340 hasConceptScore W2756692340C2779343474 @default.
- W2756692340 hasConceptScore W2756692340C31352089 @default.
- W2756692340 hasConceptScore W2756692340C38652104 @default.
- W2756692340 hasConceptScore W2756692340C41008148 @default.
- W2756692340 hasConceptScore W2756692340C59822182 @default.
- W2756692340 hasConceptScore W2756692340C62520636 @default.
- W2756692340 hasConceptScore W2756692340C86803240 @default.
- W2756692340 hasConceptScore W2756692340C87912763 @default.
- W2756692340 hasLocation W27566923401 @default.
- W2756692340 hasOpenAccess W2756692340 @default.
- W2756692340 hasPrimaryLocation W27566923401 @default.
- W2756692340 hasRelatedWork W2394319882 @default.
- W2756692340 hasRelatedWork W2416859637 @default.
- W2756692340 hasRelatedWork W2756692340 @default.
- W2756692340 hasRelatedWork W2785394676 @default.
- W2756692340 hasRelatedWork W2803684864 @default.
- W2756692340 hasRelatedWork W295680712 @default.
- W2756692340 hasRelatedWork W4302065388 @default.
- W2756692340 hasRelatedWork W4312520919 @default.
- W2756692340 hasRelatedWork W4327652442 @default.
- W2756692340 hasRelatedWork W4366808963 @default.
- W2756692340 isParatext "false" @default.
- W2756692340 isRetracted "false" @default.
- W2756692340 magId "2756692340" @default.
- W2756692340 workType "article" @default.