An Integrated Specification Framework for Embedded Systems


Bujorianu, Manuela L. and Bujorianu, Marius C. (2007) An Integrated Specification Framework for Embedded Systems. In: Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, 10-14 September 2007, London, UK (pp. pp. 161-170).

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Conference or Workshop Item
Copyright:© 2007 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 245790