Published June 6, 2018
| Version v1
Report
Open
CREST Formalization
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 |