UNIGE document Doctoral Thesis
previous document  unige:121355  next document
add to browser collection
Title

A domain-specific language approach to hybrid cps modelling

Author
Director
Defense Thèse de doctorat : Univ. Genève, 2019 - Sc. 5354 - 2019/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.
Keywords Cyber-physical systemsDomain-specific languageModellingSimulationVerification
Identifiers
URN: urn:nbn:ch:unige-1213552
Full text
Thesis (2.8 MB) - public document Free access
Structures
Research group Software Modeling and Verification
Citation
(ISO format)
KLIKOVITS, Stefan. A domain-specific language approach to hybrid cps modelling. Université de Genève. Thèse, 2019. https://archive-ouverte.unige.ch/unige:121355

27 hits

39 downloads

Update

Deposited on : 2019-07-26

Export document
Format :
Citation style :