An Integrated Specification Framework for Embedded Systems

L.M. Bujorianu, Marius C. Bujorianu

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

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 languageUndefined
Title of host publicationProceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages161-170
Number of pages10
ISBN (Print)978-0-7695-2884-7
DOIs
Publication statusPublished - Sep 2007
EventFifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 - London, United Kingdom
Duration: 10 Sep 200714 Sep 2007
Conference number: 5

Publication series

Name
PublisherIEEE Computer Society Press
NumberFS-07-05

Conference

ConferenceFifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007
Abbreviated titleSEFM
CountryUnited Kingdom
CityLondon
Period10/09/0714/09/07

Keywords

  • IR-62025
  • METIS-245790
  • EWI-11440

Cite this

Bujorianu, L. M., & Bujorianu, M. C. (2007). An Integrated Specification Framework for Embedded Systems. In Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007 (pp. 161-170). [10.1109/SEFM.2007.6] Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/SEFM.2007.6
Bujorianu, L.M. ; Bujorianu, Marius C. / An Integrated Specification Framework for Embedded Systems. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007. Los Alamitos : IEEE Computer Society, 2007. pp. 161-170
@inproceedings{df05089d49da4b6cb61b95fbf2230544,
title = "An Integrated Specification Framework for Embedded Systems",
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.",
keywords = "IR-62025, METIS-245790, EWI-11440",
author = "L.M. Bujorianu and Bujorianu, {Marius C.}",
note = "10.1109/SEFM.2007.6",
year = "2007",
month = "9",
doi = "10.1109/SEFM.2007.6",
language = "Undefined",
isbn = "978-0-7695-2884-7",
publisher = "IEEE Computer Society",
number = "FS-07-05",
pages = "161--170",
booktitle = "Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007",
address = "United States",

}

Bujorianu, LM & Bujorianu, MC 2007, An Integrated Specification Framework for Embedded Systems. in Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007., 10.1109/SEFM.2007.6, IEEE Computer Society, Los Alamitos, pp. 161-170, Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, London, United Kingdom, 10/09/07. https://doi.org/10.1109/SEFM.2007.6

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 proceedingConference contributionAcademicpeer-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 -

Bujorianu LM, Bujorianu MC. An Integrated Specification Framework for Embedded Systems. In 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 https://doi.org/10.1109/SEFM.2007.6