| |
|
|
|
Registro Completo |
|
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: |
-- |
|
Marc: |
LEADER 01441naa a2200181 a 4500
001 1002961
005 2007-10-03
008 1995 bl uuuu u00u1 u #d
100 1 $aCAMARGO, M. S. de
245 $aUma abordagem para especificação e verificação de sistemas dependentes do tempo.
260 $c1995
300 $ap.107-122.
520 $aNeste 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.
653 $amodelos
653 $amultimídia
653 $aSistema
700 1 $aFARINES, J. M.
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.
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 : 1 | |
| Registros recuperados : 1 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
