Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003519084> ?p ?o ?g. }
- W2003519084 endingPage "43" @default.
- W2003519084 startingPage "1" @default.
- W2003519084 abstract "Configuration in the domain of Integrated Control Systems (ICS) is largely manual, laborious, and error prone. In this article, we propose a model-based configuration approach that provides automation support for reducing configuration effort and the likelihood of configuration errors in the ICS domain. We ground our approach on component-based specifications of ICS families. We then develop a configuration algorithm using constraint satisfaction techniques over finite domains to generate products that are consistent with respect to their ICS family specifications. We reason about the termination and consistency of our configuration algorithm analytically. We evaluate the effectiveness of our configuration approach by applying it to a real subsea oil production system. Specifically, we have rebuilt a number of existing verified product configurations of our industry partner. Our experience shows that our approach can automatically infer up to 50% of the configuration decisions, and reduces the complexity of making configuration decisions." @default.
- W2003519084 created "2016-06-24" @default.
- W2003519084 creator A5003816017 @default.
- W2003519084 creator A5074393374 @default.
- W2003519084 creator A5078533117 @default.
- W2003519084 date "2014-05-01" @default.
- W2003519084 modified "2023-09-25" @default.
- W2003519084 title "Architecture-Level Configuration of Large-Scale Embedded Software Systems" @default.
- W2003519084 cites W1983392476 @default.
- W2003519084 cites W1984920788 @default.
- W2003519084 cites W2007744038 @default.
- W2003519084 cites W2021700650 @default.
- W2003519084 cites W2032087861 @default.
- W2003519084 cites W2052598892 @default.
- W2003519084 cites W2064025843 @default.
- W2003519084 cites W2067838808 @default.
- W2003519084 cites W2081831278 @default.
- W2003519084 cites W2089381631 @default.
- W2003519084 cites W2113201637 @default.
- W2003519084 cites W2116844130 @default.
- W2003519084 cites W2119284483 @default.
- W2003519084 cites W2121789613 @default.
- W2003519084 cites W2125853721 @default.
- W2003519084 cites W2135432705 @default.
- W2003519084 cites W2142874510 @default.
- W2003519084 cites W2148829258 @default.
- W2003519084 cites W2159090554 @default.
- W2003519084 cites W2171382344 @default.
- W2003519084 cites W2294861651 @default.
- W2003519084 cites W2477378326 @default.
- W2003519084 cites W4229884746 @default.
- W2003519084 cites W80602063 @default.
- W2003519084 cites W92378799 @default.
- W2003519084 doi "https://doi.org/10.1145/2581376" @default.
- W2003519084 hasPublicationYear "2014" @default.
- W2003519084 type Work @default.
- W2003519084 sameAs 2003519084 @default.
- W2003519084 citedByCount "11" @default.
- W2003519084 countsByYear W20035190842014 @default.
- W2003519084 countsByYear W20035190842015 @default.
- W2003519084 countsByYear W20035190842016 @default.
- W2003519084 countsByYear W20035190842018 @default.
- W2003519084 countsByYear W20035190842019 @default.
- W2003519084 countsByYear W20035190842020 @default.
- W2003519084 crossrefType "journal-article" @default.
- W2003519084 hasAuthorship W2003519084A5003816017 @default.
- W2003519084 hasAuthorship W2003519084A5074393374 @default.
- W2003519084 hasAuthorship W2003519084A5078533117 @default.
- W2003519084 hasConcept C10451660 @default.
- W2003519084 hasConcept C111919701 @default.
- W2003519084 hasConcept C115901376 @default.
- W2003519084 hasConcept C120314980 @default.
- W2003519084 hasConcept C121332964 @default.
- W2003519084 hasConcept C127413603 @default.
- W2003519084 hasConcept C134306372 @default.
- W2003519084 hasConcept C149091818 @default.
- W2003519084 hasConcept C154945302 @default.
- W2003519084 hasConcept C15708719 @default.
- W2003519084 hasConcept C168167062 @default.
- W2003519084 hasConcept C186846655 @default.
- W2003519084 hasConcept C199104240 @default.
- W2003519084 hasConcept C199360897 @default.
- W2003519084 hasConcept C200601418 @default.
- W2003519084 hasConcept C201995342 @default.
- W2003519084 hasConcept C2776436953 @default.
- W2003519084 hasConcept C2777737062 @default.
- W2003519084 hasConcept C2777904410 @default.
- W2003519084 hasConcept C31258907 @default.
- W2003519084 hasConcept C33923547 @default.
- W2003519084 hasConcept C36503486 @default.
- W2003519084 hasConcept C36871734 @default.
- W2003519084 hasConcept C41008148 @default.
- W2003519084 hasConcept C78519656 @default.
- W2003519084 hasConcept C78873551 @default.
- W2003519084 hasConcept C97355855 @default.
- W2003519084 hasConceptScore W2003519084C10451660 @default.
- W2003519084 hasConceptScore W2003519084C111919701 @default.
- W2003519084 hasConceptScore W2003519084C115901376 @default.
- W2003519084 hasConceptScore W2003519084C120314980 @default.
- W2003519084 hasConceptScore W2003519084C121332964 @default.
- W2003519084 hasConceptScore W2003519084C127413603 @default.
- W2003519084 hasConceptScore W2003519084C134306372 @default.
- W2003519084 hasConceptScore W2003519084C149091818 @default.
- W2003519084 hasConceptScore W2003519084C154945302 @default.
- W2003519084 hasConceptScore W2003519084C15708719 @default.
- W2003519084 hasConceptScore W2003519084C168167062 @default.
- W2003519084 hasConceptScore W2003519084C186846655 @default.
- W2003519084 hasConceptScore W2003519084C199104240 @default.
- W2003519084 hasConceptScore W2003519084C199360897 @default.
- W2003519084 hasConceptScore W2003519084C200601418 @default.
- W2003519084 hasConceptScore W2003519084C201995342 @default.
- W2003519084 hasConceptScore W2003519084C2776436953 @default.
- W2003519084 hasConceptScore W2003519084C2777737062 @default.
- W2003519084 hasConceptScore W2003519084C2777904410 @default.
- W2003519084 hasConceptScore W2003519084C31258907 @default.
- W2003519084 hasConceptScore W2003519084C33923547 @default.
- W2003519084 hasConceptScore W2003519084C36503486 @default.
- W2003519084 hasConceptScore W2003519084C36871734 @default.