| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
28/07/1998 |
|
Data da última atualização: |
22/08/2007 |
|
Autoria: |
FARIAS, C. R. G. de; SOUZA, W. L. de. |
|
Título: |
Especificacao formal e validacao de um Kernel paralelo tempo real. |
|
Ano de publicação: |
1998 |
|
Fonte/Imprenta: |
In: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998. |
|
Páginas: |
p.258-277 |
|
Idioma: |
Português |
|
Conteúdo: |
Este trabalho apresenta os resultados de um projeto no qual a tecnica de descricao formal(TDF) language of temporal ordering specification(LOTOS), um padrao da international organization for standardization(ISO), foi utilizada com sucesso na especificacao de um kernel industrial para aplicacoes de tempo real. LOTOS foi utilizada na especificacao do TRANS-ETXC, um kernel paralelo tempo rela desenvolvido pela Itelligent Systems International e atualmente comercializado como virtuoso pela Eonic Systems. A descricao LOTOS do TRANS-RTXC, desenvolvida neste projeto, foi validada atraves de uma abordagem que combinou atividades de simulacao e verificacao, empregando-se o conjunto de ferramentas Minilite. |
|
Palavras-Chave: |
Especificacao; LOTOS; Sistemas de tempo real; TDF; Validacao. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01335naa a2200205 a 4500
001 1006463
005 2007-08-22
008 1998 bl uuuu u00u1 u #d
100 1 $aFARIAS, C. R. G. de
245 $aEspecificacao formal e validacao de um Kernel paralelo tempo real.
260 $c1998
300 $ap.258-277
520 $aEste trabalho apresenta os resultados de um projeto no qual a tecnica de descricao formal(TDF) language of temporal ordering specification(LOTOS), um padrao da international organization for standardization(ISO), foi utilizada com sucesso na especificacao de um kernel industrial para aplicacoes de tempo real. LOTOS foi utilizada na especificacao do TRANS-ETXC, um kernel paralelo tempo rela desenvolvido pela Itelligent Systems International e atualmente comercializado como virtuoso pela Eonic Systems. A descricao LOTOS do TRANS-RTXC, desenvolvida neste projeto, foi validada atraves de uma abordagem que combinou atividades de simulacao e verificacao, empregando-se o conjunto de ferramentas Minilite.
653 $aEspecificacao
653 $aLOTOS
653 $aSistemas de tempo real
653 $aTDF
653 $aValidacao
700 1 $aSOUZA, W. L. de
773 $tIn: SIMPOSIO BRASILEIRO DE REDES DE COMPUTADORES, 16., 1998, Rio de Janeiro. Anais. Rio de Janeiro: Universidade Federal Fluminense, 1998.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 10 | |
| 2. |  | SOUZA, W. L.; MORAES, E. A.; OLIVEIRA, R. P. de. Colesterol carregado pela ciclodextrina sobre a criopreservação dos espermatozoides de garanhões da raça Nordestina. Pesquisa Veterinária Brasileira, Brasília, DF, v. 38, n. 5, p. 991-996, maio, 2018.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Semiárido; Embrapa Unidades Centrais. |
|    |
| 4. | | SOUZA, W. L. da S.; VIEIRA, H. S. E.; SILVA, Y. J. A. B. de; RIBEIRO FILHO, M. R.; CANTALICE, J. R. B.; SILVA, A. B. da. Avaliação de atributos químicos da camada superficial de solos cultivados com uva sob diferentes sistemas de manejo. JORNADA DE ENSINO, PESQUISA E EXTENSÃO DA UNIVERSIDADE FEDERAL DE PERNAMBUCO, 7., 2007, Recife.| Tipo: Resumo em Anais de Congresso | Circulação/Nível: -- - -- |
| Biblioteca(s): Embrapa Solos. |
| |
| 5. | | SANTOS, M. A. M.; GRADELA, A.; MORAES, E. A.; SOUZA, W. L.; ALVES, N. G.; COSTA, J. M. S.; MATOS, W. C. G. Características de sêmen a fresco e descongelado de garanhões da raça nordestina. Pesquisa Veterinária Brasileira, Brasília, DF, v. 35, n. 11, p. 925-932, nov. 2015.| Biblioteca(s): Embrapa Unidades Centrais. |
| |
| 6. | | SOUZA, W. L.; MORAES, E. A.; COSTA, J. M. S.; SOUSA, P. H. F.; LOPES JUNIOR, E. S.; OLIVEIRA, R. P. de; TONIOLLI, R. Efeito de diferentes concentrações de melatonina em espermatozoides de carneiros sobre estresse oxidativo após criopreservação. Pesquisa Veterinária Brasileira, Brasília, DF, v.36, n. 7, p. 657-664, jul. 2016.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 2 |
| Biblioteca(s): Embrapa Semiárido; Embrapa Unidades Centrais. |
| |
| 7. | | ANDRADE, J. C de P. A.; JORDÁ JÚNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L de L.; GOMES, M.; FERNANDES, V. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no sul da Bahia. In: MONTOYA VILCAHUAMAN, L. J.; RIBASKI, J.; MACHADO, A. M. B. (Ed.). Sistemas agroflorestais e desenvolvimento com proteção ambiental: práticas e tecnologias desenvolvidas. Colombo: Embrapa Florestas, 2006. p. 201-214.| Biblioteca(s): Embrapa Florestas. |
| |
| 8. | | ANDRADE, J. C. de P.; JORDÁ JUNIOR, J. B.; SOUZA, W. L. de; BARBOSA, L. de L. SILVA, D. C. da; GOMES, M. Fundo capital semente: um modelo de financiamento para sistemas agroflorestais, no Sul da Bahia. In: CONGRESSO BRASILEIRO DE SISTEMAS AGROFLORESTAIS, 5., 2004, Curitiba. SAFs: desenvolvimento com proteção ambiental: anais. Colombo: Embrapa Florestas, 2004. p. 217-219. (Embrapa Florestas. Documentos, 98).| Biblioteca(s): Embrapa Florestas. |
| |
| 9. | | VIEIRA, H. S. E.; SOUZA, W. L. da S.; SILVA, Y. J. A. B. de; SILVA, U. J. A. B. da, CURZ NETO, H. F. de, CANTALICE, J. R. B.; RIBEIRO FILHO, M. R.; SILVA, A. B. da. Propriedades Físicas e teor de carbono orgânico de um argissolo sob dois sistema de manejo e mata nativa. JORNADA DE ENSINO, PESQUISA E EXTENSÃO DA UNIVERSIDADE FEDERAL DE PERNAMBUCO, 7., 2007, Recife. Rsumo| Tipo: Resumo em Anais de Congresso | Circulação/Nível: -- - -- |
| Biblioteca(s): Embrapa Solos. |
| |
| 10. | | SOUZA, W. L. da S.; VIEIRA, H. S. E.; SILVA, Y. J. A. B. de; CANTALICE, J. R. B.; MEUNIER, I. M. J.; RIBEIRO FILHO, M. R.; SILVA, A. B. da; COSTA, C. da S. Número de amostras necessárias para representar alguns atributos químicos de um solo sob diferentes sistemas de manejo JORNADA DE ENSINO, PESQUISA E EXTENSÃO DA UNIVERSIDADE FEDERAL DE PERNAMBUCO, 7., 2007, Recife.| Tipo: Resumo em Anais de Congresso | Circulação/Nível: -- - -- |
| Biblioteca(s): Embrapa Solos. |
| |
| Registros recuperados : 10 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
