Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010372871> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2010372871 abstract "Real Time Operating System (RTOS) is a critical component of embedded systems. International standards such as IEC60880 used for development of Instrumentation and Control (I&C) system in nuclear power plants require rigorous qualification of all software components. In this paper, we describe our experience in qualification of ESOS; an in-house configured RTOS from a commercial RTOS available with source code. The qualification activities include static & dynamic analysis, timing analysis and rigorous program analysis. We discuss how rigorous program analysis was used to uncover a subtle bug in the implementation." @default.
- W2010372871 created "2016-06-24" @default.
- W2010372871 creator A5004096296 @default.
- W2010372871 creator A5054403251 @default.
- W2010372871 creator A5067355283 @default.
- W2010372871 creator A5085907661 @default.
- W2010372871 date "2013-02-21" @default.
- W2010372871 modified "2023-10-16" @default.
- W2010372871 title "Experience with testing and rigorous program analysis for qualification of RTOS" @default.
- W2010372871 cites W2043100293 @default.
- W2010372871 cites W2108641743 @default.
- W2010372871 cites W2129538349 @default.
- W2010372871 cites W3100198463 @default.
- W2010372871 doi "https://doi.org/10.1145/2442754.2442767" @default.
- W2010372871 hasPublicationYear "2013" @default.
- W2010372871 type Work @default.
- W2010372871 sameAs 2010372871 @default.
- W2010372871 citedByCount "0" @default.
- W2010372871 crossrefType "proceedings-article" @default.
- W2010372871 hasAuthorship W2010372871A5004096296 @default.
- W2010372871 hasAuthorship W2010372871A5054403251 @default.
- W2010372871 hasAuthorship W2010372871A5067355283 @default.
- W2010372871 hasAuthorship W2010372871A5085907661 @default.
- W2010372871 hasConcept C111919701 @default.
- W2010372871 hasConcept C115903868 @default.
- W2010372871 hasConcept C118530786 @default.
- W2010372871 hasConcept C121332964 @default.
- W2010372871 hasConcept C127413603 @default.
- W2010372871 hasConcept C149635348 @default.
- W2010372871 hasConcept C168167062 @default.
- W2010372871 hasConcept C199360897 @default.
- W2010372871 hasConcept C200601418 @default.
- W2010372871 hasConcept C2777904410 @default.
- W2010372871 hasConcept C28472234 @default.
- W2010372871 hasConcept C41008148 @default.
- W2010372871 hasConcept C43126263 @default.
- W2010372871 hasConcept C97355855 @default.
- W2010372871 hasConcept C98183937 @default.
- W2010372871 hasConceptScore W2010372871C111919701 @default.
- W2010372871 hasConceptScore W2010372871C115903868 @default.
- W2010372871 hasConceptScore W2010372871C118530786 @default.
- W2010372871 hasConceptScore W2010372871C121332964 @default.
- W2010372871 hasConceptScore W2010372871C127413603 @default.
- W2010372871 hasConceptScore W2010372871C149635348 @default.
- W2010372871 hasConceptScore W2010372871C168167062 @default.
- W2010372871 hasConceptScore W2010372871C199360897 @default.
- W2010372871 hasConceptScore W2010372871C200601418 @default.
- W2010372871 hasConceptScore W2010372871C2777904410 @default.
- W2010372871 hasConceptScore W2010372871C28472234 @default.
- W2010372871 hasConceptScore W2010372871C41008148 @default.
- W2010372871 hasConceptScore W2010372871C43126263 @default.
- W2010372871 hasConceptScore W2010372871C97355855 @default.
- W2010372871 hasConceptScore W2010372871C98183937 @default.
- W2010372871 hasLocation W20103728711 @default.
- W2010372871 hasOpenAccess W2010372871 @default.
- W2010372871 hasPrimaryLocation W20103728711 @default.
- W2010372871 hasRelatedWork W1969005634 @default.
- W2010372871 hasRelatedWork W2357070755 @default.
- W2010372871 hasRelatedWork W2384215838 @default.
- W2010372871 hasRelatedWork W2385167787 @default.
- W2010372871 hasRelatedWork W2386275106 @default.
- W2010372871 hasRelatedWork W2387928968 @default.
- W2010372871 hasRelatedWork W2608157261 @default.
- W2010372871 hasRelatedWork W4297808709 @default.
- W2010372871 hasRelatedWork W850505034 @default.
- W2010372871 hasRelatedWork W2337478844 @default.
- W2010372871 isParatext "false" @default.
- W2010372871 isRetracted "false" @default.
- W2010372871 magId "2010372871" @default.
- W2010372871 workType "article" @default.