Abstract
| 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
Cite this
}
An Integrated Specification Framework for Embedded Systems. / Bujorianu, L.M.; Bujorianu, Marius C.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007. Los Alamitos : IEEE Computer Society, 2007. p. 161-170 10.1109/SEFM.2007.6.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - An Integrated Specification Framework for Embedded Systems
AU - Bujorianu, L.M.
AU - Bujorianu, Marius C.
N1 - 10.1109/SEFM.2007.6
PY - 2007/9
Y1 - 2007/9
N2 - 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.
AB - 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.
KW - IR-62025
KW - METIS-245790
KW - EWI-11440
U2 - 10.1109/SEFM.2007.6
DO - 10.1109/SEFM.2007.6
M3 - Conference contribution
SN - 978-0-7695-2884-7
SP - 161
EP - 170
BT - Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007
PB - IEEE Computer Society
CY - Los Alamitos
ER -