en
Doctoral thesis
Open access
English

A domain-specific language approach to hybrid cps modelling

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

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.

eng
Keywords
  • 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)
Thesis
accessLevelPublic
Identifiers
609views
1200downloads

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