1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/3ARNG63 |
Repositório | dpi.inpe.br/plutao/2011/11.23.18.47.43 |
Última Atualização | 2012:01.27.13.09.23 (UTC) secretaria.cpa@dir.inpe.br |
Repositório de Metadados | dpi.inpe.br/plutao/2011/11.23.18.47.44 |
Última Atualização dos Metadados | 2021:02.03.17.56.51 (UTC) administrator |
DOI | 10.1109/DASC.2011.6096074 |
ISBN | 978-1-61284-797-9 |
ISSN | 2155-7195 |
Rótulo | lattes: 2442951597646811 1 RamosSilCosColOli:2011:MoCoRe |
Chave de Citação | RamosSilCosColOli:2011:MoCoRe |
Título | Modeling Conflicts Resolution of Unmanned Aircraft System Using a Lightweight Duration Calculus |
Formato | Papel |
Ano | 2011 |
Data de Acesso | 26 abr. 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 456 KiB |
|
2. Contextualização | |
Autor | 1 Ramos, Diogo Branquinho 2 Silva, Rovedy Aparecida Busquim e 3 Costa, Inaldo Capistrano 4 Colonese, Emília de Menezes 5 Oliveira, José Maria Parente de |
Grupo | 1 LIT-LIT-INPE-MCT-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Aeronautics Institute of Technology (ITA) Pç. Mal. Eduardo Gomes, 50, São José dos Campos, SP, Brazil 3 Aeronautics Institute of Technology (ITA) Pç. Mal. Eduardo Gomes, 50, São José dos Campos, SP, Brazil 4 Aeronautics Institute of Technology (ITA) Pç. Mal. Eduardo Gomes, 50, São José dos Campos, SP, Brazil 5 Aeronautics Institute of Technology (ITA) Pç. Mal. Eduardo Gomes, 50, São José dos Campos, SP, Brazil |
Endereço de e-Mail do Autor | 1 diogobranquinho@gmail.com |
Endereço de e-Mail | diogobranquinho@gmail.com |
Nome do Evento | IEEE/AIAA Digital Avionics Systems Conference, 30 (DASC). |
Localização do Evento | Seattle, WA |
Data | 16-20 Oct.2011 |
Páginas | 5A6-1 - 5A6-9 |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2011-11-24 11:03:16 :: lattes -> secretaria.cpa@dir.inpe.br :: 2011 2012-01-27 13:09:23 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011 2021-02-03 17:56:51 :: administrator -> marciana :: 2011 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Palavras-Chave | Adaptation models Analytical models Atmospheric modeling Automata Calculus Monitoring Real time systems |
Resumo | Over the last two decades, an interesting area of Brazilian military and civil sectors is the Unmanned Aircraft Vehicle (UAV) development. This article tackles the modeling of conflicts resolution of Unmanned Aircraft System (UAS) using a lightweight Duration Calculus (DC) to verify if the temporal specification and design of the system is correct and to ensure formally that the system implementation meets all its requirements. Moreover, the article proposes a formal modeling (using DC) of a conflicts resolutions set of rules, adapted from Free Flight concept in Communications, Navigation and Surveillance/Air Traffic Management (CNS/ATM). In the adapted approach to UAS, each UAV is surrounded by an imaginary space of two cylinders, which form, respectively, the protected zone and the alert zone. The major contribution of this article is structuring a new scenario application of the conflicts resolution to UAS through formal modeling, using the DC technique to confirm that the models could be implemented without deadlocks and unreachable states, as well as with satisfaction of temporal restrictions. Furthermore, this work uses the state-of-the-art practices in formal methods, including a model checking tool to ensuring correct real-time requirements specification of a real-time critical system. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Modeling Conflicts Resolution... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/3ARNG63 |
URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/3ARNG63 |
Idioma | en |
Arquivo Alvo | 06096074.pdf |
Grupo de Usuários | lattes secretaria.cpa@dir.inpe.br |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/444BQ9E |
Lista de Itens Citando | sid.inpe.br/bibdigital/2021/01.30.18.11 2 |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition editor lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|