FRINK Linked Data Fragments server

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

• W2099756544 abstract "System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In particular, in a mixed-criticality system, low criticality applications must be prevented from interfering with high criticality ones. In this paper, we introduce a new design methodology for SoC that provides strong isolation guarantees to applications with different criticalities. A set of certificates describing the assumed application behavior is extracted from a functional Architectural Analysis and Design Language (AADL) specification. Our tools then automatically generate hardware wrappers that enforce at run-time the behavior described by the certificates. In particular, we employ run-time monitoring to formally check all data communication in the system, and we enforce timing reservations for both computation and communication resources. Verification is greatly simplified because certificates are much simpler than the components used to implement low-criticality applications. The effectiveness of our methodology is proven on a case study consisting of a medical pacemaker." @default.
• W2099756544 created "2016-06-24" @default.
• W2099756544 creator A5009578055 @default.
• W2099756544 creator A5035677133 @default.
• W2099756544 creator A5049185168 @default.
• W2099756544 creator A5060442004 @default.
• W2099756544 creator A5067032971 @default.
• W2099756544 creator A5083350271 @default.
• W2099756544 date "2009-10-12" @default.
• W2099756544 modified "2023-10-03" @default.
• W2099756544 title "Handling mixed-criticality in SoC-based real-time embedded systems" @default.
• W2099756544 cites W1825341937 @default.
• W2099756544 cites W1977388811 @default.
• W2099756544 cites W1994584977 @default.
• W2099756544 cites W2016310205 @default.
• W2099756544 cites W2020563325 @default.
• W2099756544 cites W2021696583 @default.
• W2099756544 cites W2021875003 @default.
• W2099756544 cites W2047276559 @default.
• W2099756544 cites W2059902621 @default.
• W2099756544 cites W2088655521 @default.
• W2099756544 cites W2107931052 @default.
• W2099756544 cites W2120538858 @default.
• W2099756544 cites W2122833539 @default.
• W2099756544 cites W2134345746 @default.
• W2099756544 cites W2134429122 @default.
• W2099756544 cites W2137658102 @default.
• W2099756544 cites W2139112519 @default.
• W2099756544 cites W2150408604 @default.
• W2099756544 cites W2150593762 @default.
• W2099756544 cites W2154867660 @default.
• W2099756544 cites W2160146193 @default.
• W2099756544 cites W2165683591 @default.
• W2099756544 cites W4246685210 @default.
• W2099756544 doi "https://doi.org/10.1145/1629335.1629367" @default.
• W2099756544 hasPublicationYear "2009" @default.
• W2099756544 type Work @default.
• W2099756544 sameAs 2099756544 @default.
• W2099756544 citedByCount "66" @default.
• W2099756544 countsByYear W20997565442012 @default.
• W2099756544 countsByYear W20997565442013 @default.
• W2099756544 countsByYear W20997565442014 @default.
• W2099756544 countsByYear W20997565442015 @default.
• W2099756544 countsByYear W20997565442016 @default.
• W2099756544 countsByYear W20997565442017 @default.
• W2099756544 countsByYear W20997565442018 @default.
• W2099756544 countsByYear W20997565442019 @default.
• W2099756544 countsByYear W20997565442020 @default.
• W2099756544 countsByYear W20997565442023 @default.
• W2099756544 crossrefType "proceedings-article" @default.
• W2099756544 hasAuthorship W2099756544A5009578055 @default.
• W2099756544 hasAuthorship W2099756544A5035677133 @default.
• W2099756544 hasAuthorship W2099756544A5049185168 @default.
• W2099756544 hasAuthorship W2099756544A5060442004 @default.
• W2099756544 hasAuthorship W2099756544A5067032971 @default.
• W2099756544 hasAuthorship W2099756544A5083350271 @default.
• W2099756544 hasConcept C111498074 @default.
• W2099756544 hasConcept C118021083 @default.
• W2099756544 hasConcept C120314980 @default.
• W2099756544 hasConcept C121332964 @default.
• W2099756544 hasConcept C125611927 @default.
• W2099756544 hasConcept C149635348 @default.
• W2099756544 hasConcept C177264268 @default.
• W2099756544 hasConcept C185544564 @default.
• W2099756544 hasConcept C199360897 @default.
• W2099756544 hasConcept C2775941552 @default.
• W2099756544 hasConcept C2781124451 @default.
• W2099756544 hasConcept C41008148 @default.
• W2099756544 hasConcept C86803240 @default.
• W2099756544 hasConcept C89423630 @default.
• W2099756544 hasConceptScore W2099756544C111498074 @default.
• W2099756544 hasConceptScore W2099756544C118021083 @default.
• W2099756544 hasConceptScore W2099756544C120314980 @default.
• W2099756544 hasConceptScore W2099756544C121332964 @default.
• W2099756544 hasConceptScore W2099756544C125611927 @default.
• W2099756544 hasConceptScore W2099756544C149635348 @default.
• W2099756544 hasConceptScore W2099756544C177264268 @default.
• W2099756544 hasConceptScore W2099756544C185544564 @default.
• W2099756544 hasConceptScore W2099756544C199360897 @default.
• W2099756544 hasConceptScore W2099756544C2775941552 @default.
• W2099756544 hasConceptScore W2099756544C2781124451 @default.
• W2099756544 hasConceptScore W2099756544C41008148 @default.
• W2099756544 hasConceptScore W2099756544C86803240 @default.
• W2099756544 hasConceptScore W2099756544C89423630 @default.
• W2099756544 hasLocation W20997565441 @default.
• W2099756544 hasOpenAccess W2099756544 @default.
• W2099756544 hasPrimaryLocation W20997565441 @default.
• W2099756544 hasRelatedWork W1799392073 @default.
• W2099756544 hasRelatedWork W2034294722 @default.
• W2099756544 hasRelatedWork W2099756544 @default.
• W2099756544 hasRelatedWork W2149363923 @default.
• W2099756544 hasRelatedWork W2543000764 @default.
• W2099756544 hasRelatedWork W2896111490 @default.
• W2099756544 hasRelatedWork W2990475504 @default.
• W2099756544 hasRelatedWork W4200347197 @default.
• W2099756544 hasRelatedWork W4375946032 @default.
• W2099756544 hasRelatedWork W180768750 @default.
• W2099756544 isParatext "false" @default.
• W2099756544 isRetracted "false" @default.
• W2099756544 magId "2099756544" @default.

• next