A randomized model for communicating embedded systems
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.Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/MED.2008.4602263
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 > Mathematics|
|Journal or Publication Title:||2008 Mediterranean Conference on Control & Automation June 25-27, 2008, Conference Center Ajaccio-Corsica, France : conference proceedings|
|Page Range:||pp. 1435-1440|
|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|
Actions (login required)