Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021569683> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2021569683 abstract "This paper presents the design and implementation of an error detection service for multicore real-time in-vehicle embedded systems. The service aims at monitoring the data flows in a graph of communicating real-time tasks and detecting violation of the expected communication patterns. The service is not based on any specific system model. The monitors are automatically generated from formal models of the monitored system and the expected communication patterns. To minimize the time overhead of the service, the monitors are embedded in the RTOS kernel. The implementation targets an AUTOSAR-like platform based on the open-source RTOS Trampoline. Measures made on an ARM7 MCU show that the time and memory overheads are compatible with the stringent constraints of the application domain." @default.
- W2021569683 created "2016-06-24" @default.
- W2021569683 creator A5045010259 @default.
- W2021569683 creator A5062901557 @default.
- W2021569683 creator A5065213782 @default.
- W2021569683 creator A5079733455 @default.
- W2021569683 creator A5081573504 @default.
- W2021569683 date "2012-06-01" @default.
- W2021569683 modified "2023-09-30" @default.
- W2021569683 title "A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR" @default.
- W2021569683 cites W1575809242 @default.
- W2021569683 cites W1980996541 @default.
- W2021569683 cites W2023808162 @default.
- W2021569683 cites W2105903915 @default.
- W2021569683 cites W2113560220 @default.
- W2021569683 cites W2132703197 @default.
- W2021569683 cites W2137302811 @default.
- W2021569683 doi "https://doi.org/10.1109/hpcc.2012.220" @default.
- W2021569683 hasPublicationYear "2012" @default.
- W2021569683 type Work @default.
- W2021569683 sameAs 2021569683 @default.
- W2021569683 citedByCount "15" @default.
- W2021569683 countsByYear W20215696832013 @default.
- W2021569683 countsByYear W20215696832014 @default.
- W2021569683 countsByYear W20215696832015 @default.
- W2021569683 countsByYear W20215696832016 @default.
- W2021569683 countsByYear W20215696832017 @default.
- W2021569683 countsByYear W20215696832018 @default.
- W2021569683 countsByYear W20215696832019 @default.
- W2021569683 countsByYear W20215696832020 @default.
- W2021569683 countsByYear W20215696832021 @default.
- W2021569683 crossrefType "proceedings-article" @default.
- W2021569683 hasAuthorship W2021569683A5045010259 @default.
- W2021569683 hasAuthorship W2021569683A5062901557 @default.
- W2021569683 hasAuthorship W2021569683A5065213782 @default.
- W2021569683 hasAuthorship W2021569683A5079733455 @default.
- W2021569683 hasAuthorship W2021569683A5081573504 @default.
- W2021569683 hasConcept C111919701 @default.
- W2021569683 hasConcept C114614502 @default.
- W2021569683 hasConcept C136264566 @default.
- W2021569683 hasConcept C149635348 @default.
- W2021569683 hasConcept C162324750 @default.
- W2021569683 hasConcept C173018170 @default.
- W2021569683 hasConcept C2777904410 @default.
- W2021569683 hasConcept C2778602020 @default.
- W2021569683 hasConcept C2779960059 @default.
- W2021569683 hasConcept C2780378061 @default.
- W2021569683 hasConcept C28472234 @default.
- W2021569683 hasConcept C33923547 @default.
- W2021569683 hasConcept C41008148 @default.
- W2021569683 hasConcept C74193536 @default.
- W2021569683 hasConcept C79403827 @default.
- W2021569683 hasConceptScore W2021569683C111919701 @default.
- W2021569683 hasConceptScore W2021569683C114614502 @default.
- W2021569683 hasConceptScore W2021569683C136264566 @default.
- W2021569683 hasConceptScore W2021569683C149635348 @default.
- W2021569683 hasConceptScore W2021569683C162324750 @default.
- W2021569683 hasConceptScore W2021569683C173018170 @default.
- W2021569683 hasConceptScore W2021569683C2777904410 @default.
- W2021569683 hasConceptScore W2021569683C2778602020 @default.
- W2021569683 hasConceptScore W2021569683C2779960059 @default.
- W2021569683 hasConceptScore W2021569683C2780378061 @default.
- W2021569683 hasConceptScore W2021569683C28472234 @default.
- W2021569683 hasConceptScore W2021569683C33923547 @default.
- W2021569683 hasConceptScore W2021569683C41008148 @default.
- W2021569683 hasConceptScore W2021569683C74193536 @default.
- W2021569683 hasConceptScore W2021569683C79403827 @default.
- W2021569683 hasLocation W20215696831 @default.
- W2021569683 hasLocation W20215696832 @default.
- W2021569683 hasLocation W20215696833 @default.
- W2021569683 hasOpenAccess W2021569683 @default.
- W2021569683 hasPrimaryLocation W20215696831 @default.
- W2021569683 hasRelatedWork W2092663298 @default.
- W2021569683 hasRelatedWork W2348723723 @default.
- W2021569683 hasRelatedWork W2352866890 @default.
- W2021569683 hasRelatedWork W2358350236 @default.
- W2021569683 hasRelatedWork W2384215838 @default.
- W2021569683 hasRelatedWork W2403725634 @default.
- W2021569683 hasRelatedWork W2474579799 @default.
- W2021569683 hasRelatedWork W2587750318 @default.
- W2021569683 hasRelatedWork W4285304928 @default.
- W2021569683 hasRelatedWork W4313517752 @default.
- W2021569683 isParatext "false" @default.
- W2021569683 isRetracted "false" @default.
- W2021569683 magId "2021569683" @default.
- W2021569683 workType "article" @default.