Matches in SemOpenAlex for { <https://semopenalex.org/work/W3166226506> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3166226506 abstract "Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in modern aircraft. The measures taken are meant to reduce the risks of undesired consequences, but have strongly varying costs. Dynamic instrumentation and static analysis are common practices used to automatically find software defects, from strictly non-conforming code constructions to memory corruptions or invalid control flow. LLVM analyser and sanitizer infrastructure, while regularly applied to general-purpose software, originally was not thought to be introduced to heavily restricted environments. In this paper we discuss the specifics of airborne systems with regards to dynamic instrumentation and provide practical considerations to be taken into account for the effective use of general-purpose instrumentation tools. We bring a complete LLVM stack support to JetOS, a prospective onboard real-time operating system currently being developed at ISP RAS in collaboration with GosNIIAS. As an example, we port AddressSanitizer, MemorySanitizer, and UndefinedBehaviorSanitizer and provide the details against the caveats on all relevant sides: a sanitizer, a compiler, and an operating system. In addition we suggest uninvolved optimisations and enhancements to the runtimes to maximise the effects of the tools." @default.
- W3166226506 created "2021-06-22" @default.
- W3166226506 creator A5045921303 @default.
- W3166226506 creator A5080654093 @default.
- W3166226506 date "2018-11-01" @default.
- W3166226506 modified "2023-09-27" @default.
- W3166226506 title "Dynamic Analysis of ARINC 653 RTOS with LLVM" @default.
- W3166226506 cites W145355838 @default.
- W3166226506 cites W1878544538 @default.
- W3166226506 cites W2148662736 @default.
- W3166226506 cites W2493159929 @default.
- W3166226506 cites W2581499137 @default.
- W3166226506 cites W595525492 @default.
- W3166226506 doi "https://doi.org/10.1109/ispras.2018.00009" @default.
- W3166226506 hasPublicationYear "2018" @default.
- W3166226506 type Work @default.
- W3166226506 sameAs 3166226506 @default.
- W3166226506 citedByCount "3" @default.
- W3166226506 countsByYear W31662265062020 @default.
- W3166226506 countsByYear W31662265062022 @default.
- W3166226506 crossrefType "proceedings-article" @default.
- W3166226506 hasAuthorship W3166226506A5045921303 @default.
- W3166226506 hasAuthorship W3166226506A5080654093 @default.
- W3166226506 hasBestOaLocation W31662265062 @default.
- W3166226506 hasConcept C111919701 @default.
- W3166226506 hasConcept C115903868 @default.
- W3166226506 hasConcept C118530786 @default.
- W3166226506 hasConcept C122783720 @default.
- W3166226506 hasConcept C149635348 @default.
- W3166226506 hasConcept C160145156 @default.
- W3166226506 hasConcept C169590947 @default.
- W3166226506 hasConcept C185592680 @default.
- W3166226506 hasConcept C199360897 @default.
- W3166226506 hasConcept C26834552 @default.
- W3166226506 hasConcept C2777904410 @default.
- W3166226506 hasConcept C28472234 @default.
- W3166226506 hasConcept C41008148 @default.
- W3166226506 hasConcept C43617362 @default.
- W3166226506 hasConceptScore W3166226506C111919701 @default.
- W3166226506 hasConceptScore W3166226506C115903868 @default.
- W3166226506 hasConceptScore W3166226506C118530786 @default.
- W3166226506 hasConceptScore W3166226506C122783720 @default.
- W3166226506 hasConceptScore W3166226506C149635348 @default.
- W3166226506 hasConceptScore W3166226506C160145156 @default.
- W3166226506 hasConceptScore W3166226506C169590947 @default.
- W3166226506 hasConceptScore W3166226506C185592680 @default.
- W3166226506 hasConceptScore W3166226506C199360897 @default.
- W3166226506 hasConceptScore W3166226506C26834552 @default.
- W3166226506 hasConceptScore W3166226506C2777904410 @default.
- W3166226506 hasConceptScore W3166226506C28472234 @default.
- W3166226506 hasConceptScore W3166226506C41008148 @default.
- W3166226506 hasConceptScore W3166226506C43617362 @default.
- W3166226506 hasLocation W31662265061 @default.
- W3166226506 hasLocation W31662265062 @default.
- W3166226506 hasOpenAccess W3166226506 @default.
- W3166226506 hasPrimaryLocation W31662265061 @default.
- W3166226506 hasRelatedWork W11554108 @default.
- W3166226506 hasRelatedWork W12159493 @default.
- W3166226506 hasRelatedWork W13420640 @default.
- W3166226506 hasRelatedWork W176621 @default.
- W3166226506 hasRelatedWork W6014166 @default.
- W3166226506 hasRelatedWork W6489764 @default.
- W3166226506 hasRelatedWork W7446981 @default.
- W3166226506 hasRelatedWork W774088 @default.
- W3166226506 hasRelatedWork W7833966 @default.
- W3166226506 hasRelatedWork W9276376 @default.
- W3166226506 isParatext "false" @default.
- W3166226506 isRetracted "false" @default.
- W3166226506 magId "3166226506" @default.
- W3166226506 workType "article" @default.