Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published June 6, 2018 | Version v1
Report Open

CREST Formalization

  • 1. University of Geneva

Description

CREST is a novel modelling language for the definition of Continuous-time, REactive SysTems. This domain-specific language (DSL) targets small cyber-physical systems (CPS) such as home automation systems. While CREST is a graphical language and its systems can be visualised as CREST diagrams, the main form of use is as internal DSL for the Python general purpose programming language. Nevertheless, CREST systems are based on a formal structure and semantics. This report provides this formalisation and elaborates on the design choices that have been made.

Files

CREST_Formalization.pdf

Files (426.8 kB)

Name Size Download all
md5:9f382d0be2a1806c8a131ee725690286
426.8 kB Preview Download