Search Result

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

Holder Code

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identifier

8JMKD3MGP7W/3D8KDT5

Repository

Last Update

2013:01.21.13.26.14 (UTC) administrator

Metadata Repository

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

Metadata Last Update

2018:06.05.04.13.33 (UTC) administrator

Secondary Key

INPE--PRE/

Citation Key

GalskiOrla:2012:AuOrCo

Title

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

Year

2012

Access Date

2024, Apr. 25

Secondary Type

PRE CI

Number of Files

Size

157 KiB

2. Context

Author

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

Group

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

Affiliation

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

Author e-Mail Address

1 galski@ccs.inpe.br

e-Mail Address

marcelo.pazos@inpe.br

Conference Name

International Symposium on Spacecraft Flight Dynamics, 23.

Conference Location

Pasadena, CA, USA

Date

Oct. 2012

History (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. Content and structure

Is the master or a copy?

is the master

Content Stage

completed

Transferable

Content Type

External Contribution

Area

ETES

Arrangement

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

doc Directory Content

source Directory Content

there are no files

agreement Directory Content

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

20/12/2012 15:47

1.0 KiB

4. Conditions of access and use

data URL

zipped data URL

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

Target File

ISSFD23_ODY_1.pdf

User Group

marcelo.pazos@inpe.br

Visibility

shown

Read Permission

allow from all

Update Permission

not transferred

5. Allied materials

Mirror Repository

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

Next Higher Units

Citing Item List

Host Collection

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

6. Notes

Empty Fields

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. Description control

e-Mail (login)

marcelo.pazos@inpe.br

1. Identity statement

Reference Type

Conference Paper (Conference Proceedings)

Site

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

Holder Code

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identifier

8JMKD3MGP7W/3CCLUUP

Repository

Last Update

2012:08.01.16.07.23 (UTC) marciana

Metadata Repository

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

Metadata Last Update

2021:02.11.21.05.43 (UTC) administrator

Secondary Key

INPE--PRE/

Citation Key

IvoFerrSantAmbr:2012:ApVaPl

Title

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

Year

2012

Access Date

2024, Apr. 25

Secondary Type

PRE CI

Number of Files

Size

457 KiB

2. Context

Author

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

Group

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

Affiliation

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

Conference Name

International Conference on Space Operations, ( SpaceOps), 12

Conference Location

Stockholm,

Date

11-15 June 2012

Book Title

Proceedings

Tertiary Type

Poster

History (UTC)

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

3. Content and structure

Is the master or a copy?

is the master

Content Stage

completed

Transferable

Content Type

External Contribution

Version Type

publisher

Abstract

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).

Area

ETES

Arrangement 1

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

Arrangement 2

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

Arrangement 3

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

doc Directory Content

source Directory Content

there are no files

agreement Directory Content

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

01/08/2012 11:59

1.0 KiB

4. Conditions of access and use

data URL

zipped data URL

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

Target File

id1293853-Paper-003Ivo.pdf

User Group

marciana

Visibility

shown

Read Permission

allow from all

Update Permission

not transferred

5. Allied materials

Mirror Repository

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

Next Higher Units

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

Citing Item List

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

Host Collection

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

6. Notes

Empty Fields

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. Description control

e-Mail (login)

marciana

1. Identity statement
Reference Type	Conference Paper (Conference Proceedings)
Site	plutao.sid.inpe.br
Holder Code	isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier	J8LNKAN8RW/3C63NUE
Repository	dpi.inpe.br/plutao/2012/06.21.19.05
Last Update	2012:08.21.14.50.38 (UTC) secretaria.cpa@dir.inpe.br
Metadata Repository	dpi.inpe.br/plutao/2012/06.21.19.05.04
Metadata Last Update	2018:06.05.00.01.45 (UTC) administrator
Label	lattes: 0505123426174183 2 MedeirosSaba:2012:PrCoCu
Citation Key	MedeirosSaba:2012:PrCoCu
Title	Presence of Continuing Current in Negative Cloud-to-Ground Flashes
Format	DVD
Year	2012
Access Date	2024, Apr. 25
Secondary Type	PRE CI
Number of Files	1
Size	698 KiB

2. Context
Author	1 Medeiros, Claudia 2 Saba, Marcelo Magalhães Fares
Group	1 CRC-CRC-INPE-MCTI-GOV-BR 2 CST-CST-INPE-MCTI-GOV-BR
Affiliation	1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address	1 2 marcelo.saba@inpe.br
e-Mail Address	marcelo.saba@inpe.br
Conference Name	International Conference on Lightning Detection, 22.
Conference Location	Broomfield
Date	2-3 Apr. 2012
Book Title	Proceedings
Tertiary Type	Paper
History (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. Content and structure
Is the master or a copy?	is the master
Content Stage	completed
Transferable	1
Content Type	External Contribution
Keywords	Continuing current high-speed video lightning
Area	ETES
Arrangement	urlib.net > COCST > Presence of Continuing...
doc Directory Content	access
source Directory Content	there are no files
agreement Directory Content	there are no files

4. Conditions of access and use
data URL	http://urlib.net/ibi/J8LNKAN8RW/3C63NUE
zipped data URL	http://urlib.net/zip/J8LNKAN8RW/3C63NUE
Language	en
Target File	Presence of Continuing Current in Negative Cloud-to-Ground Flashes.pdf
User Group	lattes secretaria.cpa@dir.inpe.br
Visibility	shown
Read Permission	allow from all
Update Permission	not transferred

5. Allied materials
Next Higher Units	8JMKD3MGPCW/3F3PAJE 8JMKD3MGPCW/3F3T29H
Host Collection	dpi.inpe.br/plutao@80/2008/08.19.15.01

6. Notes
Empty Fields	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. Description control
e-Mail (login)	marciana
update

1. Identity statement

Reference Type

Conference Paper (Conference Proceedings)

Site

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

Holder Code

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identifier

8JMKD3MGP7W/3CCLDQS

Repository

Last Update

2012:08.01.15.56.31 (UTC) marciana

Metadata Repository

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

Metadata Last Update

2018:06.05.04.12.35 (UTC) administrator

Secondary Key

INPE--PRE/

Citation Key

RomeroFerr:2012:ApMoAr

Title

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

Year

2012

Access Date

2024, Apr. 25

Secondary Type

PRE CI

Number of Files

Size

1133 KiB

2. Context

Author

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

Group

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

Affiliation

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Conference Name

International Conference on Space Operations, ( SpaceOps), 12

Conference Location

Stockholm

Date

11-15 June 2012

Book Title

Proceedings

History (UTC)

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

3. Content and structure

Is the master or a copy?

is the master

Content Stage

completed

Transferable

Content Type

External Contribution

Version Type

publisher

Abstract

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.

Area

ETES

Arrangement

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

doc Directory Content

source Directory Content

there are no files

agreement Directory Content

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

01/08/2012 08:55

1.0 KiB

4. Conditions of access and use

data URL

zipped data URL

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

Language

Target File

id1230801-Paper-002romero4.pdf

User Group

marciana

Visibility

shown

Read Permission

allow from all

Update Permission

not transferred

5. Allied materials

Linking

Trabalho Vinculado à Tese/Dissertação

Mirror Repository

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

Next Higher Units

Citing Item List

Host Collection

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

6. Notes

Empty Fields

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. Description control

e-Mail (login)

marciana

1. Identity statement

Reference Type

Conference Paper (Conference Proceedings)

Site

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

Holder Code

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identifier

8JMKD3MGP7W/3CCLDJ8

Repository

Last Update

2012:08.01.11.57.25 (UTC) marciana

Metadata Repository

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

Metadata Last Update

2018:06.05.04.12.35 (UTC) administrator

Secondary Key

INPE--PRE/

Citation Key

RomeroViei:2012:ApMoAr

Title

An Approach to Model-Driven Architecture applied to Hybrid Systems

Year

2012

Access Date

2024, Apr. 25

Secondary Type

PRE CI

Number of Files

Size

446 KiB

2. Context

Author

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

Group

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

Affiliation

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Conference Name

International Conference on Space Operations, (SpaceOps), 12

Conference Location

Stockholm

Date

11-15 June 2012

Book Title

Proceedings

History (UTC)

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

3. Content and structure

Is the master or a copy?

is the master

Content Stage

completed

Transferable

Content Type

External Contribution

Version Type

publisher

Abstract

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.

Area

ETES

Arrangement

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

doc Directory Content

source Directory Content

there are no files

agreement Directory Content

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

01/08/2012 08:52

1.0 KiB

4. Conditions of access and use

data URL

zipped data URL

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

Language

Target File

id1290620-Paper-003romero.pdf

User Group

marciana

Visibility

shown

Read Permission

allow from all

Update Permission

not transferred

5. Allied materials

Linking

Trabalho Vinculado à Tese/Dissertação

Mirror Repository

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

Next Higher Units

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

Citing Item List

Host Collection

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

6. Notes

Empty Fields

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. Description control

e-Mail (login)

marciana

1. Identity statement
Reference Type	Conference Paper (Conference Proceedings)
Site	plutao.sid.inpe.br
Holder Code	isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier	J8LNKAN8RW/3D536HE
Repository	dpi.inpe.br/plutao/2012/11.28.13.56.45
Last Update	2013:01.31.11.26.04 (UTC) marciana
Metadata Repository	dpi.inpe.br/plutao/2012/11.28.13.56.46
Metadata Last Update	2021:02.11.20.56.48 (UTC) administrator
Secondary Key	INPE--PRE/
Label	lattes: 6516110599667954 2 TominagaCerqKonoAmbr:2012:SpSaBe
Citation Key	TominagaCerqKonoAmbr:2012:SpSaBe
Title	Specifying satellite behavior for an operational simulator
Format	DVD
Year	2012
Access Date	2024, Apr. 25
Secondary Type	PRE CI
Number of Files	1
Size	655 KiB

2. Context
Author	1 Tominaga, Jun 2 Cerqueira, Christopher Shneider 3 Kono, Jânio 4 Ambrosio, Ana Maria
Resume Identifier	1 2 3 8JMKD3MGP5W/3C9JHDU 4 8JMKD3MGP5W/3C9JGH7
Group	1 CRC-CRC-INPE-MCTI-GOV-BR 2 3 CBS-OBT-INPE-MCTI-GOV-BR 4 DSE-ETE-INPE-MCTI-GOV-BR
Affiliation	1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address	1 jun@ccs.inpe.br 2 christophercerqueira@gmail.com 3 kono@dss.inpe.br 4 ana@dss.inpe.br
e-Mail Address	christophercerqueira@gmail.com
Conference Name	Simulation and EGSE facilities for Space Programmes, (SESP 2012).
Conference Location	Noordwijk
Date	25-27 September 2012
Publisher	SESP 2012
Book Title	Proceedings
Tertiary Type	Paper
History (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. Content and structure
Is the master or a copy?	is the master
Content Stage	completed
Transferable	1
Content Type	External Contribution
Abstract	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.
Area	ETES
Arrangement 1	urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Specifying satellite behavior...
Arrangement 2	urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCBS > Specifying satellite behavior...
Arrangement 3	urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Specifying satellite behavior...
doc Directory Content	access
source Directory Content	there are no files
agreement Directory Content	there are no files

4. Conditions of access and use
data URL	http://urlib.net/ibi/J8LNKAN8RW/3D536HE
zipped data URL	http://urlib.net/zip/J8LNKAN8RW/3D536HE
Language	en
Target File	s7_1400_ambrosio.pdf
User Group	administrator lattes marciana
Visibility	shown
Read Permission	allow from all
Update Permission	not transferred

5. Allied materials
Next Higher Units	8JMKD3MGPCW/3F3PAJE 8JMKD3MGPCW/3F6BJCH 8JMKD3MGPCW/446AUSL
Citing Item List	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 (untrusted data)	http://congrexprojects.com/docs/12c09_docs/s7_1400_ambrosio.pdf?sfvrsn=2
Host Collection	dpi.inpe.br/plutao@80/2008/08.19.15.01

6. Notes
Empty Fields	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. Description control
e-Mail (login)	marciana
update

1. Identity statement

Reference Type

Conference Paper (Conference Proceedings)

Site

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

Holder Code

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identifier

8JMKD3MGP7W/3CCM6T5

Repository

Last Update

2012:08.01.16.03.34 (UTC) marciana

Metadata Repository

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

Metadata Last Update

2018:06.05.04.12.35 (UTC) administrator

Secondary Key

INPE--PRE/

Citation Key

TominagaFerr:2012:MuRuSa

Title

A multithreaded rule-based satellite simulator for satellite control monitoring

Year

2012

Access Date

2024, Apr. 25

Secondary Type

PRE CI

Number of Files

Size

444 KiB

2. Context

Author

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

Group

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

Affiliation

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

Conference Name

International Conference on Space Operations, ( SpaceOps), 12

Conference Location

Stockholm

Date

11-15 June 2012

Book Title

Proceedings

History (UTC)

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

3. Content and structure

Is the master or a copy?

is the master

Content Stage

completed

Transferable

Content Type

External Contribution

Version Type

publisher

Abstract

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.

Area

ETES

Arrangement

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

doc Directory Content

source Directory Content

there are no files

agreement Directory Content

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

01/08/2012 12:59

1.0 KiB

4. Conditions of access and use

data URL

zipped data URL

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

Language

Target File

id1294955-Paper-002taminanga.pdf

User Group

marciana

Visibility

shown

Read Permission

allow from all

Update Permission

not transferred

5. Allied materials

Mirror Repository

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

Next Higher Units

Citing Item List

Host Collection

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

6. Notes

Empty Fields

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. Description control

e-Mail (login)

marciana

1. Identity statement

Reference Type

Conference Paper (Conference Proceedings)

Site

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

Holder Code

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identifier

8JMKD3MGP7W/3CCMBM2

Repository

Last Update

2012:08.01.16.58.11 (UTC) marciana

Metadata Repository

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

Metadata Last Update

2018:06.05.04.12.35 (UTC) administrator

Secondary Key

INPE--PRE/

Citation Key

WinandyFerr:2012:DePrAu

Title

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

Year

2012

Access Date

2024, Apr. 25

Secondary Type

PRE CI

Number of Files

Size

598 KiB

2. Context

Author

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

Group

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

Affiliation

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Conference Name

International Conference on Space Operations, ( SpaceOps), 12

Date

11-15 June 2012

Book Title

Proceedings

History (UTC)

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

3. Content and structure

Is the master or a copy?

is the master

Content Stage

completed

Transferable

Content Type

External Contribution

Version Type

publisher

Abstract

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.

Area

ETES

Arrangement

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

doc Directory Content

source Directory Content

there are no files

agreement Directory Content

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

01/08/2012 13:57

1.0 KiB

4. Conditions of access and use

data URL

zipped data URL

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

Target File

id1273363-Paper-001-2.pdf

User Group

marciana

Visibility

shown

Read Permission

allow from all

Update Permission

not transferred

5. Allied materials

Mirror Repository

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

Next Higher Units

Citing Item List

Host Collection

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

6. Notes

Empty Fields

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. Description control

e-Mail (login)

marciana