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