Matches in SemOpenAlex for { <https://semopenalex.org/work/W2522642979> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2522642979 endingPage "273" @default.
- W2522642979 startingPage "255" @default.
- W2522642979 abstract "Simulation is a favoured technique for analysis of cyber-physical systems. With their increase in complexity, co-simulation, which involves the coordinated use of heterogeneous models and tools, has become widespread. An industry standard, FMI, has been developed to support orchestration; we provide the first behavioural semantics of FMI. We use the state-rich process algebra, ({{textsf {textit{Circus}}}}), to present our modelling approach, and indicate how models can be automatically generated from a description of the individual simulations and their dependencies. We illustrate the work using three algorithms for orchestration. A stateless version of the models can be verified using model checking via translation to CSP. With that, we can prove important properties of these algorithms, like termination and determinism, for example. We also show that the example provided in the FMI standard is not a valid algorithm." @default.
- W2522642979 created "2016-09-30" @default.
- W2522642979 creator A5006626759 @default.
- W2522642979 creator A5035713848 @default.
- W2522642979 creator A5073408099 @default.
- W2522642979 date "2016-01-01" @default.
- W2522642979 modified "2023-09-23" @default.
- W2522642979 title "Behavioural Models for FMI Co-simulations" @default.
- W2522642979 cites W1164721860 @default.
- W2522642979 cites W1509749908 @default.
- W2522642979 cites W1544240048 @default.
- W2522642979 cites W1882160752 @default.
- W2522642979 cites W1976054113 @default.
- W2522642979 cites W1988123937 @default.
- W2522642979 cites W2008630245 @default.
- W2522642979 cites W2035142260 @default.
- W2522642979 cites W2077099824 @default.
- W2522642979 cites W2077325003 @default.
- W2522642979 cites W2080864228 @default.
- W2522642979 cites W2080988723 @default.
- W2522642979 cites W2126076922 @default.
- W2522642979 cites W2128510433 @default.
- W2522642979 cites W214267840 @default.
- W2522642979 cites W2569046096 @default.
- W2522642979 cites W4231335741 @default.
- W2522642979 cites W4244819751 @default.
- W2522642979 cites W4250541354 @default.
- W2522642979 doi "https://doi.org/10.1007/978-3-319-46750-4_15" @default.
- W2522642979 hasPublicationYear "2016" @default.
- W2522642979 type Work @default.
- W2522642979 sameAs 2522642979 @default.
- W2522642979 citedByCount "7" @default.
- W2522642979 countsByYear W25226429792016 @default.
- W2522642979 countsByYear W25226429792017 @default.
- W2522642979 countsByYear W25226429792018 @default.
- W2522642979 countsByYear W25226429792021 @default.
- W2522642979 countsByYear W25226429792022 @default.
- W2522642979 crossrefType "book-chapter" @default.
- W2522642979 hasAuthorship W2522642979A5006626759 @default.
- W2522642979 hasAuthorship W2522642979A5035713848 @default.
- W2522642979 hasAuthorship W2522642979A5073408099 @default.
- W2522642979 hasBestOaLocation W25226429792 @default.
- W2522642979 hasConcept C15744967 @default.
- W2522642979 hasConcept C39432304 @default.
- W2522642979 hasConceptScore W2522642979C15744967 @default.
- W2522642979 hasConceptScore W2522642979C39432304 @default.
- W2522642979 hasLocation W25226429791 @default.
- W2522642979 hasLocation W25226429792 @default.
- W2522642979 hasOpenAccess W2522642979 @default.
- W2522642979 hasPrimaryLocation W25226429791 @default.
- W2522642979 hasRelatedWork W2039952445 @default.
- W2522642979 hasRelatedWork W2067108088 @default.
- W2522642979 hasRelatedWork W2138503431 @default.
- W2522642979 hasRelatedWork W2528173759 @default.
- W2522642979 hasRelatedWork W2593830474 @default.
- W2522642979 hasRelatedWork W2748952813 @default.
- W2522642979 hasRelatedWork W2765597752 @default.
- W2522642979 hasRelatedWork W2789488587 @default.
- W2522642979 hasRelatedWork W2899084033 @default.
- W2522642979 hasRelatedWork W3049356719 @default.
- W2522642979 isParatext "false" @default.
- W2522642979 isRetracted "false" @default.
- W2522642979 magId "2522642979" @default.
- W2522642979 workType "book-chapter" @default.