In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 3, pages 887-892. 1999.
Abstract: In contrast to other areas of software design, in control applications the concepts of software quality following ISO/IEC 9126 standard are not very common. However, the primary goal of applying formal methods to controller design is the transparency of the resulting algorithms. The relation of this transparency to software quality is analyzed in this paper using different design methods: finite automata, switching interpreted Petri nets (SPINs), and sequential function charts (SFCs).
Keywords: controller design, interpreted Petri nets, sequential function charts.