State Graph Manipulators


Currently, the SGM web page is being updated and reconstructed for the release of the new SGM v3.0.

Click HERE for SGM v2.0 web page

Brief History of SGM:

State-Graph Manipulators (SGM) was "born" in 1998 at the Academia Sinica, Taipei, Taiwan. Dr. Farn Wang was the principal investigator, who planned the design of this tool and Dr. Pao-Ann Hsiung was the developer of the tool in the C programming language. The basic idea of the tool originally was "user-friendliness", which means a user can use high level manipulators to generate state-graphs representing the parallel composition of two or more extended timed automata.

Later, the tool "moved" to National Chung Cheng University, Chiayi, Taiwan in February 2001. Since then it has been maintained by Dr. Pao-Ann Hsiung along with a team of graduate students. SGM has gone through several upgradings and the reduction operators are no longer supported. However, the verification support for different modeling aspects has been enhanced considerably in the tool from 2001 to 2008. Thus during this period, SGM was used in the verification of several kinds of systems including:

Following are the versions of the tool throughout history:

SGM v1.1 ~ v1.3 (released in 1999) had the following features:

SGM v1.4 ~ v1.9 developed from 2000 to 2006 were NOT released to the general public. However, it was used in several research work such as the following:

SGM v2.0 (released in January 2007) has the following features:

SGM v3.0 will be released within the second quarter of 2008. The new release will have the following enhancements:

Current Project Investigator: Pao-Ann Hsiung

Team Members: (updated 2008/03)
Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chao-Sheng Lin, Chih-Chieh Tsao, and Chih-Sheng Lin

Contact SGM Developers.

Maintained by:
Embedded Systems Lab,
Department of Computer Science and Information Engineering,
National Chung Cheng University,
168, University Road, Min-Hsiung, Chiayi, Taiwan, ROC-62102.

(Last Updated: 2008/03/14)