Kerstin Bauer
Department of Computer Science, University of Kaiserslautern, Germany
Klaus Schneider
Department of Computer Science, University of Kaiserslautern, Germany
Ladda ner artikel
http://dx.doi.org/10.3384/ecp11063207Ingår i: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
Linköping Electronic Conference Proceedings 63:24, s. 207-217
Publicerad: 2011-06-30
ISBN: 978-91-7393-096-3
ISSN: 1650-3686 (tryckt), 1650-3740 (online)
Outputs of synchronous programs may suffer from cyclic dependencies since statements are allowed to read the current outputs’ values to determine the actions that generate the current values of the outputs. For this reason; compilers have to perform a causality analysis that ensures that at any point of time; there is a unique and constructive way to determine the outputs. The discrete parts of hybrid systems may suffer from the same problem as observed in synchronous programs. As we recently extended our synchronous language Quartz to describe hybrid systems; we explain in this paper how the causality analysis as originally introduced for synchronous systems can also be used to handle cyclic dependencies in hybrid Modelica programs.
Inga referenser tillgängliga