Konferensartikel

Transferring Causality Analysis from Synchronous Programs to Hybrid Programs

Kerstin Bauer
Department of Computer Science, University of Kaiserslautern, Germany

Klaus Schneider
Department of Computer Science, University of Kaiserslautern, Germany

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp11063207

Ingå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

Visa mer +

Publicerad: 2011-06-30

ISBN: 978-91-7393-096-3

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

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.

Nyckelord

Inga nyckelord är tillgängliga

Referenser

Inga referenser tillgängliga

Citeringar i Crossref