A randomized model for communicating embedded systems

M.C. Bujorianu, L.M. Bujorianu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    69 Downloads (Pure)

    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 languageUndefined
    Title of host publication16th Mediterranean Conference on Control and Automation
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages1435-1440
    Number of pages6
    ISBN (Print)978-1-4244-2505-1
    DOIs
    Publication statusPublished - 19 Aug 2008
    Event16th IEEE Mediterranean Conference on Control and Automation, MED 2008 - Ajaccio, Corsica, France
    Duration: 25 Jun 200827 Jun 2008
    Conference number: 16

    Publication series

    Name
    PublisherIEEE Computer Society Press

    Conference

    Conference16th IEEE Mediterranean Conference on Control and Automation, MED 2008
    Abbreviated titleMED
    CountryFrance
    CityAjaccio, Corsica
    Period25/06/0827/06/08

    Keywords

    • Stochastic processes
    • Picalculus
    • discrete systems
    • EWI-15276
    • METIS-263808
    • Markov Processes
    • Adaptive Systems
    • Formal Specification
    • Embedded Systems
    • IR-65454

    Cite this