Data/hora: 17/06/2024 08:35:19

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 17/07/1996
Data da última atualização: | 03/10/2007
Autoria: | CAMARGO, M. S. de; FARINES, J. M.
Título: | Uma abordagem para especificação e verificação de sistemas dependentes do tempo.
Ano de publicação: | 1995
Fonte/Imprenta: | In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.
Páginas: | p.107-122.
Idioma: | Português
Conteúdo: | Neste artigo apresenta-se uma abordagem para especificação e verificação de sistemas dependentes do tempo; ou seja, sistemas nos quais o tempo intervem direta e explicitamente (ex. sistemas tempo-real, protocolos de comunicação e aplicações multimídia). Inicialmente, apresenta-se e justifica-se o uso de uma algebra de processos temporizada, RT-LOTOS (uma extensão temporal de LOTOS) para especificação de sistemas dependentes do tempo. Em seguida, abordam-se os métodos para análise/verificação para esse tipo de sistemas e apresenta-se a proposta de uso dos grafos temporizados como modelo subjacente para facilitar a verificação utilizando uma técnica de verificação de modelos a partir da lógica temporal tempo-real TCTL. Por fim, descreve-se um ambiente para  auxílio a verificação que encontra-se atualmente em fase de desenvolvimento.
Palavras-Chave: | modelos; multimídia; Sistema.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3528-1) - ADD - PL - -- - 005.1 - SIM - 1995.00009 - DIS