Search

To link to full-text access for this article, visit this link: http://dx.doi.org/10.1016/j.cl.2006.07.006 Byline: Thierry Gautier, Hamid-Reza Hamidi Abstract: RPC-based grid infrastructures emphasize on the composition of services on a large number of computing resources. The key issue to reach high performance is to enable exploitation of parallelism on services invocations and communications. Moreover, this process should be transparent to reuse legacy codes. In this paper we present HOMA, an IDL compiler and a run-time support for automatic detection of the parallelism of invocations and their data dependencies on a set of CORBA objects. On homogeneous architecture, HOMA is accompanied by a predictable cost model. In the case of an application with a small critical path, among p processors the speed up of HOMA versus CORBA is asymptotically O(p). The illustrations on a case study in computational chemistry validate our cost model. Author Affiliation: Projet APACHE Laboratoire ID-IMAG, 51 av Jean Kuntzmann, 38330 Montbonnot Saint Martin, France Article History: Received 31 October 2005; Accepted 24 July 2006 Article Note: (footnote) [star] This research is supported by the French government (ACI-Grid / GRID2 project). The project was supported by C.N.R.S.-I.N.P.G.- I.N.R.I.A.-U.J.F.

Abstract: This article presents the development of a metamodel and an open-source design environment for the synchronous language Signal in the Gme and Eclipse frameworks. This environment is intended to be used as a pivot modeling tool for a customized, aspect-oriented and application-driven, computer-aided engineering of embedded systems starting from multiple and heterogeneous initial specifications. The metamodel, called SignalMeta, is defined on top of the design workbench Polychrony, which is dedicated to Signal programming. Automated transformations are defined and implemented in order to produce, analyze, statically verify and model-check programs obtained from high-level models. The proposed approach promotes model-driven engineering within a framework that strongly favors formal validation. It aims at significantly decreasing design costs while improving the quality of systems. We demonstrate the agility of this approach by considering the design of both control-oriented and avionic systems. We start with an implementation of core polychronous [1] From the Greek words poly and chronos: multiple and time 1 data-flow concepts in Gme and show the ease of its modular extension with application-specific concepts such as mode automata or integrated modular avionics concepts. This work is the first attempt to generalize the formal model of computation and the design philosophy of Polychrony. [Copyright &y& Elsevier]