Matches in SemOpenAlex for { <https://semopenalex.org/work/W3141842699> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3141842699 endingPage "138" @default.
- W3141842699 startingPage "125" @default.
- W3141842699 abstract "Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system is not yet available for testing or verification of proper behavior. A primary motivation for `getting things right' in these early design stages is that altering the design is significantly less costly and more effective than when hardware and software have already been developed. Engineering cyber-physical systems requires the construction of several different types of models, each representing a different view, which include stakeholder requirements, system behavior, and the system architecture. Furthermore, each of these models can be represented at different levels of abstraction. Formal reasoning has improved the precision and expanded the available types of analysis in assuring correctness of requirements, behaviors, and architectures. However, each is usually modeled in distinct formalisms and corresponding tools. Currently, this disparity means that a system designer must manually check that the different models are in agreement. Manually editing and checking models is error prone, time consuming, and sensitive to any changes in the design of the models themselves. Wiring diagrams and related theory provide a means for formally organizing these different but related modeling views, resulting in a compositional modeling language for cyber-physical systems. Such a categorical language can make concrete the relationship between different model views, thereby managing complexity, allowing hierarchical decomposition of system models, and formally proving consistency between models." @default.
- W3141842699 created "2021-04-13" @default.
- W3141842699 creator A5029872832 @default.
- W3141842699 creator A5063903373 @default.
- W3141842699 creator A5080758702 @default.
- W3141842699 date "2020-01-01" @default.
- W3141842699 modified "2023-09-27" @default.
- W3141842699 title "Compositional Cyber-Physical Systems Modeling." @default.
- W3141842699 hasPublicationYear "2020" @default.
- W3141842699 type Work @default.
- W3141842699 sameAs 3141842699 @default.
- W3141842699 citedByCount "1" @default.
- W3141842699 countsByYear W31418426992021 @default.
- W3141842699 crossrefType "journal-article" @default.
- W3141842699 hasAuthorship W3141842699A5029872832 @default.
- W3141842699 hasAuthorship W3141842699A5063903373 @default.
- W3141842699 hasAuthorship W3141842699A5080758702 @default.
- W3141842699 hasConcept C110963975 @default.
- W3141842699 hasConcept C111472728 @default.
- W3141842699 hasConcept C111919701 @default.
- W3141842699 hasConcept C115903868 @default.
- W3141842699 hasConcept C124304363 @default.
- W3141842699 hasConcept C138885662 @default.
- W3141842699 hasConcept C145644426 @default.
- W3141842699 hasConcept C154945302 @default.
- W3141842699 hasConcept C171018156 @default.
- W3141842699 hasConcept C179603123 @default.
- W3141842699 hasConcept C179768478 @default.
- W3141842699 hasConcept C199360897 @default.
- W3141842699 hasConcept C21285288 @default.
- W3141842699 hasConcept C2524010 @default.
- W3141842699 hasConcept C2776436953 @default.
- W3141842699 hasConcept C2777904410 @default.
- W3141842699 hasConcept C33923547 @default.
- W3141842699 hasConcept C41008148 @default.
- W3141842699 hasConcept C55439883 @default.
- W3141842699 hasConcept C98045186 @default.
- W3141842699 hasConceptScore W3141842699C110963975 @default.
- W3141842699 hasConceptScore W3141842699C111472728 @default.
- W3141842699 hasConceptScore W3141842699C111919701 @default.
- W3141842699 hasConceptScore W3141842699C115903868 @default.
- W3141842699 hasConceptScore W3141842699C124304363 @default.
- W3141842699 hasConceptScore W3141842699C138885662 @default.
- W3141842699 hasConceptScore W3141842699C145644426 @default.
- W3141842699 hasConceptScore W3141842699C154945302 @default.
- W3141842699 hasConceptScore W3141842699C171018156 @default.
- W3141842699 hasConceptScore W3141842699C179603123 @default.
- W3141842699 hasConceptScore W3141842699C179768478 @default.
- W3141842699 hasConceptScore W3141842699C199360897 @default.
- W3141842699 hasConceptScore W3141842699C21285288 @default.
- W3141842699 hasConceptScore W3141842699C2524010 @default.
- W3141842699 hasConceptScore W3141842699C2776436953 @default.
- W3141842699 hasConceptScore W3141842699C2777904410 @default.
- W3141842699 hasConceptScore W3141842699C33923547 @default.
- W3141842699 hasConceptScore W3141842699C41008148 @default.
- W3141842699 hasConceptScore W3141842699C55439883 @default.
- W3141842699 hasConceptScore W3141842699C98045186 @default.
- W3141842699 hasLocation W31418426991 @default.
- W3141842699 hasOpenAccess W3141842699 @default.
- W3141842699 hasPrimaryLocation W31418426991 @default.
- W3141842699 hasRelatedWork W1931865259 @default.
- W3141842699 hasRelatedWork W2115706856 @default.
- W3141842699 hasRelatedWork W2179666164 @default.
- W3141842699 hasRelatedWork W2187704572 @default.
- W3141842699 hasRelatedWork W2402804972 @default.
- W3141842699 hasRelatedWork W2405957821 @default.
- W3141842699 hasRelatedWork W2406411715 @default.
- W3141842699 hasRelatedWork W2514915463 @default.
- W3141842699 hasRelatedWork W2731606488 @default.
- W3141842699 hasRelatedWork W2780233402 @default.
- W3141842699 hasRelatedWork W2800800175 @default.
- W3141842699 hasRelatedWork W2808612789 @default.
- W3141842699 hasRelatedWork W2808808949 @default.
- W3141842699 hasRelatedWork W2912428261 @default.
- W3141842699 hasRelatedWork W2972049303 @default.
- W3141842699 hasRelatedWork W3004975554 @default.
- W3141842699 hasRelatedWork W3092961706 @default.
- W3141842699 hasRelatedWork W3121646244 @default.
- W3141842699 hasRelatedWork W84725544 @default.
- W3141842699 hasRelatedWork W91981638 @default.
- W3141842699 isParatext "false" @default.
- W3141842699 isRetracted "false" @default.
- W3141842699 magId "3141842699" @default.
- W3141842699 workType "article" @default.