Fault-Tree Generation for Embedded Software Implementing Dual-Path Checking

Autor:	Barbara J. Czerny, Joseph G. D'Ambrosio, Arkadeb Ghosal
Rok vydání:	2011
Předmět:	Fault tree analysis Embedded software Computer architecture Computer science business.industry Package development process Avionics software Software verification and validation DUAL (cognitive architecture) business Computer hardware PATH (variable)
Zdroj:	SAE Technical Paper Series.
ISSN:	0148-7191
DOI:	10.4271/2011-01-1004
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::169ddbe66df1cf059595c58a85c109fe https://doi.org/10.4271/2011-01-1004 Zobrazit plný text záznamu