© 2006. A. Kirakozov, A. Shalyto, B. Yaminov
Saint-Petersburg State University of Information Technologies, Mechanics and Optics
Project documentation (russian, PDF)
Executable file (interpretation approach)
Executable file (compilative approach)
Source code
This work is an example of developing car alarm system using automata approach. The tool Unimod is used for it.
When designing and developing a system where logical control is used final state automata can make it easier. Such a system has a number of states and transite between them when events occur. Created graphs of connections and transitions represent design of system and make it easier to understand and change the system behaviour.
Unimod provides a useful tool for creating automata designed application. Firstly you create design and automata and afterwards you implement methods. As a result application is splitted into not connected parts which makes it easier to develop or change the program
To run application download executable archive, extract it and run run.bat.