### Abstract

Original language | Undefined |
---|---|

Place of Publication | Enschede |

Publisher | Centre for Telematics and Information Technology (CTIT) |

Number of pages | 8 |

Publication status | Published - 13 Mar 2008 |

### Publication series

Name | CTIT Technical Report Series |
---|---|

Publisher | Centre for Telematics and Information Technology, University of Twente |

No. | TR-CTIT-08-22 |

ISSN (Print) | 1381-3625 |

### Keywords

- MSC-03B70
- EWI-12110
- IR-64680
- METIS-250906

### Cite this

*A Randomized Model for Communicating Embedded Systems*. (CTIT Technical Report Series; No. TR-CTIT-08-22). Enschede: Centre for Telematics and Information Technology (CTIT).

}

*A Randomized Model for Communicating Embedded Systems*. CTIT Technical Report Series, no. TR-CTIT-08-22, Centre for Telematics and Information Technology (CTIT), Enschede.

**A Randomized Model for Communicating Embedded Systems.** / Bujorianu, M.C.; Bujorianu, L.M.

Research output: Book/Report › Report › Professional

TY - BOOK

T1 - A Randomized Model for Communicating Embedded Systems

AU - Bujorianu, M.C.

AU - Bujorianu, L.M.

PY - 2008/3/13

Y1 - 2008/3/13

N2 - Nowadays, there is an intense research activity in designing systems that operate in real life, physical environments. This research is spanned by various areas in computer science and engineering: embedded systems, reactive systems, wireless communications, hybrid systems, stochastic processes, etc. A severe limitation in the development of these systems is due to the mathematical foundation and complexity of the physical environment. Often, the physical environment is continuous and uncertain, and modelled in terms of continuous stochastic processes. These mathematics are quite different from the underlying mathematics of discrete controllers based on logic and algebra. In this paper, we propose a specification formalism called stochastic functional logic based on algebraic framework. This axiomatises and abstracts away advanced structures from functional and stochastic analysis. The definition of the logic mimics the practice in applied mathematics. This logic is integrated with a probabilistic process algebra to provide a specification framework for embedded systems. The integration mechanism is based on partial ordered sets. Moreover, we construct an energy integral to every stochastic functional logic specification. In this way, we combine the power of formal specification and stochastic analysis for the software development of embedded systems.

AB - Nowadays, there is an intense research activity in designing systems that operate in real life, physical environments. This research is spanned by various areas in computer science and engineering: embedded systems, reactive systems, wireless communications, hybrid systems, stochastic processes, etc. A severe limitation in the development of these systems is due to the mathematical foundation and complexity of the physical environment. Often, the physical environment is continuous and uncertain, and modelled in terms of continuous stochastic processes. These mathematics are quite different from the underlying mathematics of discrete controllers based on logic and algebra. In this paper, we propose a specification formalism called stochastic functional logic based on algebraic framework. This axiomatises and abstracts away advanced structures from functional and stochastic analysis. The definition of the logic mimics the practice in applied mathematics. This logic is integrated with a probabilistic process algebra to provide a specification framework for embedded systems. The integration mechanism is based on partial ordered sets. Moreover, we construct an energy integral to every stochastic functional logic specification. In this way, we combine the power of formal specification and stochastic analysis for the software development of embedded systems.

KW - MSC-03B70

KW - EWI-12110

KW - IR-64680

KW - METIS-250906

M3 - Report

T3 - CTIT Technical Report Series

BT - A Randomized Model for Communicating Embedded Systems

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -