An efficient search algorithm to find the elementary circuits of a graph
Communications of the ACM
Compositional framework for real-time embedded systems
Compositional framework for real-time embedded systems
Loosely time-triggered architectures based on communication-by-sampling
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Advances in hierarchical real-time systems: incrementality, optimality, and multiprocessor clustering
Hi-index | 0.00 |
We consider the problem of incremental cycle analysis for dataflow models in the Embedded Systems Modeling Language (ESMoL). This is an example of a syntactic property which does not lend itself to compositional analysis. 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. An extended version of this work gives 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[7]. Integrated cycle analysis aids well-formedness checking during model construction in the ESMoL tool suite.