Resultado da Pesquisa
A expressão de busca foi <secondaryty pi and firstg CCR-CCR-INPE-MCTI-GOV-BR and y 2012 and dissemination websci>.
2 referências encontradas buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 25/04/2024 01:37.
1. Identificação
Tipo de ReferênciaArtigo em Revista Científica (Journal Article)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3EPNSGE
Repositóriosid.inpe.br/mtc-m19/2013/09.05.20.53   (acesso restrito)
Última Atualização2013:09.05.21.17.00 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2013/09.05.20.53.33
Última Atualização dos Metadados2020:04.29.12.37.28 (UTC) administrator
DOI10.1007/s10686-011-9237-2
ISSN0922-6435
Chave de CitaçãoFerociSKTHHSWZBBBBBCHHIPRVZAABBCCCRDDDEHJKLMMMRRRRTWWWZZAAAAAAAAABBBBBBBBBBBCCCCCCCCCCCDDMPDDDDDEFFFFDFFFGGGGGGGGGHHHHHZIKKKKKKKKKKKKKLLLLLLMMMMMMMMMMMMMMMMNNNOOOOOPPPPPPPPPPPPPRRRRRRSSSSSSSSSSTTTTUVVWWWWWZZZ:2012:LaObXr
TítuloThe Large Observatory for X-ray Timing (LOFT)
Ano2012
Mêsoct
Data de Acesso25 abr. 2024
Tipo de Trabalhojournal article
Tipo SecundárioPRE PI
Número de Arquivos1
Tamanho715 KiB
2. Contextualização
Autor  1 Feroci, M.
  2 Stella, L.
  3 van der Klis, M.
  4 T. ~J. -L., Courvoisier
  5 Hernanz, M.
  6 Hudec, R.
  7 Santangelo, A.
  8 Walton, D.
  9 Zdziarski, A.
 10 Barret, D.
 11 Belloni, T.
 12 Braga, João
 13 Brandt, S.
 14 Budtz-Jorgensen, C.
 15 Campana, S.
 16 den Herder, J. -W.
 17 Huovelin, J.
 18 Israel, G. ~L.
 19 Pohl, M.
 20 Ray, P.
 21 Vacchi, A.
 22 Zane, S.
 23 Argan, A.
 24 Attinà, P.
 25 Bertuccio, G.
 26 Bozzo, E.
 27 Campana, R.
 28 Chakrabarty, D.
 29 Costa, E.
 30 De Rosa, A.
 31 Del Monte, E.
 32 Di Cosimo, S.
 33 Donnarumma, I.
 34 Evangelista, Y.
 35 Haas, D.
 36 Jonker, P.
 37 Korpela, S.
 38 Labanti, C.
 39 Malcovati, P.
 40 Mignani, R.
 41 Muleri, F.
 42 Rapisarda, M.
 43 Rashevsky, A.
 44 Rea, N.
 45 Rubini, A.
 46 Tenzer, C.
 47 Wilson-Hodge, C.
 48 Winter, B.
 49 Wood, K.
 50 Zampa, G.
 51 Zampa, N.
 52 Abramowicz, M. ~A.
 53 Alpar, M. ~A.
 54 Altamirano, D.
 55 Alvarez, J. ~M.
 56 Amati, L.
 57 Amoros, C.
 58 Antonelli, L. ~A.
 59 Artigue, R.
 60 Azzarello, P.
 61 Bachetti, M.
 62 Baldazzi, G.
 63 Barbera, M.
 64 Barbieri, C.
 65 Basa, S.
 66 Baykal, A.
 67 Belmont, R.
 68 Boirin, L.
 69 Bonvicini, V.
 70 Burderi, L.
 71 Bursa, M.
 72 Cabanac, C.
 73 Cackett, E.
 74 Caliandro, G. ~A.
 75 Casella, P.
 76 Chaty, S.
 77 Chenevez, J.
 78 Coe, M. ~J.
 79 Collura, A.
 80 Corongiu, A.
 81 Covino, S.
 82 Cusumano, G.
 83 D'Amico, Flávio
 84 Dall'Osso, S.
 85 De Martino, D.
 86 De Paris, G.
 87 Di Persio, G.
 88 Di Salvo, T.
 89 Done, C.
 90 Dov ciak, M.
 91 Drago, A.
 92 Ertan, U.
 93 Fabiani, S.
 94 Falanga, M.
 95 Fender, R.
 96 Ferrando, P.
 97 Della Monica Ferreira, D.
 98 Fraser, G.
 99 Frontera, F.
100 Fuschino, F.
101 Galvez, J. ~L.
102 Gandhi, P.
103 Giommi, P.
104 Godet, O.
105 Gö güc s, E.
106 Goldwurm, A.
107 Götz, D.
108 Grassi, M.
109 Guttridge, P.
110 Hakala, P.
111 Henri, G.
112 Hermsen, W.
113 Horak, J.
114 Hornstrup, A.
115 in't Zand, J. ~J. ~M.
116 Isern, J.
117 Kalemci, E.
118 Kanbach, G.
119 Karas, V.
120 Kataria, D.
121 Kennedy, T.
122 Klochkov, D.
123 Klu'zniak, W.
124 Kokkotas, K.
125 Kreykenbohm, I.
126 Krolik, J.
127 Kuiper, L.
128 Kuvvetli, I.
129 Kylafis, N.
130 Lattimer, J. ~M.
131 Lazzarotto, F.
132 Leahy, D.
133 Lebrun, F.
134 Lin, D.
135 Lund, N.
136 Maccarone, T.
137 Malzac, J.
138 Marisaldi, M.
139 Martindale, A.
140 Mastropietro, M.
141 McClintock, J.
142 McHardy, I.
143 Mendez, M.
144 Mereghetti, S.
145 Miller, M. ~C.
146 Mineo, T.
147 Morelli, E.
148 Morsink, S.
149 Motch, C.
150 Motta, S.
151 Mu~noz-Darias, T.
152 Naletto, G.
153 Neustroev, V.
154 Nevalainen, J.
155 Olive, J. ~F.
156 Orio, M.
157 Orlandini, M.
158 Orleanski, P.
159 Ozel, F.
160 Pacciani, L.
161 Paltani, S.
162 Papadakis, I.
163 Papitto, A.
164 Patruno, A.
165 Pellizzoni, A.
166 Petrá cek, V.
167 Petri, J.
168 Petrucci, P. ~O.
169 Phlips, B.
170 Picolli, L.
171 Possenti, A.
172 Psaltis, D.
173 Rambaud, D.
174 Reig, P.
175 Remillard, R.
176 Rodriguez, J.
177 Romano, P.
178 Romanova, M.
179 Schanz, T.
180 Schmid, C.
181 Segreto, A.
182 Shearer, A.
183 Smith, A.
184 Smith, P. ~J.
185 Soffitta, P.
186 Stergioulas, N.
187 Stolarski, M.
188 Stuchlik, Z.
189 Tiengo, A.
190 Torres, D.
191 Török, G.
192 Turolla, R.
193 Uttley, P.
194 Vaughan, S.
195 Vercellone, S.
196 Waters, R.
197 Watts, A.
198 Wawrzaszek, R.
199 Webb, N.
200 Wilms, J.
201 Zampieri, L.
202 Zezas, A.
203 Ziolkowski, J.
Identificador de Curriculo  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12 8JMKD3MGP5W/3C9JHEK
Grupo  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12 CCR-CCR-INPE-MCTI-GOV-BR
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83 DAS-CEA-INPE-MCTI-GOV-BR
Afiliação  1 Istituto di Astrofisica Spaziale e Fisica Cosmica Roma - INAF, Roma, Itália
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12 Instituto Nacional de Pesquisas Espaciais (INPE)
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83 Instituto Nacional de Pesquisas Espaciais (INPE)
RevistaExperimental Astronomy
Volume34
Número2
Páginas415-444
Nota SecundáriaB2_ENGENHARIAS_II
Histórico (UTC)2020-04-29 12:37:28 :: administrator -> simone :: 2012
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-ChaveMissions
X-ray timing
compact objects
black holes
neutron stars
ResumoHigh-time-resolution X-ray observations of compact objects provide direct access to strong-field gravity, to the equation of state of ultradense matter and to black hole masses and spins. A 10 m 2-class instrument in combination with good spectral resolution is required to exploit the relevant diagnostics and answer two of the fundamental questions of the European Space Agency (ESA) Cosmic Vision Theme Matter under extreme conditions, namely: does matter orbiting close to the event horizon follow the predictions of general relativity? What is the equation of state of matter in neutron stars? The Large Observatory For X-ray Timing (LOFT), selected by ESA as one of the four Cosmic Vision M3 candidate missions to undergo an assessment phase, will revolutionise the study of collapsed objects in our galaxy and of the brightest supermassive black holes in active galactic nuclei. Thanks to an innovative design and the development of large-area monolithic silicon drift detectors, the Large Area Detector (LAD) on board LOFT will achieve an effective area of ∼12 m2 (more than an order of magnitude larger than any spaceborne predecessor) in the 230 keV range (up to 50 keV in expanded mode), yet still fits a conventional platform and small/medium-class launcher. With this large area and a spectral resolution of <260 eV, LOFT will yield unprecedented information on strongly curved spacetimes and matter under extreme conditions of pressure and magnetic field strength.
ÁreaCEA
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > The Large Observatory...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > The Large Observatory...
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
Idiomaen
Arquivo Alvoart_10.1007_s10686-011-9237-2.pdf
Grupo de Usuáriosadministrator
banon
marciana
Grupo de Leitoresadministrator
banon
marciana
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft12
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ETR8EH
8JMKD3MGPCW/3EUJHT5
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.50.50 1
DivulgaçãoWEBSCI; PORTALCAPES; MGA.
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Informações Adicionais: Paper published in online edition.
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress electronicmailaddress format isbn label lineage mark mirrorrepository nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Revista Científica (Journal Article)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3C63LDH
Repositóriodpi.inpe.br/plutao/2012/06.21.18.34   (acesso restrito)
Última Atualização2012:08.24.12.36.25 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2012/06.21.18.34.30
Última Atualização dos Metadados2022:04.12.22.26.00 (UTC) administrator
DOI10.1016/j.jss.2011.02.034
ISSN0164-1212
Rótulolattes: 8666823357523918 1 Mattiello-FranciscoMartCavaYano:2012:ApTeIn
Chave de CitaçãoMattiello-FranciscoMartCavaYano:2012:ApTeIn
TítuloInRob: An approach for testing interoperability and robustness of real-time embedded software
Ano2012
MêsJan.
Data de Acesso25 abr. 2024
Tipo SecundárioPRE PI
Número de Arquivos1
Tamanho572 KiB
2. Contextualização
Autor1 Mattiello-Francisco, Maria de Fátima
2 Martins, Eliane
3 Cavalli, Ana Rosa
4 Yano, Edgar Toshiro
Identificador de Curriculo1 8JMKD3MGP5W/3C9JHR8
Grupo1 CCR-CCR-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 IC/UNICAMP, Campinas, Brazil
3 INT/Telecom SudPARIS, Paris, France
4 ITA/CTA, S.J. Campos, Brazil
Endereço de e-Mail do Autor1 fatima@iss.inpe.br
Endereço de e-Mailfatima@iss.inpe.br
RevistaJournal of Systems and Software
Volume85
Número1
Páginas3-15
Nota SecundáriaB1_CIÊNCIA_DA_COMPUTAÇÃO B1_ENGENHARIAS_III A1_ENGENHARIAS_IV A2_INTERDISCIPLINAR B2_MEDICINA_I
Histórico (UTC)2012-06-22 00:10:59 :: lattes -> secretaria.cpa@dir.inpe.br :: 2012
2012-12-12 16:05:02 :: secretaria.cpa@dir.inpe.br -> administrator :: 2012
2018-06-05 00:01:44 :: administrator -> marciana :: 2012
2022-04-11 18:20:57 :: marciana -> administrator :: 2012
2022-04-12 22:26:00 :: administrator -> marciana :: 2012
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-ChaveAccidents - Embedded software - Embedded systems - Integration - Optical telescopes - Quality of service - Software testing - Telescopes - Testing - Timing circuits
ResumoAdvances in digital technologies have contributed for significant reduction in accidents caused by hardware failures. However, the growing complexity of functions performed by embedded software has increased the number of accidents caused by software faults in critical systems. Moreover, due to the highly competitive market, software intensive subsystems are usually developed by different suppliers. Often these subsystems are required to interact with each other in order to provide a collaborative service. Testing approaches for subsystems integration support verification of the quality of service, focusing on the subsystems interfaces. The increasing complexity and tight coupling of real-time subsystems make integration testing unmanageable. The ad-hoc approach for testing is becoming less effective and more expensive. This article presents an integration testing approach denominated InRob, designed to verify the interoperability and robustness related to timing constraints of real-time embedded software. InRob guides the construction of services, based on formal models, aiming at the specifications of interoperability and robustness of test cases related to delays and time-outs of the messages exchanged in the interfaces of interconnected subsystems. The proposed formalism supports automatic test cases generation by verifying the relevant properties in the service behavioral model. As timing constraints are critical properties of aerospace systems, the feasibility of InRob is showed in the integration testing process of a telescope onboard in a satellite. The process is instantiated with existing testing tools and the case study is the software embedded in the telescope.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRE > InRob: An approach...
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
Idiomaen
Arquivo Alvo1-s2.0-S0164121211000550-main.pdf
Grupo de Usuáriosadministrator
lattes
secretaria.cpa@dir.inpe.br
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft24
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3EUJHT5
DivulgaçãoWEBSCI; PORTALCAPES.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url
7. Controle da descrição
e-Mail (login)marciana
atualizar