Proceedings chapter
OA Policy
English

CREST - A DSL for Reactive Cyber-Physical Systems

Presented atCopenhagen (Denmark), 15-16 October 2018
PublisherCham : Springer
Publication date2018
Abstract

This article presents CREST, a novel domain-specific language for the modelling of cyber-physical systems. CREST is designed for the simple and clear modelling, simulation and verification of small-scale systems such as home and office automation, smart gardening systems and similar. The language is designed to model the flow of resources throughout the system. It features synchronous system evolution and reactive behaviour. CREST's formal semantics allow real-valued time advances and the modelling of timed system evolution. The continuous time concept permits the precise simulation of future system behaviour by automatically calculating next transition times. We present CREST in a practical manner, and elaborate on the Python-based DSL implementation and simulator.

Funding
  • Swiss National Science Foundation - STRATOS
  • Autre - COST IC1404
Citation (ISO format)
KLIKOVITS, Stefan, LINARD, Alban, BUCHS, Didier. CREST - A DSL for Reactive Cyber-Physical Systems. In: 10th International Conference on System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, SAM 2018. Copenhagen (Denmark). Cham : Springer, 2018. p. 29–45. doi: 10.1007/978-3-030-01042-3_3
Main files (1)
Proceedings chapter (Accepted version)
accessLevelPublic
Identifiers
Additional URL for this publicationhttp://link.springer.com/10.1007/978-3-030-01042-3_3
ISBN978-3-030-01041-6
300views
501downloads

Technical informations

Creation01/07/2020 15:09:00
First validation01/07/2020 15:09:00
Update15/03/2023 22:13:26
Status update15/03/2023 22:13:25
Last indexation31/10/2024 19:06:13
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack