Matches in SemOpenAlex for { <https://semopenalex.org/work/W2150984469> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2150984469 abstract "Interrupt mechanisms are widely used to process multiple concurrent tasks in the software without OS abstraction layer in various cyber physical systems (CPSs), such as space flight control systems. Data races caused by interrupt preemption frequently occur in those systems, leading to unexpected results or even severe system failures. In recent Chinese space projects, many software defects related to data races have been reported. How to detect interrupt based data races is an important issue in the quality assurance for aerospace software. In this paper, we propose a tool named Race Checker that can statically detect data races for interrupt-driven software. Given the source code or binary code of interrupt-driven software, the tool aggressively infers information such as interrupts priority states, interrupt enable states and memory accesses at each program point using our extended interprocedural data flow analysis. With the information above, it identifies the suspicious program points that may lead to data races. Race Checker is explicitly designed to find data race bugs in real-life aerospace software. Up to now, the tool has been applied in aerospace software V&V and found several severe data race bugs that may lead to system failures." @default.
- W2150984469 created "2016-06-24" @default.
- W2150984469 creator A5042461286 @default.
- W2150984469 creator A5053453125 @default.
- W2150984469 creator A5059750606 @default.
- W2150984469 creator A5060439123 @default.
- W2150984469 creator A5061672354 @default.
- W2150984469 date "2011-06-01" @default.
- W2150984469 modified "2023-09-27" @default.
- W2150984469 title "Static Data Race Detection for Interrupt-Driven Embedded Software" @default.
- W2150984469 cites W1568105243 @default.
- W2150984469 cites W1578723138 @default.
- W2150984469 cites W1972544179 @default.
- W2150984469 cites W1982125317 @default.
- W2150984469 cites W2097687957 @default.
- W2150984469 cites W2098151336 @default.
- W2150984469 cites W2100505193 @default.
- W2150984469 cites W2103957752 @default.
- W2150984469 cites W2105391037 @default.
- W2150984469 cites W2124153277 @default.
- W2150984469 cites W2128453996 @default.
- W2150984469 cites W2131195907 @default.
- W2150984469 cites W2144118030 @default.
- W2150984469 cites W2150602145 @default.
- W2150984469 cites W2154557525 @default.
- W2150984469 cites W2161600851 @default.
- W2150984469 cites W3137220996 @default.
- W2150984469 cites W4250366473 @default.
- W2150984469 cites W4256028745 @default.
- W2150984469 doi "https://doi.org/10.1109/ssiri-c.2011.18" @default.
- W2150984469 hasPublicationYear "2011" @default.
- W2150984469 type Work @default.
- W2150984469 sameAs 2150984469 @default.
- W2150984469 citedByCount "10" @default.
- W2150984469 countsByYear W21509844692014 @default.
- W2150984469 countsByYear W21509844692015 @default.
- W2150984469 countsByYear W21509844692017 @default.
- W2150984469 countsByYear W21509844692020 @default.
- W2150984469 countsByYear W21509844692021 @default.
- W2150984469 countsByYear W21509844692022 @default.
- W2150984469 crossrefType "proceedings-article" @default.
- W2150984469 hasAuthorship W2150984469A5042461286 @default.
- W2150984469 hasAuthorship W2150984469A5053453125 @default.
- W2150984469 hasAuthorship W2150984469A5059750606 @default.
- W2150984469 hasAuthorship W2150984469A5060439123 @default.
- W2150984469 hasAuthorship W2150984469A5061672354 @default.
- W2150984469 hasConcept C109905503 @default.
- W2150984469 hasConcept C111919701 @default.
- W2150984469 hasConcept C117447612 @default.
- W2150984469 hasConcept C149635348 @default.
- W2150984469 hasConcept C154488198 @default.
- W2150984469 hasConcept C173018170 @default.
- W2150984469 hasConcept C2777904410 @default.
- W2150984469 hasConcept C28533478 @default.
- W2150984469 hasConcept C41008148 @default.
- W2150984469 hasConcept C41661131 @default.
- W2150984469 hasConcept C529173508 @default.
- W2150984469 hasConceptScore W2150984469C109905503 @default.
- W2150984469 hasConceptScore W2150984469C111919701 @default.
- W2150984469 hasConceptScore W2150984469C117447612 @default.
- W2150984469 hasConceptScore W2150984469C149635348 @default.
- W2150984469 hasConceptScore W2150984469C154488198 @default.
- W2150984469 hasConceptScore W2150984469C173018170 @default.
- W2150984469 hasConceptScore W2150984469C2777904410 @default.
- W2150984469 hasConceptScore W2150984469C28533478 @default.
- W2150984469 hasConceptScore W2150984469C41008148 @default.
- W2150984469 hasConceptScore W2150984469C41661131 @default.
- W2150984469 hasConceptScore W2150984469C529173508 @default.
- W2150984469 hasLocation W21509844691 @default.
- W2150984469 hasOpenAccess W2150984469 @default.
- W2150984469 hasPrimaryLocation W21509844691 @default.
- W2150984469 hasRelatedWork W1487950196 @default.
- W2150984469 hasRelatedWork W2187777974 @default.
- W2150984469 hasRelatedWork W2349366142 @default.
- W2150984469 hasRelatedWork W2349471271 @default.
- W2150984469 hasRelatedWork W2372147067 @default.
- W2150984469 hasRelatedWork W2375933392 @default.
- W2150984469 hasRelatedWork W2385760924 @default.
- W2150984469 hasRelatedWork W2392245654 @default.
- W2150984469 hasRelatedWork W2904693149 @default.
- W2150984469 hasRelatedWork W29255946 @default.
- W2150984469 isParatext "false" @default.
- W2150984469 isRetracted "false" @default.
- W2150984469 magId "2150984469" @default.
- W2150984469 workType "article" @default.