Abstract
The 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 Finite State Machine (FSM) equation C \(\lozenge\) X ~ S, where \(\lozenge\) is the parallel composition operator and ~ is the trace equivalence or the trace reduction relation. A solution X to an FSM equation is called progressive if for every external input sequence the composition C \(\lozenge\) X does not fall into a livelock without an exit. In this paper, we formally define the notion of a progressive solution to a parallel FSM equation and present an algorithm that derives a largest progressive solution (if a progressive solution exists). In addition, we generalize the work to a system of FSM equations. Application examples are provided.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
El-Fakih, K., Yevtushenko, N., Buffalov, S., Bochmann, G.: Progressive Solutions to a Parallel Automata Equation. Theoretical Computer Science 362, 17–32 (2006)
Petrenko, A., Yevtushenko, N.: Solving Asynchronous Equations. In: Formal Description Techniques and Protocol Specification, Testing, and Verification, pp. 231–247 (1998)
Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A., Sangiovanni-Vincentelli, A.: Solution of Parallel Language Equations for Logic Synthesis. In: ICCAD, pp. 103–110 (2001)
Yevtushenko, N., Villa, T., Brayton, R., Petrenko, A., Sangiovanni-Vincentelli, A.: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1), 51–89 (2008)
Yevtushenko, N., Zharikova, S., Vetrova, M.: Multi Component Digital Circuit Optimization by Solving FSM Equations. In: Euromicro Symposium on Digital System Design, pp. 62–68. IEEE Computer society, Los Alamitos (2003)
Hopcroft, J., Ullman, J.: Introduction to automata theory, Languages, and Computation. Addison-Wesley, Reading (1979)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
El-Fakih, K., Yevtushenko, N. (2008). Progressive Solutions to FSM Equations. In: Ibarra, O.H., Ravikumar, B. (eds) Implementation and Applications of Automata. CIAA 2008. Lecture Notes in Computer Science, vol 5148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70844-5_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-70844-5_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70843-8
Online ISBN: 978-3-540-70844-5
eBook Packages: Computer ScienceComputer Science (R0)