Akesson, K., Fabian, M., Flordal, H. & Malik, R.(2006). Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems. In S. Lafortune, F. Lin, and D. Tilbury (Eds), Proceedings of the Eighth International Workshop on Discrete Event Systems (WODES 2006). United States, IEEE, Michigan, USA, 10-12 July, 2006.(pp.384-385). Washington, DC, USA: IEEE.
Permanent Research Commons link: https://hdl.handle.net/10289/1784
An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard.
This article has been published in the Proceedings of the Eighth International Workshop on Discrete Event Systems (WODES 2006). ©2006 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to severs or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.