Use este identificador para citar ou linkar para este item:
https://ri.ufs.br/jspui/handle/riufs/1106
Tipo de Documento: | Artigo |
Título: | Using CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioningUsing CafeOBJ to implement a reduction strategy in the context of hardware/software partitioning |
Autor(es): | Silva, André Luís Meneses Menezes, Manoel Messias Silva, Leila |
Data do documento: | Mai-2004 |
Abstract: | The focus of this work is hardware/software partitioning verification. The approach uses occam as specification and reasoning language. The partitioned system is derived from the original de- scription of the system by applying transformation rules, all of them proved from the basic laws of occam. The aim of this work is to show how the rewriting system CafeOBJ can be used to automatically prove the partitioning rules, as well as to implement the reduction strategy that guides the application of these rules. In this way, rewriting systems can be regarded as supporting tools for the construction of partitioning environments, whose emphasis is correctness. |
Palavras-chave: | Verificação de particionamento Sistemas de reescrita Hardware Software |
ISSN: | 1571-0661 |
Instituição/Editora: | Elsevier |
Citação: | SILVA, A. L. M.; MENEZES, M. M.; SILVA, L. Using CafeOBJ to implement a reduction strategy in the context of hardware/software partitioning. Electronic Notes in Theoretical Computer Science, v. 95, p. 63-82, 2004. Disponível em: <http://www.sciencedirect.com/science/article/pii/S1571066104050157#>. Acesso em: 29 ago. 2014. |
Licença: | Creative Commons License |
URI: | https://ri.ufs.br/handle/riufs/1106 |
Aparece nas coleções: | DSI - Artigos de periódicos |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
UsingCafeOBJ.pdf | 295,84 kB | Adobe PDF | ![]() Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.