FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2576281169> ?p ?o ?g. }

• W2576281169 endingPage "279" @default.
• W2576281169 startingPage "260" @default.
• W2576281169 abstract "In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. We illustrate the following three steps of the design approach: (1) definition of a domain-specific taxonomy of architecture styles; (2) design of the software model by applying architectures to enforce the required properties; (3) deadlock-freedom analysis of the resulting model. We provide a taxonomy of architecture styles for satellite on-board software, formally defined by architecture diagrams in the BIP component-based framework. We show how architectures are instantiated from the diagrams and applied to a set of atomic components. Deadlock-freedom of the resulting model is verified using DFinder from the BIP tool-set. We provide additional validation of our approach by using the nuXmv model checker to verify that the properties enforced by the architectures are, indeed, satisfied by the model." @default.
• W2576281169 created "2017-01-26" @default.
• W2576281169 creator A5002757052 @default.
• W2576281169 creator A5015356580 @default.
• W2576281169 creator A5030465732 @default.
• W2576281169 creator A5053395710 @default.
• W2576281169 creator A5073067432 @default.
• W2576281169 creator A5075454664 @default.
• W2576281169 date "2017-01-01" @default.
• W2576281169 modified "2023-10-04" @default.
• W2576281169 title "Architecture-Based Design: A Satellite On-Board Software Case Study" @default.
• W2576281169 cites W1546797988 @default.
• W2576281169 cites W1554303980 @default.
• W2576281169 cites W1570601698 @default.
• W2576281169 cites W1777700276 @default.
• W2576281169 cites W1890639535 @default.
• W2576281169 cites W1928260456 @default.
• W2576281169 cites W1970488655 @default.
• W2576281169 cites W1994679037 @default.
• W2576281169 cites W2013814408 @default.
• W2576281169 cites W2048903680 @default.
• W2576281169 cites W2074028997 @default.
• W2576281169 cites W2095566415 @default.
• W2576281169 cites W2098346263 @default.
• W2576281169 cites W2139842876 @default.
• W2576281169 cites W2162366870 @default.
• W2576281169 cites W2171516295 @default.
• W2576281169 cites W2175855740 @default.
• W2576281169 cites W2185365551 @default.
• W2576281169 cites W2244544521 @default.
• W2576281169 cites W2427044442 @default.
• W2576281169 cites W3151889146 @default.
• W2576281169 cites W35868996 @default.
• W2576281169 doi "https://doi.org/10.1007/978-3-319-57666-4_16" @default.
• W2576281169 hasPublicationYear "2017" @default.
• W2576281169 type Work @default.
• W2576281169 sameAs 2576281169 @default.
• W2576281169 citedByCount "16" @default.
• W2576281169 countsByYear W25762811692017 @default.
• W2576281169 countsByYear W25762811692018 @default.
• W2576281169 countsByYear W25762811692019 @default.
• W2576281169 countsByYear W25762811692020 @default.
• W2576281169 countsByYear W25762811692021 @default.
• W2576281169 crossrefType "book-chapter" @default.
• W2576281169 hasAuthorship W2576281169A5002757052 @default.
• W2576281169 hasAuthorship W2576281169A5015356580 @default.
• W2576281169 hasAuthorship W2576281169A5030465732 @default.
• W2576281169 hasAuthorship W2576281169A5053395710 @default.
• W2576281169 hasAuthorship W2576281169A5073067432 @default.
• W2576281169 hasAuthorship W2576281169A5075454664 @default.
• W2576281169 hasBestOaLocation W25762811692 @default.
• W2576281169 hasConcept C110251889 @default.
• W2576281169 hasConcept C115903868 @default.
• W2576281169 hasConcept C118524514 @default.
• W2576281169 hasConcept C120314980 @default.
• W2576281169 hasConcept C123657996 @default.
• W2576281169 hasConcept C142362112 @default.
• W2576281169 hasConcept C149091818 @default.
• W2576281169 hasConcept C153349607 @default.
• W2576281169 hasConcept C154240960 @default.
• W2576281169 hasConcept C159023740 @default.
• W2576281169 hasConcept C174683762 @default.
• W2576281169 hasConcept C199360897 @default.
• W2576281169 hasConcept C2777904410 @default.
• W2576281169 hasConcept C35869016 @default.
• W2576281169 hasConcept C41008148 @default.
• W2576281169 hasConcept C55356503 @default.
• W2576281169 hasConcept C55439883 @default.
• W2576281169 hasConcept C73219336 @default.
• W2576281169 hasConcept C98025372 @default.
• W2576281169 hasConceptScore W2576281169C110251889 @default.
• W2576281169 hasConceptScore W2576281169C115903868 @default.
• W2576281169 hasConceptScore W2576281169C118524514 @default.
• W2576281169 hasConceptScore W2576281169C120314980 @default.
• W2576281169 hasConceptScore W2576281169C123657996 @default.
• W2576281169 hasConceptScore W2576281169C142362112 @default.
• W2576281169 hasConceptScore W2576281169C149091818 @default.
• W2576281169 hasConceptScore W2576281169C153349607 @default.
• W2576281169 hasConceptScore W2576281169C154240960 @default.
• W2576281169 hasConceptScore W2576281169C159023740 @default.
• W2576281169 hasConceptScore W2576281169C174683762 @default.
• W2576281169 hasConceptScore W2576281169C199360897 @default.
• W2576281169 hasConceptScore W2576281169C2777904410 @default.
• W2576281169 hasConceptScore W2576281169C35869016 @default.
• W2576281169 hasConceptScore W2576281169C41008148 @default.
• W2576281169 hasConceptScore W2576281169C55356503 @default.
• W2576281169 hasConceptScore W2576281169C55439883 @default.
• W2576281169 hasConceptScore W2576281169C73219336 @default.
• W2576281169 hasConceptScore W2576281169C98025372 @default.
• W2576281169 hasLocation W25762811691 @default.
• W2576281169 hasLocation W25762811692 @default.
• W2576281169 hasLocation W25762811693 @default.
• W2576281169 hasOpenAccess W2576281169 @default.
• W2576281169 hasPrimaryLocation W25762811691 @default.
• W2576281169 hasRelatedWork W1552148294 @default.
• W2576281169 hasRelatedWork W1553236483 @default.
• W2576281169 hasRelatedWork W1572055608 @default.
• W2576281169 hasRelatedWork W1576419426 @default.

• next