BDBComp
Parceria:
SBC
Interface Design and Refinement using State based Techniques

Harri KlapuriJarmo TakalaJukka Saarinen

We describe how a state-based model is used to specify embedded systems and achieve successful interface designs. We consider two approaches to implementing hardware-software interfaces. The first approach is a conventional one, modifying only one of the two components with incremental refinements by superposition. The second approach focuses on the interface itself so that coarse-grained interactions can be replaced by implementable fine-grained interactions and refinement formulas. As our specification formalism we use Lamport's Temporal Logic of Actions.

http://csdl.computer.org/dl/proceedings/sbcci/1999/0387/00/03870070.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD