Please use this identifier to cite or link to this item: http://ri.ufs.br/jspui/handle/riufs/1106
Document Type: Artigo
Title: 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
Authors: Silva, André Luís Meneses
Menezes, Manoel Messias
Silva, Leila
Issue Date: May-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.
Keywords: Verificação de particionamento
Sistemas de reescrita
Hardware
Software
ISSN: 1571-0661
Publisher / Institution : Elsevier
Citation: 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.
License: Creative Commons License
URI: https://ri.ufs.br/handle/riufs/1106
Appears in Collections:DSI - Artigos publicados em periódicos

Files in This Item:
File Description SizeFormat 
UsingCafeOBJ.pdf295,84 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.