Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004017967> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2004017967 abstract "This paper covers a project that is using functional verification methods to verify a RTCA DO-254/EUROCAE ED80 Level A/B design. These methods include constrained random simulation, design intent specification (designer-added assertions), the total coverage model (unified coverage database), and formal verification (formal model checking). The project is a real design currently being developed at Rockwell Collins. This paper will include a brief description of the project, the methodologies used, why they were chosen, a description of these methods, why they work, and how they're similar or different from other verification methods. This paper will also include a discussion of verification methodology issues that needed attention, and implications to achieving DO-254 certification using verification methods. This paper should be of general interest in the mil-aero community, especially for those with DO-254 compliance requirements, as advanced verification techniques such as constrained random and formal verification have not been the traditional verification methodology." @default.
- W2004017967 created "2016-06-24" @default.
- W2004017967 creator A5052831741 @default.
- W2004017967 creator A5078807793 @default.
- W2004017967 creator A5084302487 @default.
- W2004017967 creator A5089708020 @default.
- W2004017967 date "2008-03-01" @default.
- W2004017967 modified "2023-10-05" @default.
- W2004017967 title "The Use of Advanced Verification Methods to Address DO-254 Design Assurance" @default.
- W2004017967 doi "https://doi.org/10.1109/aero.2008.4526684" @default.
- W2004017967 hasPublicationYear "2008" @default.
- W2004017967 type Work @default.
- W2004017967 sameAs 2004017967 @default.
- W2004017967 citedByCount "9" @default.
- W2004017967 countsByYear W20040179672012 @default.
- W2004017967 countsByYear W20040179672013 @default.
- W2004017967 countsByYear W20040179672020 @default.
- W2004017967 crossrefType "proceedings-article" @default.
- W2004017967 hasAuthorship W2004017967A5052831741 @default.
- W2004017967 hasAuthorship W2004017967A5078807793 @default.
- W2004017967 hasAuthorship W2004017967A5084302487 @default.
- W2004017967 hasAuthorship W2004017967A5089708020 @default.
- W2004017967 hasConcept C110251889 @default.
- W2004017967 hasConcept C111498074 @default.
- W2004017967 hasConcept C115903868 @default.
- W2004017967 hasConcept C127413603 @default.
- W2004017967 hasConcept C142284323 @default.
- W2004017967 hasConcept C17744445 @default.
- W2004017967 hasConcept C186846655 @default.
- W2004017967 hasConcept C199360897 @default.
- W2004017967 hasConcept C199539241 @default.
- W2004017967 hasConcept C201995342 @default.
- W2004017967 hasConcept C21547014 @default.
- W2004017967 hasConcept C2777904410 @default.
- W2004017967 hasConcept C33054407 @default.
- W2004017967 hasConcept C3406870 @default.
- W2004017967 hasConcept C41008148 @default.
- W2004017967 hasConcept C46304622 @default.
- W2004017967 hasConcept C48002344 @default.
- W2004017967 hasConcept C529173508 @default.
- W2004017967 hasConcept C62460635 @default.
- W2004017967 hasConcept C75606506 @default.
- W2004017967 hasConcept C77495112 @default.
- W2004017967 hasConcept C96654402 @default.
- W2004017967 hasConceptScore W2004017967C110251889 @default.
- W2004017967 hasConceptScore W2004017967C111498074 @default.
- W2004017967 hasConceptScore W2004017967C115903868 @default.
- W2004017967 hasConceptScore W2004017967C127413603 @default.
- W2004017967 hasConceptScore W2004017967C142284323 @default.
- W2004017967 hasConceptScore W2004017967C17744445 @default.
- W2004017967 hasConceptScore W2004017967C186846655 @default.
- W2004017967 hasConceptScore W2004017967C199360897 @default.
- W2004017967 hasConceptScore W2004017967C199539241 @default.
- W2004017967 hasConceptScore W2004017967C201995342 @default.
- W2004017967 hasConceptScore W2004017967C21547014 @default.
- W2004017967 hasConceptScore W2004017967C2777904410 @default.
- W2004017967 hasConceptScore W2004017967C33054407 @default.
- W2004017967 hasConceptScore W2004017967C3406870 @default.
- W2004017967 hasConceptScore W2004017967C41008148 @default.
- W2004017967 hasConceptScore W2004017967C46304622 @default.
- W2004017967 hasConceptScore W2004017967C48002344 @default.
- W2004017967 hasConceptScore W2004017967C529173508 @default.
- W2004017967 hasConceptScore W2004017967C62460635 @default.
- W2004017967 hasConceptScore W2004017967C75606506 @default.
- W2004017967 hasConceptScore W2004017967C77495112 @default.
- W2004017967 hasConceptScore W2004017967C96654402 @default.
- W2004017967 hasLocation W20040179671 @default.
- W2004017967 hasOpenAccess W2004017967 @default.
- W2004017967 hasPrimaryLocation W20040179671 @default.
- W2004017967 hasRelatedWork W1539212946 @default.
- W2004017967 hasRelatedWork W1571397347 @default.
- W2004017967 hasRelatedWork W1977710457 @default.
- W2004017967 hasRelatedWork W2065846678 @default.
- W2004017967 hasRelatedWork W2092349522 @default.
- W2004017967 hasRelatedWork W2094307219 @default.
- W2004017967 hasRelatedWork W2096536569 @default.
- W2004017967 hasRelatedWork W2114822090 @default.
- W2004017967 hasRelatedWork W2142070420 @default.
- W2004017967 hasRelatedWork W2144950612 @default.
- W2004017967 hasRelatedWork W2160673756 @default.
- W2004017967 hasRelatedWork W2164892954 @default.
- W2004017967 hasRelatedWork W2240424099 @default.
- W2004017967 hasRelatedWork W2403615896 @default.
- W2004017967 hasRelatedWork W2549863208 @default.
- W2004017967 hasRelatedWork W2550448639 @default.
- W2004017967 hasRelatedWork W2943786731 @default.
- W2004017967 hasRelatedWork W3035582350 @default.
- W2004017967 hasRelatedWork W79733723 @default.
- W2004017967 hasRelatedWork W2166092235 @default.
- W2004017967 isParatext "false" @default.
- W2004017967 isRetracted "false" @default.
- W2004017967 magId "2004017967" @default.
- W2004017967 workType "article" @default.