The Library
A randomized model for communicating embedded systems
Tools
Bujorianu, Marius C. and Bujorianu, Manuela (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 2008, Conference Center Ajaccio-Corsica, France, 25-27 Jun 2008. Published in: 2008 Mediterranean Conference on Control & Automation June 25-27, 2008, Conference Center Ajaccio-Corsica, France : conference proceedings pp. 1435-1440. doi:10.1109/MED.2008.4602263 ISSN 9781424425051.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1109/MED.2008.4602263
Abstract
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 make further developments of Hilbertean formal methods, an integrated specification framework based with a rich algebraic semantics. This framework axiomatises and abstracts away advanced structures from functional and stochastic analysis. We integrate a probabilistic version of Pi-calculus to provide a rigorous framework for embedded systems with mobile and adaptive communication structure. The integration mechanism is based on partial ordered sets. The resulting framework has the modelling power of connectionist models like neural networks. Moreover, we construct an energy integral to every specification. The power of formal specification and stochastic analysis are combined in a rigorous mathematical framework for the software development of embedded systems. In this way, we achieve a new foundation for the multidimensional codesign.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Science > Mathematics | ||||
Journal or Publication Title: | 2008 Mediterranean Conference on Control & Automation June 25-27, 2008, Conference Center Ajaccio-Corsica, France : conference proceedings | ||||
Publisher: | IEEE | ||||
ISSN: | 9781424425051 | ||||
Official Date: | 2008 | ||||
Dates: |
|
||||
Page Range: | pp. 1435-1440 | ||||
DOI: | 10.1109/MED.2008.4602263 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 16th Mediterranean Conference on Control and Automation, 2008 | ||||
Type of Event: | Conference | ||||
Location of Event: | Conference Center Ajaccio-Corsica, France | ||||
Date(s) of Event: | 25-27 Jun 2008 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |