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.
Original language | Undefined |
---|---|
Title of host publication | 16th Mediterranean Conference on Control and Automation |
Place of Publication | Los Alamitos |
Publisher | IEEE |
Pages | 1435-1440 |
Number of pages | 6 |
ISBN (Print) | 978-1-4244-2505-1 |
DOIs | |
Publication status | Published - 19 Aug 2008 |
Event | 16th IEEE Mediterranean Conference on Control and Automation, MED 2008 - Ajaccio, Corsica, France Duration: 25 Jun 2008 → 27 Jun 2008 Conference number: 16 |
Publication series
Name | |
---|---|
Publisher | IEEE Computer Society Press |
Conference
Conference | 16th IEEE Mediterranean Conference on Control and Automation, MED 2008 |
---|---|
Abbreviated title | MED |
Country/Territory | France |
City | Ajaccio, Corsica |
Period | 25/06/08 → 27/06/08 |
Keywords
- Stochastic processes
- Picalculus
- discrete systems
- EWI-15276
- METIS-263808
- Markov Processes
- Adaptive Systems
- Formal Specification
- Embedded Systems
- IR-65454