Report Open Access

CREST Formalization

Klikovits, Stefan; Linard, Alban; Buchs, Didier

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 (426.8 kB)
Name Size
CREST_Formalization.pdf
md5:9f382d0be2a1806c8a131ee725690286
426.8 kB Download
6
3
views
downloads
All versions This version
Views 66
Downloads 33
Data volume 1.3 MB1.3 MB
Unique views 44
Unique downloads 22

Share

Cite as