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/39FGS65 |
Repositório | sid.inpe.br/mtc-m18/2011/04.08.21.59 |
Última Atualização | 2011:04.08.21.59.45 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m18/2011/04.08.21.59.45 |
Última Atualização dos Metadados | 2018:06.04.03.55.26 (UTC) administrator |
Chave de Citação | Kucinskis:2011:VaReDe |
Título | Validation of Reasoning and Decision-Making of a Satellite Autonomous On-board Software |
Formato | CD, On-line. |
Ano | 2011 |
Data de Acesso | 25 abr. 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 146 KiB |
|
2. Contextualização | |
Autor | Kucinskis, Fabrício de Novaes |
Grupo | DEA-ETE-INPE-MCT-BR |
Afiliação | INPE |
Endereço de e-Mail do Autor | fabricio@dea.inpe.br |
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:59:45 :: rizesimoes@uol.com.br -> administrator :: 2012-04-17 16:48:59 :: 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 |
Resumo | We have been working at INPE on the concept of goal-based operations. This means commanding our satellites through goals (i.e. "take pictures of 'x' place, store them and send me later"), instead of sequences of commands. When receiving a goal, the satellite reasons to convert it to the appropriate commands. Goal-based operations involve the increase of the satellite's autonomy. To accomplish this, we are developing an on-board service that manages a knowledge base, and a replanning application that reasons over this knowledge to decide the best way to achieve a goal. However, autonomous applications present a challenge for validation: how can one validate a system that is made to take actions that would be expected from a human operator? This paper describes a work in progress on the increase of the operational autonomy of INPEs satellites, and presents our concerns and approach regarding the validation of the autonomous on-board software. |
Área | ETES |
Tipo | Student Forum |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDEA > Validation of Reasoning... |
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/39FGS65 |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/39FGS65 |
Idioma | en |
Arquivo Alvo | 82071_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/3F6GF6B |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/11.04.22.00 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 keywords 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 |
|