| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m16c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP8W/39FGQSP | |||
| Repositório | sid.inpe.br/mtc-m18/2011/04.08.21.44 | |||
| Última Atualização | 2011:04.11.14.25.16 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m18/2011/04.08.21.44.14 | |||
| Última Atualização dos Metadados | 2018:06.04.03.55.26 (UTC) administrator | |||
| Chave de Citação | Corsetti:2011:FPFaIn | |||
| Título | FPGA-based fault injection architecture for real time software dependability testing  | |||
| Formato | CD, On-line. | |||
| Ano | 2011 | |||
| Data de Acesso | 14 jun. 2024 | |||
| Tipo Secundário | PRE CI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 242 KiB | |||
| 2. Contextualização | ||||
| Autor | Corsetti, Andre | |||
| Grupo | ETE-ETE-INPE-MCT-BR | |||
| Afiliação | INPE | |||
| Endereço de e-Mail do Autor | andrecor7@gmail.com | |||
| Editor | Ambrosio, Ana Maria Mattiello-Francisco, Maria Fátima Batista, João Camargo Barbosa, Raul Cancela, Héctor | |||
| Endereço de e-Mail | rizesimoes@uol.com.br | |||
| Nome do Evento | Latin-American Symposium on Dependable Computing, 5 (LADC). | |||
| Localização do Evento | São José dos Campos | |||
| Data | 25 - 29 apr. 2011 | |||
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Cidade da Editora | São José dos Campos | |||
| Volume | Suplemental | |||
| Título do Livro | Proceedings | |||
| Organização | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Histórico (UTC) | 2011-04-08 21:44:14 :: rizesimoes@uol.com.br -> administrator :: 2011-04-08 21:55:54 :: administrator -> rizesimoes@uol.com.br :: 2011 2011-04-11 14:25:16 :: rizesimoes@uol.com.br -> administrator :: 2011 2012-04-17 16:48:52 :: administrator -> rizesimoes@uol.com.br :: 2011 2012-04-17 16:52:42 :: rizesimoes@uol.com.br -> administrator :: 2011 2018-06-04 03:55:26 :: administrator -> :: 2011 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | Space subsystem testing fault injection robustness FPGA based architecture | |||
| Resumo | Fault injection is a useful technique for supporting system validation. However, the non intrusiveness of fault injection mechanisms is a challenge for the test architecture. This paper presents a study of fault injection architectures for real time systems testing with focus on dependability attributes. In order to support testing of embedded real-time systems for space applications regarding the use of a complete test methodology, from model building to test generation and automatic test case execution, a FPGA-based fault injection architecture is proposed. The advantages of FPGA-based fault injection architecture are highlighted in a case study which uses a fault injection prototype developed to emulate failures in the communication channel. Fault tolerance is an essential requirement for systems that operate in the harsh space environment. The conception and execution of fault scenarios supported by fault injection mechanisms help the validation of the system behavior regarding dependability attributes like robustness. | |||
| Área | ETES | |||
| Tipo | Student Forum | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGETE > FPGA-based fault injection... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP8W/39FGQSP | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/39FGQSP | |||
| Idioma | en | |||
| Arquivo Alvo | 81476_1.pdf | |||
| Grupo de Usuários | administrator rizesimoes@uol.com.br administrator | |||
| Visibilidade | shown | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | urlib.net/www/2011/03.29.20.55 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3EUUDJE | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.07.21.11 2 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition isbn issn label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor shorttitle sponsor tertiarymark tertiarytype url versiontype | |||