Matches in SemOpenAlex for { <https://semopenalex.org/work/W2819894625> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2819894625 abstract "The complexity of embedded software and increasing demands on dependability, safety, and security has outpaced the capabilities of current verification and certification methods. In particular traditional verification and certification methods based on manual reviews, process constraints, and testing, which are mandated by current safety standards such as DO-178C [1] and DO-278A [2] for airborne systems and air traffic management systems, ISO 26262 [11] in the automative domain, and IEC 61508 for industrial domains including factory automation and robotics are proving to be overly time- and resource-intensive. For example, costs for developing certification evidence in safety cases according to the DO-178C standard have been shown to range between $50 to $100 per executable line of code, depending on the required safety level [15]. Unless mission-critical embedded software can be developed and verified with less cost and effort, while still satisfying the highest dependability requirements, new mission-critical capabilities such as autonomous control may never reach the market." @default.
- W2819894625 created "2018-07-19" @default.
- W2819894625 creator A5050015090 @default.
- W2819894625 creator A5086773616 @default.
- W2819894625 date "2018-01-01" @default.
- W2819894625 modified "2023-09-23" @default.
- W2819894625 title "Evidential and Continuous Integration of Software Verification Tools" @default.
- W2819894625 cites W1538014561 @default.
- W2819894625 cites W2031311517 @default.
- W2819894625 cites W2091999700 @default.
- W2819894625 cites W2095473904 @default.
- W2819894625 cites W2101442813 @default.
- W2819894625 cites W2109749051 @default.
- W2819894625 cites W2254453904 @default.
- W2819894625 cites W327452528 @default.
- W2819894625 doi "https://doi.org/10.1007/978-3-319-95582-7_45" @default.
- W2819894625 hasPublicationYear "2018" @default.
- W2819894625 type Work @default.
- W2819894625 sameAs 2819894625 @default.
- W2819894625 citedByCount "1" @default.
- W2819894625 countsByYear W28198946252021 @default.
- W2819894625 crossrefType "book-chapter" @default.
- W2819894625 hasAuthorship W2819894625A5050015090 @default.
- W2819894625 hasAuthorship W2819894625A5086773616 @default.
- W2819894625 hasConcept C109905503 @default.
- W2819894625 hasConcept C111919701 @default.
- W2819894625 hasConcept C115901376 @default.
- W2819894625 hasConcept C115903868 @default.
- W2819894625 hasConcept C127413603 @default.
- W2819894625 hasConcept C134306372 @default.
- W2819894625 hasConcept C138267214 @default.
- W2819894625 hasConcept C148493468 @default.
- W2819894625 hasConcept C149091818 @default.
- W2819894625 hasConcept C149635348 @default.
- W2819894625 hasConcept C160145156 @default.
- W2819894625 hasConcept C17744445 @default.
- W2819894625 hasConcept C186846655 @default.
- W2819894625 hasConcept C199539241 @default.
- W2819894625 hasConcept C200601418 @default.
- W2819894625 hasConcept C2777904410 @default.
- W2819894625 hasConcept C31258907 @default.
- W2819894625 hasConcept C33923547 @default.
- W2819894625 hasConcept C36503486 @default.
- W2819894625 hasConcept C41008148 @default.
- W2819894625 hasConcept C46304622 @default.
- W2819894625 hasConcept C77019957 @default.
- W2819894625 hasConcept C78519656 @default.
- W2819894625 hasConceptScore W2819894625C109905503 @default.
- W2819894625 hasConceptScore W2819894625C111919701 @default.
- W2819894625 hasConceptScore W2819894625C115901376 @default.
- W2819894625 hasConceptScore W2819894625C115903868 @default.
- W2819894625 hasConceptScore W2819894625C127413603 @default.
- W2819894625 hasConceptScore W2819894625C134306372 @default.
- W2819894625 hasConceptScore W2819894625C138267214 @default.
- W2819894625 hasConceptScore W2819894625C148493468 @default.
- W2819894625 hasConceptScore W2819894625C149091818 @default.
- W2819894625 hasConceptScore W2819894625C149635348 @default.
- W2819894625 hasConceptScore W2819894625C160145156 @default.
- W2819894625 hasConceptScore W2819894625C17744445 @default.
- W2819894625 hasConceptScore W2819894625C186846655 @default.
- W2819894625 hasConceptScore W2819894625C199539241 @default.
- W2819894625 hasConceptScore W2819894625C200601418 @default.
- W2819894625 hasConceptScore W2819894625C2777904410 @default.
- W2819894625 hasConceptScore W2819894625C31258907 @default.
- W2819894625 hasConceptScore W2819894625C33923547 @default.
- W2819894625 hasConceptScore W2819894625C36503486 @default.
- W2819894625 hasConceptScore W2819894625C41008148 @default.
- W2819894625 hasConceptScore W2819894625C46304622 @default.
- W2819894625 hasConceptScore W2819894625C77019957 @default.
- W2819894625 hasConceptScore W2819894625C78519656 @default.
- W2819894625 hasLocation W28198946251 @default.
- W2819894625 hasOpenAccess W2819894625 @default.
- W2819894625 hasPrimaryLocation W28198946251 @default.
- W2819894625 hasRelatedWork W112919483 @default.
- W2819894625 hasRelatedWork W1539271081 @default.
- W2819894625 hasRelatedWork W1561391507 @default.
- W2819894625 hasRelatedWork W1675592604 @default.
- W2819894625 hasRelatedWork W1860845259 @default.
- W2819894625 hasRelatedWork W1986781660 @default.
- W2819894625 hasRelatedWork W1993590692 @default.
- W2819894625 hasRelatedWork W2042083585 @default.
- W2819894625 hasRelatedWork W2045405410 @default.
- W2819894625 hasRelatedWork W2146737923 @default.
- W2819894625 hasRelatedWork W2171618315 @default.
- W2819894625 hasRelatedWork W2201001608 @default.
- W2819894625 hasRelatedWork W2470775240 @default.
- W2819894625 hasRelatedWork W2511296772 @default.
- W2819894625 hasRelatedWork W2525872829 @default.
- W2819894625 hasRelatedWork W2954541150 @default.
- W2819894625 hasRelatedWork W2997791651 @default.
- W2819894625 hasRelatedWork W312363619 @default.
- W2819894625 hasRelatedWork W3162721539 @default.
- W2819894625 hasRelatedWork W85581717 @default.
- W2819894625 isParatext "false" @default.
- W2819894625 isRetracted "false" @default.
- W2819894625 magId "2819894625" @default.
- W2819894625 workType "book-chapter" @default.