Abstract
CAST.FSM denotes a CAST tool which has been developed at the Institute of Systems Science at the University of Linz during the years 1986–1993. The first version of CAST.FSM was implemented in INTERLISP-D and LOOPS for the Siemens-Xerox workstation 5815 (“Dandelion”). CAST.FSM supports the application of the theory of finite state machines for hardware design tasks between the architecture level and the level of gate circuits. The application domain, to get practical experience for CAST.FSM, was the field of VLSI design of ASICS’s where the theory of finite state machines can be applied to improve the testability of such circuits (“design for testability”) and to optimise the required silicon area of the circuit (“floor planning”). An overview of CAST as a whole and of CAST.FSM as a CAST tool is given in [11]. In our presentation we want to report on the re-engineering of CAST.FSM and on new types of applications of CAST.FSM which are currently under investigation. In this context we will distinguish between three different problems:
-
1.
the implementation of CAST.FSM in ANSI Common Lisp and the design of a new user interface by Rudolf Mittelmann [5].
-
2.
the search for systemstheoretical concepts in modelling intelligent hierarchical systems based on the past work of Arthur Koestler [3] following the concepts presented by Franz Pichler in [10].
-
3.
the construction of hierarchical formal models (of multi-layer type) to study attributes which are assumed for SOHO-structures (SOHO = Self Organizing Hierarchical Order) of A. Koestler.
The latter problem will deserve the main attention in our presentation. In the present paper we will build such a hierarchical model following the concepts of parallel decomposition of finite state machines (FSMs) and interpret it as a multi-layer type of model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ferber J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison Wesley Longman (1999)
Hartmanis J., Stearns R. E.: Algebraic Structure Theory of Sequential Machines. Prentice Hall Series in Applied Mathematics (1966)
Koestler A.: The Ghost in the Machine. Hutchkinson&Co.Ltd. London (1967)
Meine S.: A Holarchical Organized Design Assistant for Hierarchical Desompositions. to be published in Eurocast’2001. Lecture Notes in Computer Science. Springer-Verlag, Berlin Heidelberg New York (2001)
Mittelmann, R.: CAST-FSM in ANSI Common Lisp und Neuimplementierung der Benutzeroberfläche. Technical Report, 14 pages. (2000)
Mittelmann, R.: Systems Theory on the Apple Macintosh: macCASTfsm Unser’s Guide. Technical Report, 50 pages. (1992)
Müller-Wipperfürth T., Geiger M.: Algebraic Decomposition of MCNC Benchmark FSMs for Logic Synthesis. In: IEEE Proceedings EURO ASIC’91, Paris (1991) 146–151
Müller-Wipperfürth T., Pichler F.: FSM State Assignment for Improved Testability. In:International Workshop on Logic Synthesis. Tahoe City (1993) P5/1–P5/6
Müller-Wipperfürth T., Scharinger J., Pichler F.: FSM Shift Register Realization for Improved Testability. In: Pichler, F., Moreno-Diaz, R. (eds.): Eurocast’93. Lecture Notes in Computer Science, Vol. 763. Springer-Verlag, Berlin Heidelberg New York (1993) 254–267
Pichler F.: Modeling Complex Systems by Multi-agent Holarchies. In: Pichler, F., Moreno-Diaz, R. (eds.): Eurocast’99. Lecture Notes in Computer Science, Vol. 1798. Springer-Verlag, Berlin Heidelberg New York (2000) 154–168
Pichler F., Schwärzel H.: CAST: Computerunterstützte Systemtheorie. Springer-Verlag, Berlin Heidelberg New York (1990)
Prähofer H.: Ein Programmsystem zur Unterstützung von automatentheoretischen Verfahren. In: Pernul, A Min Tjoa (eds.): 10. Fachtagung, Informatik-Forschungsinstitut. Oldenbourg, Mnchen (1987)
Scharinger J.: Implementierung der Schieberegister-Realisierung für CASTSysteme. Master Thesis, University of Linz (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Affenzeller, M., Pichler, F., Mittelmann, R. (2001). On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata. In: Moreno-Díaz, R., Buchberger, B., Luis Freire, J. (eds) Computer Aided Systems Theory — EUROCAST 2001. EUROCAST 2001. Lecture Notes in Computer Science, vol 2178. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45654-6_3
Download citation
DOI: https://doi.org/10.1007/3-540-45654-6_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42959-3
Online ISBN: 978-3-540-45654-4
eBook Packages: Springer Book Archive