SPECIFYING RESTRICTIONS ON IMPERATIVE PROGRAMMING-LANGUAGES FOR USE IN A DISTRIBUTED EMBEDDED ENVIRONMENT

Very few programming languages provide direct support for programming distributed embedded systems. However, as such systems become more widespread, many languages, particularly concurrent languages like Ada and Modula, will be employed for this purpose. In this paper we present a language-independent specification of how the use of a common class of imperative programming languages can be restricted for a distributed environment. A simple formal model, in Z, or imperative programming languages is developed, and restrictions are specified. The model is then instantiated for the languages Ada, Modula and C. It gives good results for Ada and Modula, but cannot be elegantly applied to C because the language lacks both a module and process facility. A distributed Ada programming environment based on the model is described briefly.