<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Joseph Porter</style></author><author><style face="normal" font="default" size="100%">Balasubramanian, Daniel</style></author><author><style face="normal" font="default" size="100%">Graham Hemingway</style></author><author><style face="normal" font="default" size="100%">Sztipanovits, Janos</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">04/2011</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://archive.isis.vanderbilt.edu/sites/default/files/incr_cycle_analysis.pdf</style></url></related-urls></urls><number><style face="normal" font="default" size="100%">ISIS-11-106</style></number><publisher><style face="normal" font="default" size="100%">ISIS, Vanderbilt University</style></publisher><pub-location><style face="normal" font="default" size="100%">Nashville, TN</style></pub-location><abstract><style face="normal" font="default" size="100%">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
to the analysis framework, and an evaluation on a fixed-wing aircraft controller model.  This is part of a larger effort to integrate cycle analysis into the ESMoL tool suite to aid well-formedness checking during model construction.
</style></abstract></record></records></xml>