Tiziano Villa
ABSTRACT
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study compositionally progressive solutions of synchronous FSM equations. Such solutions, when combined with the context, do not block any input that may occur in the specification, so they are of practical use. We show that if a synchronous FSM equation has a compositionally progressive solution, then the equation has the largest compositionally progressive solution. We provide an algorithm to compute the largest compositionally progressive solution that splits states of the largest solution and then removes those inducing a non-progressive composition.
- A. Mishchenko, R. Brayton, J.-H. Jiang, T. Villa, and N. Yevtushenko. Efficient solution of language equations using partitioned representations. In The Proceedings of the Design, Automation and Test in Europe Conference volume 01, pages 418--423, March 2005. Google Scholar
Digital Library
Index Terms
- A new algorithm for the largest compositionally progressive solution of synchronous language equations
Recommendations
Compositionally Progressive Solutions of Synchronous FSM Equations
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study compositionally progressive solutions of synchronous FSM equations. Such ...
Progressive solutions to a parallel automata equation
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by solving the parallel automata equation A ⋄ X ≃ C. We present an algorithm ...
Progressive Solutions to FSM Equations
CIAA '08: Proceedings of the 13th international conference on Implementation and Applications of AutomataThe equation solving problem is to derive the behavior of the unknown component X knowing the joint behavior of the other components (or the context) C and the specification of the overall system S . The component X can be derived by solving the ...
Comments