Data/hora: 20/06/2024 18:38:10

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: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (7092-1) - ADD - PL - -- - 004.6 - SIM - 1998.00001 - DIS