Hierarchical concurrent finite state machines in Ptolemy

Author

Bilung Lee ; Lee, Bilung

Author_Institution

California Univ., Berkeley, CA, USA

fYear

1998

fDate

23-26 Mar 1998

Firstpage

34

Lastpage

40

Abstract

We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is successfully integrated with synchronous dataflow (SDF) and discrete event (DE) concurrency domains in Ptolemy. In this heterogeneous combination, the semantics of FSM, concurrency and hierarchy are naturally supported in a manner similar to hierarchical concurrent FSMs (HCFSMs). Unlike most formalisms that support HCFSMs, such as Statecharts and its variants, our scheme decouples the FSM from the concurrency models, enabling selection of the most appropriate concurrency model for the problem at hand

Keywords

finite state machines; formal specification; parallel programming; systems analysis; FSM domain; HCFSMs; Ptolemy software environment; concurrency models; control functionality; discrete event concurrency domains; hierarchical concurrent FSMs; hierarchical concurrent finite state machines; synchronous dataflow; Automata; Computational modeling; Concurrent computing; Safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on

Conference_Location

Fukushima

Print_ISBN

0-8186-8350-3

Type

conf

DOI

10.1109/CSD.1998.657537

Filename

657537