Resultado da Pesquisa

sid.inpe.br/mtc-m19/2012/12.20.17.47

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP7W/3D8KDT5

Repositório

Última Atualização

2013:01.21.13.26.14 (UTC) administrator

Repositório de Metadados

sid.inpe.br/mtc-m19/2012/12.20.17.47.57

Última Atualização dos Metadados

2018:06.05.04.13.33 (UTC) administrator

Chave Secundária

INPE--PRE/

Chave de Citação

GalskiOrla:2012:AuOrCo

Título

Autonomous Orbit Control Procedure, Using a Simplified GPS Navigator and an Improved Ground Track Phase Drift Prediction Method, Applied to the CBERS Satellite

Ano

2012

Data de Acesso

26 abr. 2024

Tipo Secundário

PRE CI

Número de Arquivos

Tamanho

157 KiB

2. Contextualização

Autor

1 Galski, R. L.
2 Orlando, V.

Grupo

1 CRC-CRC-INPE-MCTI-GOV-BR
2 CRC-CRC-INPE-MCTI-GOV-BR

Afiliação

1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Endereço de e-Mail do Autor

1 galski@ccs.inpe.br

Endereço de e-Mail

marcelo.pazos@inpe.br

Nome do Evento

International Symposium on Spacecraft Flight Dynamics, 23.

Localização do Evento

Pasadena, CA, USA

Data

Oct. 2012

Histórico (UTC)

2013-01-21 13:26:14 :: marcelo.pazos@sid.inpe.br -> administrator :: 2012
2018-06-05 04:13:33 :: administrator -> marcelo.pazos@inpe.br :: 2012

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Tipo do Conteúdo

External Contribution

Área

ETES

Arranjo

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Autonomous Orbit Control...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP7W/3D8KDT5

20/12/2012 15:47

1.0 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP7W/3D8KDT5

Arquivo Alvo

ISSFD23_ODY_1.pdf

Grupo de Usuários

marcelo.pazos@inpe.br

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Repositório Espelho

sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53

Unidades Imediatamente Superiores

Lista de Itens Citando

Acervo Hospedeiro

sid.inpe.br/mtc-m19@80/2009/08.21.17.02

6. Notas

Campos Vazios

abstract archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn keywords label language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress 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)

marcelo.pazos@inpe.br

1. Identificação

Tipo de Referência

Artigo em Evento (Conference Proceedings)

Site

sid.inpe.br/mtc-m19/2012/08.01.14.59

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP7W/3CCLUUP

Repositório

Última Atualização

2012:08.01.16.07.23 (UTC) marciana

Repositório de Metadados

sid.inpe.br/mtc-m19/2012/08.01.14.59.03

Última Atualização dos Metadados

2021:02.11.21.05.43 (UTC) administrator

Chave Secundária

INPE--PRE/

Chave de Citação

IvoFerrSantAmbr:2012:ApVaPl

Título

An approach to validation plans for satellite control generated with planners systems based autonomous artificial intelligence

Ano

2012

Data de Acesso

26 abr. 2024

Tipo Secundário

PRE CI

Número de Arquivos

Tamanho

457 KiB

2. Contextualização

Autor

1 Ivo, André A. de Souza
2 Ferreira, Mauricio G. Vieira
3 Sant'Anna, Nilson
4 Ambrosio, Ana Maria

Grupo

1
2 CRC-CRC-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
4 DSS-ETE-INPE-MCTI-GOV-BR

Afiliação

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto Nacional de Pesquisas Espaciais (INPE)

Nome do Evento

International Conference on Space Operations, ( SpaceOps), 12

Localização do Evento

Stockholm,

Data

11-15 June 2012

Título do Livro

Proceedings

Tipo Terciário

Poster

Histórico (UTC)

2012-08-01 16:59:27 :: marciana -> administrator :: 2012
2021-02-11 21:05:43 :: administrator -> marciana :: 2012

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Tipo do Conteúdo

External Contribution

Tipo de Versão

publisher

Resumo

The scheduling or autonomous planning is one of the areas of artificial intelligence (IA), which develops the process to define the sequence of actions to achieve the objectives established through computational methods. Through an initiative of the ESA (European Space Agency) emerges the SPASS (Software Product Assurance for Autonomy Spacecraft on-board), a project that resulted in a job that recommends extensive testing and use of simulation techniques, with application of two software components, the plausibility checker and bag security, proposed by (Blanquart, 2004). The purpose of this paper is to show a theoretical approach to implemente a plausibility checker and safety bag as described by (Blanquart, 2004).

Área

ETES

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > An approach to...

Arranjo 2

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > An approach to...

Arranjo 3

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > An approach to...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP7W/3CCLUUP

01/08/2012 11:59

1.0 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP7W/3CCLUUP

Arquivo Alvo

id1293853-Paper-003Ivo.pdf

Grupo de Usuários

marciana

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Repositório Espelho

sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53

Unidades Imediatamente Superiores

8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3F3PAJE
8JMKD3MGPCW/446B2HE

Lista de Itens Citando

sid.inpe.br/bibdigital/2021/02.11.21.02 2

Acervo Hospedeiro

sid.inpe.br/mtc-m19@80/2009/08.21.17.02

6. Notas

Campos Vazios

archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume

7. Controle da descrição

e-Mail (login)

marciana

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/3C63NUE
Repositório	dpi.inpe.br/plutao/2012/06.21.19.05
Última Atualização	2012:08.21.14.50.38 (UTC) secretaria.cpa@dir.inpe.br
Repositório de Metadados	dpi.inpe.br/plutao/2012/06.21.19.05.04
Última Atualização dos Metadados	2018:06.05.00.01.45 (UTC) administrator
Rótulo	lattes: 0505123426174183 2 MedeirosSaba:2012:PrCoCu
Chave de Citação	MedeirosSaba:2012:PrCoCu
Título	Presence of Continuing Current in Negative Cloud-to-Ground Flashes
Formato	DVD
Ano	2012
Data de Acesso	26 abr. 2024
Tipo Secundário	PRE CI
Número de Arquivos	1
Tamanho	698 KiB

2. Contextualização
Autor	1 Medeiros, Claudia 2 Saba, Marcelo Magalhães Fares
Grupo	1 CRC-CRC-INPE-MCTI-GOV-BR 2 CST-CST-INPE-MCTI-GOV-BR
Afiliação	1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor	1 2 marcelo.saba@inpe.br
Endereço de e-Mail	marcelo.saba@inpe.br
Nome do Evento	International Conference on Lightning Detection, 22.
Localização do Evento	Broomfield
Data	2-3 Apr. 2012
Título do Livro	Proceedings
Tipo Terciário	Paper
Histórico (UTC)	2012-06-22 00:11:00 :: lattes -> secretaria.cpa@dir.inpe.br :: 2012 2012-08-21 14:50:39 :: secretaria.cpa@dir.inpe.br -> administrator :: 2012 2018-06-05 00:01:45 :: administrator -> marciana :: 2012

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	Continuing current high-speed video lightning
Área	ETES
Arranjo	urlib.net > COCST > Presence of Continuing...
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/3C63NUE
URL dos dados zipados	http://urlib.net/zip/J8LNKAN8RW/3C63NUE
Idioma	en
Arquivo Alvo	Presence of Continuing Current in Negative Cloud-to-Ground Flashes.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/3F3PAJE 8JMKD3MGPCW/3F3T29H
Acervo Hospedeiro	dpi.inpe.br/plutao@80/2008/08.19.15.01

6. Notas
Campos Vazios	abstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages 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

1. Identificação

Tipo de Referência

Artigo em Evento (Conference Proceedings)

Site

sid.inpe.br/mtc-m19/2012/08.01.11.55

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP7W/3CCLDQS

Repositório

Última Atualização

2012:08.01.15.56.31 (UTC) marciana

Repositório de Metadados

sid.inpe.br/mtc-m19/2012/08.01.11.55.55

Última Atualização dos Metadados

2018:06.05.04.12.35 (UTC) administrator

Chave Secundária

INPE--PRE/

Chave de Citação

RomeroFerr:2012:ApMoAr

Título

An Approach to Model-Driven Architecture Applied to Space Real-Time Software

Ano

2012

Data de Acesso

26 abr. 2024

Tipo Secundário

PRE CI

Número de Arquivos

Tamanho

1133 KiB

2. Contextualização

Autor

1 Romero, Alessandro Gerlinger
2 Ferreira, Mauricio Gonçalves Vieira

Grupo

1
2 CRC-CRC-INPE-MCTI-GOV-BR

Afiliação

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Nome do Evento

International Conference on Space Operations, ( SpaceOps), 12

Localização do Evento

Stockholm

Data

11-15 June 2012

Título do Livro

Proceedings

Histórico (UTC)

2012-12-20 18:32:40 :: marciana -> administrator :: 2012
2018-06-05 04:12:35 :: administrator -> marciana :: 2012

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Tipo do Conteúdo

External Contribution

Tipo de Versão

publisher

Resumo

Real-time systems are commonplace in satellites. In this system type, software has become a crucial factor to satellites success projects because its complexity quickly increases, along with cost. Some factors that contribute to increase complexity of software are: it interacts with different kind of hardware, it has several states and for each state commonly a different control law, it has hard-deadlines, and it must have a high level of reliability. Attitude and Orbit Control System (AOCS) is a good example for this type of system. With the necessity to launch more satellites, Brazilian National Institute for Space Research (INPE) has been carrying out research on modeling and verifying real-time software, like a lot of other space agencies and research institutes. The main focus is to obtain a better balance between dependability, schedule, and cost. However, instead of creating one more brand-new, one-of-a-kind approach, method or process, we are trying to use Object Management Group (OMG) specifications, which have been proposed and adopted by community in some degree. Another concern from this INPE research is to be independent from commercial tools establishing itself on open source software. This paper presents a detailed approach to implement Model-Driven Architecture (MDA) in real-time space software based strongly in OMG specifications. It shows how models are defined, linked, verified and transformed, as well as a set of tools for this. We place special emphasis on fUML (Semantics of a Foundational Subset for Executable UML Models) and MARTE (UML Profile for Modeling and Analysis of Real-Time Embedded Systems) that allow us to define a completely executable Platform Independent Model (PIM). At the end, a case study is presented, along with an assessment of the proposed approach. This assessment allowed us to conclude that MDA, following the proposal presented, has advantages versus the current approaches applied to real-time space software development.

Área

ETES

Arranjo

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > An Approach to...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP7W/3CCLDQS

01/08/2012 08:55

1.0 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP7W/3CCLDQS

Idioma

Arquivo Alvo

id1230801-Paper-002romero4.pdf

Grupo de Usuários

marciana

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Vinculação

Trabalho Vinculado à Tese/Dissertação

Repositório Espelho

sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53

Unidades Imediatamente Superiores

Lista de Itens Citando

Acervo Hospedeiro

sid.inpe.br/mtc-m19@80/2009/08.21.17.02

6. Notas

Campos Vazios

archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume

7. Controle da descrição

e-Mail (login)

marciana

1. Identificação

Tipo de Referência

Artigo em Evento (Conference Proceedings)

Site

sid.inpe.br/mtc-m19/2012/08.01.11.52

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP7W/3CCLDJ8

Repositório

Última Atualização

2012:08.01.11.57.25 (UTC) marciana

Repositório de Metadados

sid.inpe.br/mtc-m19/2012/08.01.11.52.50

Última Atualização dos Metadados

2018:06.05.04.12.35 (UTC) administrator

Chave Secundária

INPE--PRE/

Chave de Citação

RomeroViei:2012:ApMoAr

Título

An Approach to Model-Driven Architecture applied to Hybrid Systems

Ano

2012

Data de Acesso

26 abr. 2024

Tipo Secundário

PRE CI

Número de Arquivos

Tamanho

446 KiB

2. Contextualização

Autor

1 Romero, Alessandro Gerlinger
2 Vieira, Mauricio Gonçalves

Grupo

1
2 CRC-CRC-INPE-MCTI-GOV-BR

Afiliação

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Nome do Evento

International Conference on Space Operations, (SpaceOps), 12

Localização do Evento

Stockholm

Data

11-15 June 2012

Título do Livro

Proceedings

Histórico (UTC)

2012-12-20 18:31:56 :: marciana -> administrator :: 2012
2018-06-05 04:12:35 :: administrator -> marciana :: 2012

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Tipo do Conteúdo

External Contribution

Tipo de Versão

publisher

Resumo

Hybrid systems are characterized by a composition of discrete and continuous dynamics. In particular, the system has a continuous evolution and occasional jumps. The jumps are caused either by controllable, uncontrollable external events or by its continuous evolution. The continuous evolution and these jumps in control loops are the origins from the most stringent real-time demands. With the necessity to launch more satellites, Brazilian National Institute for Space Research (INPE) has been carrying out research on modeling and verifying hybrid systems, of which its main focus is to obtain a better balance between dependability, schedule, and cost. We are attempting to use Object Management Group (OMG) specifications to model discrete events. We are focusing mainly in Modelica (with some degree of Scicoslab) to model continuous dynamics. Another concern addressed by this, INPE, research is to be independent from commercial tools, establishing itself on open source software. This paper presents an approach to implement Model-Driven Architecture in hybrid systems based on vendor neutral specifications. It shows how the models are defined, traced and used, as well as a set of tools for this. SysML (Systems Modeling Language), and MARTE (Modeling and Analysis of Real-Time Embedded Systems) allowed us to define a Computation Independent Model focused mainly on high-level structure and behavior (state oriented). At the end, a case study is presented (inverted pendulum). From this case study, we have concluded that the proposed approach can complement uncovered topics in current research applied to hybrid systems development and maintenance.

Área

ETES

Arranjo

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > An Approach to...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP7W/3CCLDJ8

01/08/2012 08:52

1.0 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP7W/3CCLDJ8

Idioma

Arquivo Alvo

id1290620-Paper-003romero.pdf

Grupo de Usuários

marciana

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Vinculação

Trabalho Vinculado à Tese/Dissertação

Repositório Espelho

sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53

Unidades Imediatamente Superiores

sid.inpe.br/bibdigital/2013/10.19.00.29 2

Lista de Itens Citando

Acervo Hospedeiro

sid.inpe.br/mtc-m19@80/2009/08.21.17.02

6. Notas

Campos Vazios

archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume

7. Controle da descrição

e-Mail (login)

marciana

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/3D536HE
Repositório	dpi.inpe.br/plutao/2012/11.28.13.56.45
Última Atualização	2013:01.31.11.26.04 (UTC) marciana
Repositório de Metadados	dpi.inpe.br/plutao/2012/11.28.13.56.46
Última Atualização dos Metadados	2021:02.11.20.56.48 (UTC) administrator
Chave Secundária	INPE--PRE/
Rótulo	lattes: 6516110599667954 2 TominagaCerqKonoAmbr:2012:SpSaBe
Chave de Citação	TominagaCerqKonoAmbr:2012:SpSaBe
Título	Specifying satellite behavior for an operational simulator
Formato	DVD
Ano	2012
Data de Acesso	26 abr. 2024
Tipo Secundário	PRE CI
Número de Arquivos	1
Tamanho	655 KiB

2. Contextualização
Autor	1 Tominaga, Jun 2 Cerqueira, Christopher Shneider 3 Kono, Jânio 4 Ambrosio, Ana Maria
Identificador de Curriculo	1 2 3 8JMKD3MGP5W/3C9JHDU 4 8JMKD3MGP5W/3C9JGH7
Grupo	1 CRC-CRC-INPE-MCTI-GOV-BR 2 3 CBS-OBT-INPE-MCTI-GOV-BR 4 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação	1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor	1 jun@ccs.inpe.br 2 christophercerqueira@gmail.com 3 kono@dss.inpe.br 4 ana@dss.inpe.br
Endereço de e-Mail	christophercerqueira@gmail.com
Nome do Evento	Simulation and EGSE facilities for Space Programmes, (SESP 2012).
Localização do Evento	Noordwijk
Data	25-27 September 2012
Editora (Publisher)	SESP 2012
Título do Livro	Proceedings
Tipo Terciário	Paper
Histórico (UTC)	2012-11-28 23:06:21 :: lattes -> marciana :: 2012 2012-12-05 12:53:36 :: marciana -> administrator :: 2012 2012-12-15 17:43:07 :: administrator -> marciana :: 2012 2013-01-31 11:26:05 :: marciana -> administrator :: 2012 2021-02-11 20:56:48 :: administrator -> marciana :: 2012

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
Resumo	To write a satellite simulator specification for a relatively simple satellite may be simple as the information can be shared among the small group of hardware experts, system engineers and software programmers. However, this becomes extremely difficult as the number of people involved increases. This paper focuses on questions related to how to write effective simulator specification documents to describe the behavior of complex satellites, in such a manner that the specification be comprehensive and clear to all the people involved in the simulator project development. Subsystem designers, system architects, electrical, mechanic and software engineers, as well as mathematicians and programmers with a diverse assortment of backgrounds and different points of view are supposed to work together towards a common goal, which is the development of an operational satellite simulator. Consequently, the greatest challenge to build a satellite simulator is to find a common language, understandable and acceptable by every stakeholder, yet powerful enough to describe the satellite behavior in sufficient detail. The current existing standards for satellite simulators were found to lack some important details concerning how to write specifications of the models, in a precise manner. This paper presents the representation of the knowledge about the subsystems behavior in every its states through well-organized tables. This solution aimed to reduce the gap in the language to represent the satellite behavior in the Specification of the Operational Simulator of the CBERS 3&4 Satellite being developed at INPE.
Área	ETES
Arranjo 1	urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Specifying satellite behavior...
Arranjo 2	urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCBS > Specifying satellite behavior...
Arranjo 3	urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Specifying satellite behavior...
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/3D536HE
URL dos dados zipados	http://urlib.net/zip/J8LNKAN8RW/3D536HE
Idioma	en
Arquivo Alvo	s7_1400_ambrosio.pdf
Grupo de Usuários	administrator lattes marciana
Visibilidade	shown
Permissão de Leitura	allow from all
Permissão de Atualização	não transferida

5. Fontes relacionadas
Unidades Imediatamente Superiores	8JMKD3MGPCW/3F3PAJE 8JMKD3MGPCW/3F6BJCH 8JMKD3MGPCW/446AUSL
Lista de Itens Citando	sid.inpe.br/bibdigital/2013/11.03.19.19 1 sid.inpe.br/bibdigital/2021/02.11.20.54 1 sid.inpe.br/bibdigital/2013/10.19.00.29 1
URL (dados não confiáveis)	http://congrexprojects.com/docs/12c09_docs/s7_1400_ambrosio.pdf?sfvrsn=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 doi edition editor isbn issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup rightsholder schedulinginformation secondarydate 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ência

Artigo em Evento (Conference Proceedings)

Site

sid.inpe.br/mtc-m19/2012/08.01.15.59

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP7W/3CCM6T5

Repositório

Última Atualização

2012:08.01.16.03.34 (UTC) marciana

Repositório de Metadados

sid.inpe.br/mtc-m19/2012/08.01.15.59.03

Última Atualização dos Metadados

2018:06.05.04.12.35 (UTC) administrator

Chave Secundária

INPE--PRE/

Chave de Citação

TominagaFerr:2012:MuRuSa

Título

A multithreaded rule-based satellite simulator for satellite control monitoring

Ano

2012

Data de Acesso

26 abr. 2024

Tipo Secundário

PRE CI

Número de Arquivos

Tamanho

444 KiB

2. Contextualização

Autor

1 Tominaga, Jun
2 Ferreira, Mauricio Gonçalves Vieira

Grupo

1 CRC-CRC-INPE-MCTI-GOV-BR
2 CRC-CRC-INPE-MCTI-GOV-BR

Afiliação

1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Nome do Evento

International Conference on Space Operations, ( SpaceOps), 12

Localização do Evento

Stockholm

Data

11-15 June 2012

Título do Livro

Proceedings

Histórico (UTC)

2012-08-01 16:59:47 :: marciana -> administrator :: 2012
2018-06-05 04:12:35 :: administrator -> marciana :: 2012

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Tipo do Conteúdo

External Contribution

Tipo de Versão

publisher

Resumo

This paper describes a new software application intended for assisting human operators in monitoring the health of spacecraft in orbit. Its basic design is inherited from another satellite simulator developed for planning validation, which consisted of a single rule-based inference engine with associated database files. These database files contained all the system dynamics rules, internal state parameters, and scheduled events covering a whole simulation session. Despite its advantages, this approach results in complex systems that become harder to maintain as the number of rules and parameters increases. The new approach tries to address this problem by dividing the database into smaller modules, each comprising an inference engine with smaller database files. Several inference machines are run simultaneously as threads controlled by a manager module. All rule-based threads communicate with each other via a central data structure, maintained by the manager module, which stores all internal parameters of the simulator model. The simulation parameters values are represented internally in engineering units, which are encoded into telemetry data or decoded from telecommand messages by network interfacing modules, also running as threads. Simulated parameter values are compared to satellite telemetry received by ground stations in real-time during passes and, if the difference between corresponding values surpasses its predefined range, an alarm is triggered to warn the operator. The description of the simulator presented in this work comprises the satellite ground control system architecture, the rule-based inference engine and its database data structures, and the integrated architecture including the satellite control monitoring system.

Área

ETES

Arranjo

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > A multithreaded rule-based...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP7W/3CCM6T5

01/08/2012 12:59

1.0 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP7W/3CCM6T5

Idioma

Arquivo Alvo

id1294955-Paper-002taminanga.pdf

Grupo de Usuários

marciana

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Repositório Espelho

sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53

Unidades Imediatamente Superiores

Lista de Itens Citando

Acervo Hospedeiro

sid.inpe.br/mtc-m19@80/2009/08.21.17.02

6. Notas

Campos Vazios

archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume

7. Controle da descrição

e-Mail (login)

marciana

1. Identificação

Tipo de Referência

Artigo em Evento (Conference Proceedings)

Site

sid.inpe.br/mtc-m19/2012/08.01.16.57

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP7W/3CCMBM2

Repositório

Última Atualização

2012:08.01.16.58.11 (UTC) marciana

Repositório de Metadados

sid.inpe.br/mtc-m19/2012/08.01.16.57.27

Última Atualização dos Metadados

2018:06.05.04.12.35 (UTC) administrator

Chave Secundária

INPE--PRE/

Chave de Citação

WinandyFerr:2012:DePrAu

Título

Development process for automatically generated plans for satellites control based on UML

Ano

2012

Data de Acesso

26 abr. 2024

Tipo Secundário

PRE CI

Número de Arquivos

Tamanho

598 KiB

2. Contextualização

Autor

1 Winandy, Charles-Edouard
2 Ferreira, Mauricio Gonçalves Vieira

Grupo

1
2 CRC-CRC-INPE-MCTI-GOV-BR

Afiliação

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Nome do Evento

International Conference on Space Operations, ( SpaceOps), 12

Data

11-15 June 2012

Título do Livro

Proceedings

Histórico (UTC)

2012-08-01 17:02:23 :: marciana -> administrator :: 2012
2018-06-05 04:12:35 :: administrator -> marciana :: 2012

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Tipo do Conteúdo

External Contribution

Tipo de Versão

publisher

Resumo

One of the main causes for the growing demand for satellites controllers and control centers is the increase number of satellites launched from our planet. Some of these needs are supplied by new controllers, but it will soon be a time on which this kind of monitoring will be overtaken by the growing number of satellites to control, without an auto-generated plan process. In this real scenario, it is important to have, before thinking of implementing a planner or even before create a Knowledge Base equipped with meta-models, a development process divided in very well defined steps. Each of these steps must have a target objective to reach and one or more than one software artifacts to generate, using for this techniques in fields like the knowledge acquisition and tools for successful software design, such as the Unified Modeling Language (UML), one of the most significant modeling tool used in commercial systems. A development process for an automatically generated plan, based on the satellite components status, the ground positions stations and its orbit frequency, must be used as soon as possible, in order to grant our capability to safely control all of our satellites. This paper object is to show in full detail the PRODESEA, an auto-generated plan development process useful when a satellite control planning is needed to reach the above goals. For didactic purpose, this paper also illustrates one case study in a satellites control domain.

Área

ETES

Arranjo

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Development process for...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP7W/3CCMBM2

01/08/2012 13:57

1.0 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP7W/3CCMBM2

Arquivo Alvo

id1273363-Paper-001-2.pdf

Grupo de Usuários

marciana

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Repositório Espelho

sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53

Unidades Imediatamente Superiores

Lista de Itens Citando

Acervo Hospedeiro

sid.inpe.br/mtc-m19@80/2009/08.21.17.02

6. Notas

Campos Vazios

archivingpolicy archivist callnumber conferencelocation copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume

7. Controle da descrição

e-Mail (login)

marciana