Logo TU Ilmenau




"E-Learning Tools for Teaching the Design and Validation of Finite State Machines",in: F.Vandamme at all; Elearning II and the knowledge society, ISBN 90-70963-922, pp. 327-341. Communication and Cognition

Dr.-Ing. Heinz- Dietrich Wuttke
A. Sudnitson
Dr.-Ing. Prof. h. c. Karsten Henke
Date of publication
Theoretical basics in Boolean algebra and design of combinational circuits are taught in basic lessons during the first semester. Advanced lessons dealing with the design of more complex sequential circuits and control systems in upper courses. Theoretical basis for such a circuit design are “Automata” or so called “Petri-Nets”. While Petri-Nets can be used for a description of more complex and parallel processes an automaton description in the form of a so called Finite State Machine (FSM) can be directly transferred into a digital circuit. That’s why the automata model is also integrated in many design tools such as StateMateTM. Depending on such design tool implementation different kinds of behaviour are integrated. To understand such differences students have to be taught in theoretical as well as practical aspects. In this paper we want to demonstrate, how special tailored e-Learning- tools can be used for teaching the design and validation of “Finite State Machines". The Paper is structured as follows: After some motivation words we explain shortly the role of Finite State Machines in the design process. We show how several design steps can be supported by special tools, so called “Living pictures”, which are tailored to educational purposes. Some examples of the developed tools close the explanations.
External link