Doctoral thesis
Open access

A domain-specific language approach to hybrid cps modelling

ContributorsKlikovits, Stefan
DirectorsBuchs, Didier
Defense date2019-06-13

The recent advent of cyber-physical systems (CPSs) in end-user applications extends the need for sophisticated model creation, simulation and system verification to new application areas. CPSs such as smart homes seamlessly integrate technology into every-day life, rendering their safety and correctness paramount. The intricacy of these systems' modelling stems from the merging of two opposing views: While flows of physical energy are mostly described using mathematical methods such as differential equations, engineered applications are usually best expressed using discrete formalisms. This thesis describes the creation of the Continuous REactive SysTems language (CREST), a domain-specific language (DSL) dedicated to the combined modelling of physical resource flows and engineered behaviour. The language coherently merges architectural concerns, reactive dataflow and non-determinism. Its Python implementation allows convenient system modelling and supports advanced concerns such as the simulation and formal verification of hybrid systems based on sound theoretical foundations.

  • Cyber-physical systems
  • Domain-specific language
  • Modelling
  • Simulation
  • Verification
Citation (ISO format)
KLIKOVITS, Stefan. A domain-specific language approach to hybrid cps modelling. 2019. doi: 10.13097/archive-ouverte/unige:121355
Main files (1)

Technical informations

Creation07/22/2019 3:24:00 PM
First validation07/22/2019 3:24:00 PM
Update time03/15/2023 5:48:47 PM
Status update03/15/2023 5:48:46 PM
Last indexation01/29/2024 9:53:48 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack