Resultado da Pesquisa
A expressão de busca foi <secondaryty ci and firstg lit and y 2011 and is * and ref conference>.
6 referências encontradas buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 26/04/2024 18:35.
1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3AFL4LS
Repositóriodpi.inpe.br/plutao/2011/09.22.17.19
Última Atualização2021:03.02.12.38.44 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2011/09.22.17.19.12
Última Atualização dos Metadados2021:03.02.12.38.45 (UTC) marciana
ISBN9781937076009
Rótulolattes: 7824447045520901 2 AlarcónLour:2011:SyCoEn
Chave de CitaçãoAlarcónLour:2011:SyCoEn
TítuloSystems concurrent engineering of a green car
FormatoDVD
Ano2011
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho2176 KiB
2. Contextualização
Autor1 Alarcón, Javier Efrain Gonzales
2 Loureiro, Geilson
Grupo1
2 LIT-LIT-INPE-MCT-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 geilson@lit.inpe.br
Endereço de e-Mailgeilson@lit.inpe.br
Nome do Evento21st Annual INCOSE International Symposium
Localização do EventoDenver Seattle, USA
Data2011
Editora (Publisher)INCOSE
Título do LivroProceedings
Tipo TerciárioPaper
Histórico (UTC)2011-09-23 14:11:17 :: lattes -> secretaria.cpa@dir.inpe.br :: 2011
2011-09-28 12:55:14 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011
2021-02-03 17:56:49 :: administrator -> marciana :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Palavras-ChaveEngenharia de Sistemas
Engenharia Simultânea
Arquitetura de sistemas
Desenvolvimento Integrado de Produto
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Systems concurrent engineering...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/J8LNKAN8RW/3AFL4LS
URL dos dados zipadoshttp://urlib.net/zip/J8LNKAN8RW/3AFL4LS
Idiomaen
Arquivo Alvoalarcon_systems.pdf
Grupo de Usuárioslattes
secretaria.cpa@dir.inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/444BQ9E
URL (dados não confiáveis)http://www.incose.org
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
NotasSetores de Atividade: Indústrias de Transformação, Administração pública, defesa e seguridade social.
Informações Adicionais: In this paper we present the systems concurrent engineering approach to the development of complex products for the automotive industry having as a product a "green car . Traditional approaches focus on the product, the organizational development and product concepts of operation (CONOPS). This approach is the integration of the Systems Engineering and Concurrent Engineering approaches. Systems Engineering is a multidisciplinary and collaborative engineering approach for deriving, evolving and verifying a system solution, balanced throughout its life cycle, and that meets the expectations of stakeholders and public acceptance. Concurrent Engineering is an engineering approach that anticipates, to the initial stages of development, the product requirements from the life cycle processes such as manufacturing, assembly, testing, maintenance and logistics and disposal of the product. This paper presents the approach of Systems Concurrent Engineering. Systems concurrent engineering acknowledges that the system solution is comprised of product and organization elements. Each product life cycle concept is thought from the outset and using a top-down approach, from the product context at a given life cycle process scenario. The systems concurrent engineering approach includes in the scope of development effort, not only the development organization, but also the other life cycle processes that a given development organization performs. The approach is exemplified using the case of the development of a green car , a car that is environmentally friendly..
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor issn lineage mark mirrorrepository nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type versiontype volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3BAD5D5
Repositóriodpi.inpe.br/plutao/2012/02.03.10.53
Última Atualização2012:04.17.12.12.34 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2012/02.03.10.53.56
Última Atualização dos Metadados2021:02.11.18.16.02 (UTC) administrator
Chave SecundáriaINPE--PRE/
ISSN2236-26-6
Rótulolattes: 9889362725920837 1 AzevedoCostCout:2011:InStBl
Chave de CitaçãoAlmeidaSouz:2011:PrReA
TítuloPreliminary results of an "a posteriori" application of a requirements traceability automation tool to a set of documents of a satellite project
FormatoDVD
Ano2011
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho1675 KiB
2. Contextualização
Autor1 Almeida, Mario Celso Padovan de
2 Souza, Marcelo Lopes de Oliveira e
Grupo1 LIT-LIT-INPE-MCT-BR
2 DMC-ETE-INPE-MCT-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2
Endereço de e-Mailclaudia@lcp.inpe.br
Nome do EventoWorkshop em Engenharia e Tecnologia Espaciais, 2 (WETE).
Localização do EventoSão José dos Campos
Data3-4 maio
Editora (Publisher)INPE
Cidade da EditoraSão José dos Campos
Título do LivroAnais
OrganizaçãoINPE
Histórico (UTC)2012-04-17 12:12:34 :: marciana -> administrator :: 2011
2021-02-11 18:16:02 :: administrator -> marciana :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveEngenharia e Gerenciamento em Sistemas Espaciais
Requirements Traceability
Space Systems Engineering
ResumoThis paper presents the preliminary results of an "a posteriori" application of a Requirements Traceability Automation Tool to a set of documents of a satellite project. The documents were prepared with attention to text quality rigorously according to established Space System Engineering methodologies, but without attention to requirements traceability. This study is intended to determine some of the benefits of using a Requirements Traceability tool when compared with the previously used processes and methodologies. A summary of the status of the study and examples of requirements problems are presented. Up to now, the study has definitely demonstrated that the use of an automation tool, regardless of its functionalities, brings several advantages to the project .
ÁreaCOMB
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Preliminary results of...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDMC > Preliminary results of...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/02/2012 08:53 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/J8LNKAN8RW/3BAD5D5
URL dos dados zipadoshttp://urlib.net/zip/J8LNKAN8RW/3BAD5D5
Idiomaen
Arquivo Alvo1323.pdf
Grupo de Usuárioslattes
marciana
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGP7W/3E9SLB5
8JMKD3MGPCW/444BQ9E
8JMKD3MGPCW/446AF4B
Lista de Itens Citandosid.inpe.br/mtc-m19/2013/06.12.14.47 3
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn lineage mark mirrorrepository nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3A4D9HE
Repositóriosid.inpe.br/mtc-m19/2011/07.15.12.11
Última Atualização2018:08.24.13.33.54 (UTC) marciana
Repositório de Metadadossid.inpe.br/mtc-m19/2011/07.15.12.11.21
Última Atualização dos Metadados2021:02.03.17.57.51 (UTC) administrator
Chave SecundáriaINPE--PRE/
DOI10.1007/978-0-85729-799-0_6
ISBN0.1007/978-0-85729-799-0_6
Rótuloself-archiving-INPE-MCTIC-GOV-BR
Chave de CitaçãoFolladorFollSantLour:2011:SyCoEn
TítuloSystems Concurrent Engineering of a Hypersonic Accelerator Vehicle
Ano2011
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho2831 KiB
2. Contextualização
Autor1 Follador, Roberto da Cunha
2 Follador, Andrea de Oliveira Netto
3 Santos, Paloma Ribeiro dos
4 Loureiro, Geilson
Grupo1
2
3
4 LIT-LIT-INPE-MCT-BR
Afiliação1 Instituto Tecnológico de Aeronáutica - ITA, Praça Marechal Eduardo Gomes, 50 Vila das Acácias, CEP 12228-900, São José dos Campos SP, Brazil
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
EditorFrery, D. D.
Fukuda, Shuichi
Rock, Georg
Endereço de e-Mailsecretaria.cpa@dir.inpe.br
Nome do EventoImproving Complex Systems Today: ISPE International Conference on Concurrent Engineering, 18.
Localização do EventoMassachusetts
Data2011
Editora (Publisher)Springer-Verlag
Cidade da EditoraLondon
VolumeAdvanced Concurrent Engineering, Part 1
Páginas55-63
Título do LivroProceedings
Tipo TerciárioOral Technical Session
Histórico (UTC)2012-01-27 12:03:41 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011
2018-06-05 04:24:33 :: administrator -> marciana :: 2011
2018-08-24 13:33:55 :: marciana -> administrator :: 2011
2021-02-03 17:57:51 :: administrator -> marciana :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveSystems concurrent engineering - Systems engineering - Complex product - Integrated product development - Hypersonic
ResumoThis paper presents a systems concurrent engineering approach for the conception of a Hypersonic Accelerator Vehicle (Veículo Acelerador Hipersônico -VAH) to be used in the flight test campaign of the first Brazilian Aerospace Hypersonic Vehicle named 14-X. The 14-X project objective is to develop a higher efficient satellite launch alternative, using a Supersonic Combustion Ramjet (SCRAMJET) engine for its propulsion. As it is a new technology under development and using systems concurrent engineering approach it is possible to perform stakeholder analysis, requirements analysis, functional analysis and implementation architecture analysis, for product and organization simultaneously. From the analysis, requirements and attributes are captured for the product and its organizations and the relationship among them are identified. Requirements to the early stages were based on anticipation of the needs identified for different life cycle process and then late changes are expected to be avoided, reducing development costs, avoiding delays and risks and increasing satisfaction of stakeholders over product life cycle.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Systems Concurrent Engineering...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 15/07/2011 09:11 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3A4D9HE
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3A4D9HE
Idiomaen
Arquivo Alvofollador_systems.pdf
Grupo de Usuáriossecretaria.cpa@dir.inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/444BQ9E
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition electronicmailaddress format issn lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url
7. Controle da descrição
e-Mail (login)marciana
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3A4DCJL
Repositóriosid.inpe.br/mtc-m19/2011/07.15.12.48
Última Atualização2018:08.24.13.35.12 (UTC) marciana
Repositório de Metadadossid.inpe.br/mtc-m19/2011/07.15.12.48.55
Última Atualização dos Metadados2021:02.03.17.57.52 (UTC) administrator
Chave SecundáriaINPE--PRE/
DOI10.1007/978-0-85729-799-0_8
ISBN978-0-85729-799-0
Rótuloself-archiving-INPE-MCTIC-GOV-BR
Chave de CitaçãoGarbiLour:2011:PeNeSy
TítuloPetri Nets for Systems Concurrent Engineereing
Ano2011
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho3444 KiB
2. Contextualização
Autor1 Garbi, Giuliani Paulineli
2 Loureiro, Geilson
Grupo1
2 LIT-LIT-INPE-MCT-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
EditorFrey, Daniel D.
Fukuda, Shuichi
Rock, Georg
Endereço de e-Mailsecretaria.cpa@dir.inpe.br
Nome do EventoImproving Complex Systems Today: ISPE International Conference on Concurrent Engineering, 18.
Localização do EventoMassachusetts
Data2011
Editora (Publisher)Springer-Verlag
Cidade da EditoraLondon
VolumeAdvanced Concurrent Engineering, Part 1
Páginas75-82
Título do LivroProceedings
Histórico (UTC)2012-01-27 12:43:25 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011
2018-06-05 04:24:33 :: administrator -> marciana :: 2011
2018-08-24 13:35:13 :: marciana -> administrator :: 2011
2021-02-03 17:57:52 :: administrator -> marciana :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveSystems Concurrent Engineering - Petri Nets - Systems Engineering Process - Concurrent Engineering - System Architecture
ResumoThe paper proposes a generic model to represent the workflow based on Petri Nets theory of the activities used in the Systems Concurrent Engineering process and to use Petri Nets to support decision making when architecting a complex system. Systems Concurrent Engineering is a method that integrates systems engineering and concurrent engineering in the same integrated product development framework. The framework is applicable to the development of complex products. The properties of the Petri Nets allow the design of the generic model through formal language, semantic formalism and techniques to supporting analysis of process and architecture performance through graphical and algebric tools. Currently to maintain the competitiveness the main productive segments must seek to apply methods to innovate and develop their complex products and services with lower costs, improved productivity and quality, and in less time. Addressing the needs of productive segments, the paper presents a generic model to support and encourage the development of complex products and services. The main benefit of the generic model is that despite the actual various ways of implementing a system and of performing the systems concurrent engineering process, Petri Nets would allow to assess the process and architecture alternatives at very early stages of a complex product development process, based only on the process and product Petri Net models.
ÁreaETES
Arranjourlib.net > Fonds > Produção anterior à 2021 > COLIT > Petri Nets for...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 15/07/2011 09:48 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3A4DCJL
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3A4DCJL
Idiomaen
Arquivo Alvogarbi_petri.pdf
Grupo de Usuáriossecretaria.cpa@dir.inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/444BQ9E
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition electronicmailaddress format issn lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url
7. Controle da descrição
e-Mail (login)marciana
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3AFL5CC
Repositóriodpi.inpe.br/plutao/2011/09.22.17.27.19
Última Atualização2021:03.12.14.04.26 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2011/09.22.17.27.20
Última Atualização dos Metadados2021:03.12.14.04.26 (UTC) marciana
DOI10.1007/978-0-85729-799-0
ISBN9780857297983
Rótulolattes: 5999508530411247 1 LeiteOlivLour:2011:UsStTo
Chave de CitaçãoLeiteOlivLour:2011:UsStTo
TítuloUse of Structured Total Approach in Developing a System for Emergency Power Generation for Aircraft with Fly by Wire
FormatoPapel
Ano2011
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho438 KiB
2. Contextualização
Autor1 Leite, Dinah Eluze Sales
2 Oliveira, José Lourenço de
3 Loureiro, Geilson
Grupo1
2
3 LIT-LIT-INPE-MCT-BR
Afiliação1
2
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 salesleite@gmail.com
EditorFrery, D. D.
Fukuda, Shuichi
Rock, Georg
Endereço de e-Mailsalesleite@gmail.com
Nome do EventoImproving Complex Systems Today: ISPE International Conference on Concurrent Engineering, 18.
Localização do EventoMassashusetts
Data2011
Editora (Publisher)Springer Verlag
Cidade da EditoraLondon
VolumeAdvanced Concurrent Engineering, Part 1
Páginas21-28
Título do LivroProceedings
Tipo TerciárioPaper
Histórico (UTC)2011-09-23 14:11:17 :: lattes -> secretaria.cpa@dir.inpe.br :: 2011
2012-01-27 12:01:49 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011
2021-02-03 17:56:50 :: administrator -> marciana :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Palavras-ChaveSystem Engineering - Emergency Electrical System - Aircraft - Fly by Wire
ResumoThis paper presents a Systems Engineering (SE) approach for development of the Emergency Electrical System (EES) for aircraft with Fly by Wire. After creating the model of the EES and its components relationship, these components were analyzed using the method Total View Framework, which has proved to be an important tool in the design and development of complex products. The proposed method, which includes aspects of the product, the processes and the organization, is justified in light of the failure of performance of traditional project management. In traditional approaches, the inherent complexity in product development is not taken into account. The authors believe this approach will promote the identification of items that meet the requirements related to quality, safety and reliability of multiple factors at the stage of project design.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Use of Structured...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/J8LNKAN8RW/3AFL5CC
URL dos dados zipadoshttp://urlib.net/zip/J8LNKAN8RW/3AFL5CC
Idiomaen
Arquivo Alvoleite-use.pdf
Grupo de Usuárioslattes
secretaria.cpa@dir.inpe.br
administrator
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/444BQ9E
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype
7. Controle da descrição
e-Mail (login)marciana
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3ARNG63
Repositóriodpi.inpe.br/plutao/2011/11.23.18.47.43
Última Atualização2012:01.27.13.09.23 (UTC) secretaria.cpa@dir.inpe.br
Repositório de Metadadosdpi.inpe.br/plutao/2011/11.23.18.47.44
Última Atualização dos Metadados2021:02.03.17.56.51 (UTC) administrator
DOI10.1109/DASC.2011.6096074
ISBN978-1-61284-797-9
ISSN2155-7195
Rótulolattes: 2442951597646811 1 RamosSilCosColOli:2011:MoCoRe
Chave de CitaçãoRamosSilCosColOli:2011:MoCoRe
TítuloModeling Conflicts Resolution of Unmanned Aircraft System Using a Lightweight Duration Calculus
FormatoPapel
Ano2011
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho456 KiB
2. Contextualização
Autor1 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
Grupo1 LIT-LIT-INPE-MCT-BR
Afiliação1 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 Autor1 diogobranquinho@gmail.com
Endereço de e-Maildiogobranquinho@gmail.com
Nome do EventoIEEE/AIAA Digital Avionics Systems Conference, 30 (DASC).
Localização do EventoSeattle, WA
Data16-20 Oct.2011
Páginas5A6-1 - 5A6-9
Título do LivroProceedings
Tipo TerciárioPaper
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údoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Palavras-ChaveAdaptation models
Analytical models
Atmospheric modeling
Automata
Calculus
Monitoring
Real time systems
ResumoOver 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.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > COLIT > Modeling Conflicts Resolution...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/J8LNKAN8RW/3ARNG63
URL dos dados zipadoshttp://urlib.net/zip/J8LNKAN8RW/3ARNG63
Idiomaen
Arquivo Alvo06096074.pdf
Grupo de Usuárioslattes
secretaria.cpa@dir.inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/444BQ9E
Lista de Itens Citandosid.inpe.br/bibdigital/2021/01.30.18.11 2
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosarchivingpolicy 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