Skip to content
Continuous REactive SysTems DSL
Branch: master
Clone or download
Latest commit e260ce5 Apr 27, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
crestdsl fixing things before thesis hand-in Apr 27, 2019
docs verification package and some documentation Apr 23, 2019
scripts
tests verification package and some documentation Apr 23, 2019
.gitignore ignore ipynb files... add & commit them explicitly if you need them Feb 26, 2019
.travis.yml Update .travis.yml Apr 27, 2019
Dockerfile Merge branch 'master' of https://github.com/stklik/CREST Apr 15, 2019
LICENSE.md Create LICENSE.md Jul 17, 2018
MANIFEST.in fix small stuff, replace icon links with base64 encodings Mar 30, 2019
README.md Update README.md Apr 16, 2019
Simulation.ipynb fix small things Mar 30, 2019
Syntax-Semantics.ipynb fix small things Mar 30, 2019
ThreeMasses.ipynb fix plotting in ThreeMasses Jul 19, 2018
requirements.txt update to version 0.5 Apr 24, 2019
setup.py update to 0.5.1 Apr 27, 2019

README.md

CREST - A Continuous REactive SysTems DSL

Build Status PyPI Documentation Status codecov (I know, I know, I'm really busy though...)

Binder <-- Launch this repository and play with CREST directly in your browser!


Introduction

CREST is a novel modelling language for the definition of Continuous-time, REactive SysTems. It is a domain-specific language (DSL) targets small cyber-physical systems (CPS) such as home automation systems. Specifically, it focusses on the flow and transfer of resources within a CPS. 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.

Try me !

CREST uses Docker, Jupyter notebooks and Binder to create, edit and simulate interactive models online.

You can try CREST yourself by clicking on this link (or on the "launch binder" badge above).

You will find several notebooks that will introduce CREST's Syntax & Semantics and Simulation. You can also just launch the docker container on binder (click the badge) and create a new notebook. You can then create and simulate your own models.

Installation

Recommended: Download/clone this repository and use the sources. The easiest way is to use the latest version of CREST is to either launch it on Binder (see above), or create a local Docker image (scripts/docker-build.sh) and then run it (scripts/docker-run.sh). Alternatively you can use repo2docker.

Local install: You can also use CREST locally and install the dependencies manually. See the Dockerfile for information about the tools and libraries that are used. CREST also requires Microsoft's Z3Prover to be installed (including the Python API).

Soon: A pip-install is in the pipelines but has been delayed due to publication season :-)


Publications

Stefan Klikovits, Auélien Coet and Didier Buchs: ML4CREST: Machine Learning for CPS Models . 2nd International Workshop on Model Driven Engineering for the Internet-of-Things (MDE4IOT), Copenhagen, 2018
@InProceedings{Klikovits:MDE4IOT:ML4CREST,
    title = {{ML4CREST}: Machine Learning for CPS Models},
    author = {Stefan Klikovits and Aur\'{e}lien Coet and Didier Buchs},
    booktitle = {2nd International Workshop on Model Driven Engineering for the Internet-of-Things (MDE4IOT), Copenhagen, Denmark, October 15, 2018. Proceedings},
    year = {2018},
}
    
Stefan Klikovits, Alban Linard and Didier Buchs: CREST - A DSL for Reactive Cyber-Physical Systems. 10th System Analysis and Modeling Conference (SAM) 2018
@InProceedings{Klikovits:SAM18:CREST,
    title = {{CREST} - A {DSL} for Reactive Cyber-Physical Systems},
    author = {Stefan Klikovits and Alban Linard and Didier Buchs},
    booktitle = {10th International System Analysis and Modeling Conference (SAM 2018), Copenhagen, Denmark, October 15-16, 2018. Proceedings},
    year = {2018},
    pages = {29-45},
    isbn = {978-3-030-01041-6}
}
    
Stefan Klikovits, Alban Linard, and Didier Buchs: CREST Formalization. Technical Report. Software Modeling and Verification Group, University of Geneva. 2018
@techreport{Klikovits:CRESTFormalization:2018,
    author = {Stefan Klikovits and Alban Linard and Didier Buchs},
    title = {{CREST} Formalization},
    institution = {Software Modeling and Verification Group, University of Geneva},
    doi = {10.5281/zenodo.1284561},
    year = {2018}
}
Stefan Klikovits, Alban Linard, Didier Buchs: CREST - A Continuous, REactive SysTems DSL. MODELS (Satellite Events) 2017: 286-291
@inproceedings{Klikovits:CREST:Gemoc:2017,
  author    = {Stefan Klikovits and
               Alban Linard and
               Didier Buchs},
  title     = {{CREST} - {A} Continuous, REactive SysTems {DSL}},
  booktitle = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
               ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
               MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
               Research Competition, and Tools and Demonstrations co-located with
               {ACM/IEEE} 20th International Conference on Model Driven Engineering
               Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
               17, 2017.},
  pages     = {286--291},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-2019/gemoc\_2.pdf}
}

Thanks

  • to Prof. Didier Buchs and the University of Geneva or enabling me to do this research project
  • to the Jupyterhub and Binder teams for providing their amazing service
You can’t perform that action at this time.