• Compositional priority specification in real-time distributed systems

    • Fulltext


        Click here to view fulltext PDF

      Permanent link:

    • Keywords


      Compositional specification; real-time distributed systems; priority specification; message passing models

    • Abstract


      In this paper, we develop a compositional denotational semantics for prioritized real-time distributed programming languages. One of the interesting features is that it extends the existing compositional theory proposed by Koymanset al (1988) for prioritized real-time languages preserving the compositionality of the semantics. The language permits users to define situations in which an action has priority over another action without the requirement of preassigning priorities to actions for partially ordering the alphabet of actions. These features are part of the languages such as Ada designed specifically keeping in view the needs of real-time embedded systems. Further, the approach does not have the restriction of other approaches such as prioritized internal moves can pre-empt unprioritized actions etc. Our notion of priority in the environment is based on the intuition that a low priority action can proceed only if the high priority action cannot proceed due to lack of the handshaking partner at that point of execution. In other words, if some action is possible corresponding to that environment at some point of execution then the action takes place without unnecessary waiting. The proposed semantic theory provides a clear distinction between the semantic model and the execution model — this has enabled us to fully ensure that there is no unnecessary waiting.

    • Author Affiliations


      R K Shyamasundar1 L Y Liu2

      1. Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay - 400 005, India
      2. IBM Programming Systems, Cary Laboratory, 11000 Regency Parkway, Cary, NC - 27511, USA
    • Dates

  • Sadhana | News

    • Editorial Note on Continuous Article Publication

      Posted on July 25, 2019

      Click here for Editorial Note on CAP Mode

© 2021-2022 Indian Academy of Sciences, Bengaluru.