Abstract | ||
---|---|---|
We describe our work on a UTP semantics for the dynamic systems modelling language Modelica. This is a language for modelling a system's continuous behaviour using a combination of differential-algebraic equations and an event-handling system. We develop a novel UTP theory of hybrid relations, inspired by Hybrid CSP and Duration Calculus, that is purely relational and provides uniform handling of continuous and discrete variables. This theory is mechanised in our Isabelle implementation of the UTP, Isabelle/UTP, with which we verify some algebraic properties. Finally, we show how a subset of Modelica models can be given semantics using our theory. When combined with the wealth of existing UTP theories for discrete system modelling, our work enables a sound approach to heterogeneous semantics for Cyber-Physical systems by leveraging the theory linking facilities of the UTP. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-52228-9_3 | UNIFYING THEORIES OF PROGRAMMING, UTP 2016 |
Field | DocType | Volume |
Programming language,Computer science,Algorithm,Theoretical computer science,Modelica,Algebraic properties,Discrete system,Dynamical system,Duration calculus,Semantics,Hybrid automaton | Conference | 10134 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Simon Foster | 1 | 21 | 3.87 |
Bernhard Thiele | 2 | 1 | 1.98 |
Ana Cavalcanti | 3 | 224 | 18.41 |
J. C. P. Woodcock | 4 | 519 | 53.82 |