ویراساینس.
سند علمی

Distributed Implementation of a Ccs-like Programming Language for Embedded Systems

Henrik Reif Andersen

چکیده

We introduce a programming language for embedded systems. The language is based on the process algebra pmc which like ccs has concurrent composition of processes and synchronous point-to-point communication. Determinism and distributability are desirable, but contradictory properties. The programming language therefore contains operators that allow for both local deterministic concurrency and global non-deterministic concurrency. We give a model for a class of distributed platforms, and give a translation of pmc programs into this model. Although the pmc language allows for a limited (but useful) form of mixed input and output guarded choice, the implementation uses an eecient protocol for implementing synchronous communication by asynchronous message passing. The implementation is shown to have the property of being locally deterministic and being able to detect real-time constraint violations. The translation does not introduce neither live-nor deadlocks.

اسناد مشابه

  • AmbiComp: A platform for distributed execution of Java programs on embedded systems by offering a single system image

    سند علمی۲۰۰۸Johannes Eickhold, Thomas Suchy

    Ambient Intelligence pursues the vision that small networked computers will jointly perform tasks that create the illusion of an intelligent environment. One of the most pressing challenges in this context is the question how one could easily develop software for such highly comp

  • A Hybrid Implementation of a Process-oriented Programming Language for System Simulation

    سند علمی۱۹۹۱Softw., Pract. Exper.Roman Rozin, Siegfried Treu

    The implementation of a hierarchical, process-oriented programming language for simulation (HSL) is described. It features a hybrid approach, involving the front end of a compiler and the back end of an interpreter. An HSL program is dichotomous in structure. Source statements fr

  • Efficient Implementation of Concurrent Programming Languages

    سند علمی۲۰۰۲Erik Stenman

    Stenman, E. 2002: Efficient Implementation of Concurrent Programming Languages, Acta Universitatis Upsaliensis. Uppsala dissertations from the Faculty of Science and Technology 43. 150 pp. Uppsala. ISBN 91–554–5422–4. This thesis proposes and experimentally evaluates techniques f

  • Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems

    سند علمی۲۰۰۸EURASIP J. Emb. Sys.Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault

    Model-based high-level programming of embedded systems has become a reality in the automotive and avionics industries. These industries place high demands on the efficiency and maintainability of the design process as well as on the performance and functional correctness of embed

  • Functional programming and embedded systems

    سند علمی۱۹۹۵Malcolm Wallace

    Embedded computer systems seem to be the antithesis of functional language systems. Embedded systems are small, stand-alone, and are often forced to accept inelegant design compromises due to hardware cost. They run continuously and are reactive, that is, their primary goal is to

  • Implementation of the Programming Language Dino - A Case Study in Dynamic Language Performance

    سند علمی۲۰۱۶CoRRVladimir N. Makarov

    The article gives a brief overview of the current state of programming language Dino in order to see where its stands between other dynamic programming languages. Then it describes the current implementation, used tools and major implementation decisions including how to implemen