Abstract
In this paper, we address the complex issue of representation of continuous behaviour of the environment of the embedded controllers. In our approach we propose two novel ideas. One is to consider the weak solutions to describe the evolutions of the dynamical systems. The second novelty is to make available, at the design stage, the information about concurrent evolutions of the environment. We propose a new logic called the Hilbertean logic for representing continuous behaviours. Then, we use the causal order relations to integrate this logic with a probabilistic process algebra. For the resulting specification framework, we construct a denotational semantics rich in mathematical properties.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007 |
Place of Publication | Los Alamitos |
Publisher | IEEE Computer Society |
Pages | 161-170 |
Number of pages | 10 |
ISBN (Print) | 978-0-7695-2884-7 |
DOIs | |
Publication status | Published - Sep 2007 |
Event | Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 - London, United Kingdom Duration: 10 Sep 2007 → 14 Sep 2007 Conference number: 5 |
Publication series
Name | |
---|---|
Publisher | IEEE Computer Society Press |
Number | FS-07-05 |
Conference
Conference | Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 |
---|---|
Abbreviated title | SEFM |
Country | United Kingdom |
City | London |
Period | 10/09/07 → 14/09/07 |
Keywords
- IR-62025
- METIS-245790
- EWI-11440