Title :
IEEE recommended practice for powering and grounding electronic equipment. (Color Book Series - Emerald Book)
Author :
Klapuri, Harri ; Takala, Jarmo ; Saarinen, Jukka
Author_Institution :
Signal Process. Lab., Tampere Univ. of Technol., Finland
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 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
Keywords :
embedded systems; formal specification; hardware-software codesign; temporal logic; embedded system specification; fine-grained interactions; hardware-software interfaces; interface design; interface refinement; refinement formulas; state-based model; Automata; Degradation; Embedded system; Identity-based encryption; Laboratories; Logic; Safety; Signal processing; Writing;
Conference_Titel :
Integrated Circuits and Systems Design, 1999. Proceedings. XII Symposium on
Conference_Location :
Natal
Print_ISBN :
0-7695-0387-X
DOI :
10.1109/SBCCI.1999.802970
