Matches in SemOpenAlex for { <https://semopenalex.org/work/W2885752655> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2885752655 abstract "Real-time systems with multiple modes require mode-change protocols (MCPs) to ensure safety during mode transitions. A variety of MCPs are available in the literature; however, it can be difficult to tell which of them is the most suitable for a given application. This is because 1) existing work often evaluates MCPs analytically, without considering platform-specific overheads in a real deployment; 2) experimental evaluations, where available, tend to make very different choices in run-time environments and workloads, which hinders a direct comparison; and 3) practical applications often require at least some customization, which can completely invalidate the analysis and/or experimental evaluation of the underlying MCP. In this paper, we take a first step towards more principled comparisons. We identify a set of fundamental primitives that most MCPs tend to be built on, and we show that a variety of existing MCPs can be formulated by composing these primitives in different ways. We then present SafeMC, a system for specifying and evaluating current and new MCPs. SafeMC provides an easy-to-use specification language, a library of existing MCPs that can be customized by the user, as well as several tools for test generation, automatic evaluation, tracing, and performance analysis. To demonstrate the utlity of SafeMC, we use it to compare the performance of five classical MCPs in Xen. SafeMC is designed to be extensible and reusable, and we hope that it can serve as a building block for future research in this area." @default.
- W2885752655 created "2018-08-22" @default.
- W2885752655 creator A5044382286 @default.
- W2885752655 creator A5059879733 @default.
- W2885752655 date "2018-04-01" @default.
- W2885752655 modified "2023-10-16" @default.
- W2885752655 title "SafeMC: A System for the Design and Evaluation of Mode-Change Protocols" @default.
- W2885752655 cites W1975489240 @default.
- W2885752655 cites W1976199670 @default.
- W2885752655 cites W2010945517 @default.
- W2885752655 cites W2070147935 @default.
- W2885752655 cites W2072712992 @default.
- W2885752655 cites W2094352600 @default.
- W2885752655 cites W2099648702 @default.
- W2885752655 cites W2100257697 @default.
- W2885752655 cites W2116878459 @default.
- W2885752655 cites W2120238284 @default.
- W2885752655 cites W2133142659 @default.
- W2885752655 cites W2166592660 @default.
- W2885752655 cites W2168553665 @default.
- W2885752655 cites W2343071281 @default.
- W2885752655 cites W2540839944 @default.
- W2885752655 cites W2550896038 @default.
- W2885752655 cites W4239180414 @default.
- W2885752655 cites W4241186380 @default.
- W2885752655 doi "https://doi.org/10.1109/rtas.2018.00021" @default.
- W2885752655 hasPublicationYear "2018" @default.
- W2885752655 type Work @default.
- W2885752655 sameAs 2885752655 @default.
- W2885752655 citedByCount "23" @default.
- W2885752655 countsByYear W28857526552019 @default.
- W2885752655 countsByYear W28857526552020 @default.
- W2885752655 countsByYear W28857526552021 @default.
- W2885752655 countsByYear W28857526552022 @default.
- W2885752655 countsByYear W28857526552023 @default.
- W2885752655 crossrefType "proceedings-article" @default.
- W2885752655 hasAuthorship W2885752655A5044382286 @default.
- W2885752655 hasAuthorship W2885752655A5059879733 @default.
- W2885752655 hasConcept C105339364 @default.
- W2885752655 hasConcept C107457646 @default.
- W2885752655 hasConcept C115903868 @default.
- W2885752655 hasConcept C120314980 @default.
- W2885752655 hasConcept C136197465 @default.
- W2885752655 hasConcept C136764020 @default.
- W2885752655 hasConcept C138673069 @default.
- W2885752655 hasConcept C154945302 @default.
- W2885752655 hasConcept C177264268 @default.
- W2885752655 hasConcept C183003079 @default.
- W2885752655 hasConcept C199360897 @default.
- W2885752655 hasConcept C2524010 @default.
- W2885752655 hasConcept C2777210771 @default.
- W2885752655 hasConcept C32833848 @default.
- W2885752655 hasConcept C33923547 @default.
- W2885752655 hasConcept C41008148 @default.
- W2885752655 hasConcept C48677424 @default.
- W2885752655 hasConceptScore W2885752655C105339364 @default.
- W2885752655 hasConceptScore W2885752655C107457646 @default.
- W2885752655 hasConceptScore W2885752655C115903868 @default.
- W2885752655 hasConceptScore W2885752655C120314980 @default.
- W2885752655 hasConceptScore W2885752655C136197465 @default.
- W2885752655 hasConceptScore W2885752655C136764020 @default.
- W2885752655 hasConceptScore W2885752655C138673069 @default.
- W2885752655 hasConceptScore W2885752655C154945302 @default.
- W2885752655 hasConceptScore W2885752655C177264268 @default.
- W2885752655 hasConceptScore W2885752655C183003079 @default.
- W2885752655 hasConceptScore W2885752655C199360897 @default.
- W2885752655 hasConceptScore W2885752655C2524010 @default.
- W2885752655 hasConceptScore W2885752655C2777210771 @default.
- W2885752655 hasConceptScore W2885752655C32833848 @default.
- W2885752655 hasConceptScore W2885752655C33923547 @default.
- W2885752655 hasConceptScore W2885752655C41008148 @default.
- W2885752655 hasConceptScore W2885752655C48677424 @default.
- W2885752655 hasLocation W28857526551 @default.
- W2885752655 hasOpenAccess W2885752655 @default.
- W2885752655 hasPrimaryLocation W28857526551 @default.
- W2885752655 hasRelatedWork W1483490435 @default.
- W2885752655 hasRelatedWork W1998962249 @default.
- W2885752655 hasRelatedWork W2316565485 @default.
- W2885752655 hasRelatedWork W2355215981 @default.
- W2885752655 hasRelatedWork W2507206891 @default.
- W2885752655 hasRelatedWork W2578263869 @default.
- W2885752655 hasRelatedWork W2952657391 @default.
- W2885752655 hasRelatedWork W3151958197 @default.
- W2885752655 hasRelatedWork W4245681215 @default.
- W2885752655 hasRelatedWork W2467097043 @default.
- W2885752655 isParatext "false" @default.
- W2885752655 isRetracted "false" @default.
- W2885752655 magId "2885752655" @default.
- W2885752655 workType "article" @default.