Interface design and refinement using state-based techniques

Authors:
Harri Klapuri;Jarmo Takala;Jukka Saarinen
Affiliations:
Tampere University of Technology, Signal Processing Laboratory, Tampere, Finland;Tampere University of Technology, Signal Processing Laboratory, Tampere, Finland;Tampere University of Technology, Signal Processing Laboratory, Tampere, Finland
Venue:
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Year:
1999

Citing 4
Cited 0

The existence of refinement mappings

Theoretical Computer Science
The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification and design of embedded systems

Specification and design of embedded systems
Systems Engineering Using SDL-92

Systems Engineering Using SDL-92

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 intelface 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.