Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Formal refinement modeling using patterns in hardware/software co-design

Tsasakou S.

Foundations of Computing and Decision Sciences

2005

Vol. 30, No. 3

241-261

A co-design methodology is presented for correct stepwise refinement of abstract system architectures into lower-level implementation architectures. The methodology is based on the modeling of the basic refinement procedures (control and data related refinement) that constitute most of the system architecture implementations. The refinement models rely on the use of patterns, an idea/practice adopted from the software engineering world and adjusted to the needs of hardware-software co-design. Each pattern defines the steps that should be foilowed for the transition from an abstract system model to a more detailed one. The validity of each pattern is proved using the rules and axioms of TLA (Temporal Logic of Actions). The applicability of the presented methodology is exhibited through the use of the pattern-based refinement process in a representative design cases appearing in hardware-software co-design.