Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJReport as inadecuate




Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ - Download this document for free, or read online. Document in PDF available to download.

* Corresponding author 1 Department of Computer Science - Trinity College Dublin 2 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d-Informatique de Grenoble 3 ECE - Department of Electrical and Computer Engineering Auckland

Abstract : The paper presents a programming language, DSystemJ, for dynamic distributed Globally Asynchronous Locally Synchronous GALS systems, its formal model of computation, formal syntax and semantics, its compilation and implementation. The language is aimed at dynamic distributed systems, which use socket based communication protocols for communicating between components. DSystemJ allows the creation and control at runtime of asynchronous processes called clock-domains, their mobility on a distributed execution platform, as well as the runtime reconfiguration of the system-s functionality and topology. As DSystemJ is based on a GALS model of computation and has a formal semantics, it offers very safe mechanisms for implementation of distributed systems, as well as potential for their formal verification. The details and principles of its compilation, as well as its required runtime support are described. The runtime support is implemented in the SystemJ GALS language that can be considered as a static subset of DSystemJ.





Author: Avinash Malik - Alain Girault - Zoran Salcic -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents