The Unknown Component Problem

by Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre

• ISBN13: 9780387345321
• ISBN10: 0387345329
• Format: Hardcover
• Copyright: 2011-11-15
• Publisher: Springer-Verlag New York Inc

Summary

Consider the problem of designing a component that combined with a known part of a system, called the context, conforms to a given overall specification. This question arises in several applications ranging from logic synthesis to the design of discrete controllers. We cast the problem as solving abstract equations over languages and study the most general (largest) solutions under the synchronous and parallel composition operators. We also specialize such equations to languages associated with important classes of automata used for modeling systems, e.g., regular languages as counterparts of finite automata, FSM languages as counterparts of FSMs. Then we operate algorithmically on those languages through their automata and study how to solve effectively their language equations. We investigate the largest subsets of solutions closed with respect to various language properties; in particular, classes of the largest compositional solutions (defined by properties exhibited by the composition of the solution and of the context). We provide the first algorithm to compute the largest compositionally progressive solution of synchronous equations. This approach unifies in a seamless frame previously reported techniques. As an application we solve the classical problem of synthesizing a converter between a mismatched pair of protocols, using their specifications, as well as those of the channel and the required service. We provide a detailed account of previous approaches developed in different scientific communities, including contributions from design automation of sequential circuits to discrete event systems modeling and synthesis.

Table of Contents

The Unknown Component Problem.- Reducing the Unknown Component Problem to Equations over Languages.- Solving Equations over Languages and Automata.- Solving Equations over Finite State Machines.- Solving Equations over w-Automata.- Solving Equations over Petri Nets.- Modeling Supervisory Control Problems by Language Equations.- Finding Game Strategies by Solving Language Equations.- A Package for Solving Language Equations.- An Example: Solving the Protocol Mismatch Problem.-Conclusions and Open Problems.