Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models
Author
Abstract

We consider the problem of incremental cycle analysis for dataflow models in
the Embedded Systems Modeling Language (ESMoL). We give a general form of a
cycle enumeration algorithm that makes use of graph hierarchy to improve
analysis efficiency. Our framework also stores simple connectivity information
in the model to accelerate future cycle analyses when additional components
are added or modifications are made. Finally we give a mapping from a term
algebraic model of the ESMoL component model and logical dataflow sublanguages

Year of Publication
2011
Document Number
ISIS-11-106
Date Published
04/2011
Institution
ISIS, Vanderbilt University
City
Nashville, TN
Attachments
Google Scholar | BibTeX | XML