1,379 Hits in 3.9 sec

A GALS Language for Dynamic Distributed and Reactive Programs

Avinash Malik, Alain Girault, Zoran Salcic
2011 2011 Eleventh International Conference on Application of Concurrency to System Design  
DSystemJ, an extension of the reactive asynchronous SystemJ language, enhances it with dynamic creation and process mobility, and uses the Java language for programming sequential data computations.  ...  We propose a Globally Asynchronous Locally Synchronous language DSystemJ for designing dynamic distributed systems.  ...  The main contributions of this article are: (1) the presentation of a new reactive GALS language, DSystemJ, capable of dynamic process creation and mobility in a distributed setting; (2) the formalization  ... 
doi:10.1109/acsd.2011.30 dblp:conf/acsd/MalikGS11 fatcat:a5n4e4ojonhbxn444u3swah6re

libDGALS: A library-based approach to design dynamic GALS systems

Wei-Tsun Sun, Zoran Salcic, Alain Girault, Avinash Malik
2014 Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)  
We tackle the problem of designing and programming dynamic and reactive systems with four objectives: being based on a formal model of computation, using different types of concurrency, being efficient  ...  We show how a DGALS system can be dynamically constructed from concurrent behaviors on distributed platforms thanks to the DGALS paradigm.  ...  The DGALS MoC is built upon the GALS MoC, which it extends with features for designing dynamic and distributed systems.  ... 
doi:10.1109/sies.2014.6871194 dblp:conf/sies/SunSGM14 fatcat:hbobewagmzas3cueag3cdbr4ei

Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ

Avinash Malik, Alain Girault, Zoran Salcic
2012 IEEE Transactions on Parallel and Distributed Systems  
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  ...  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  ...  JoCaml is based on join-calculus [9] and is targeted at design and implementation of distributed programs, but lacks support for reactivity and mobility.  ... 
doi:10.1109/tpds.2011.258 fatcat:63jdnlxsnnb35ejfjvesqflgq4

A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems

Udayanto Dwi Atmojo, Zoran Salcic, Kevin I-Kai Wang, Valeriy Vyatkin
2019 IEEE Transactions on Industrial Informatics  
SOSJ is built on a merger and the synergies of two programming concepts of service oriented architecture, to support dynamic software system composition, and SystemJ programming language based on a formal  ...  The resulting programming paradigm allows the design and implementation of dynamic distributed software systems.  ...  SystemJ has its own syntax and statements (see Table I ) for writing a GALS program and in addition allows the use of object-oriented features of Java language.  ... 
doi:10.1109/tii.2019.2919153 fatcat:jo4c762qnbffdljrin3ochdxve

Distributed Reactive Programming for Reactive Distributed Systems

Florian Myter, Christophe Scholliers, Wolfgang De Meuter
2019 The Art, Science, and Engineering of Programming  
Knowledge: Based on our analysis we propose a novel runtime for distributed reactive programming languages and frameworks. This runtime supports reactive distributed systems by design.  ...  Context: The term reactivity is popular in two areas of research: programming languages and distributed systems.  ...  For single-threaded non-distributed programs one can implement a reactive system using a reactive programming language.  ... 
doi:10.22152/ fatcat:pszfe5swsfckdpxlyk7bcy5w64

Synchronous Programming (Dagstuhl Seminar 13471)

Stephen A. Edwards, Alain Girault, Klaus Schneider, Marc Herbstritt
2014 Dagstuhl Reports  
Synchronous programming languages are programming languages with an abstract (logical) notion of time: The execution of such programs is divided into discrete reaction steps, and in each of these reactions  ...  For this reason, the synchronous composition is deterministic, which is a great advantage concerning predictability, verification of system design, and embedded code generation.  ...  This talk introduces some concepts of the coordination language AstraKahn which can be used for programming synchronous and asynchronous systems within the same framework.  ... 
doi:10.4230/dagrep.3.11.117 dblp:journals/dagstuhl-reports/EdwardsGS13 fatcat:b7aq6w2q4fawjjqtlfleujr3gi

Dynamic Reconfiguration and Adaptation of Manufacturing Systems Using SOSJ Framework

Udayanto Dwi Atmojo, Zoran Salcic, Kevin I-Kai Wang
2018 IEEE Transactions on Industrial Informatics  
This paper presents the Service Oriented SystemJ (SOSJ) framework that supports a new programming paradigm for designing dynamic distributed manufacturing systems.  ...  SOSJ combines the system-level language SystemJ and service oriented architecture (SOA) paradigm to take advantages of both SystemJ's correct-by-construction formal semantics and SOA's dynamic features  ...  With underlying formal semantics and GALS MoC [20] , SystemJ is amenable for designing reactive concurrent distributed systems.  ... 
doi:10.1109/tii.2018.2808270 fatcat:lbcufsudvfdyrpb2ojucmtlol4

System-level approach to the design of collaborative distributed systems based on wireless sensor and actuator networks

Udayanto Dwi Atmojo, Zoran Salcic, Kevin I-Kai Wang
2013 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)  
In this paper, we show how a concurrent programming language, SystemJ, is used to develop a middleware-free distributed system that consists of a combination of stationary and mobile WSAN nodes.  ...  SystemJ is designed specifically to handle reactive and concurrent behaviors while providing modular and scalable methodology for distributed system composition.  ...  Based on the motivating example, we demonstrate the system-level design approach of using a reactive and concurrent programming language, SystemJ [3] , for designing distributed AmI systems based on a  ... 
doi:10.1109/percomw.2013.6529571 dblp:conf/percom/AtmojoSW13 fatcat:qdb4ngtdo5h4bcnhe6j2teyv54

Formal Specification and Verification of Communication in Network-On-Chip: An Overview

Fateh Boutekkouk
2018 International Journal of Recent Contributions from Engineering, Science & IT  
Network-On-Chip (NOC) is an emerging paradigm to surmount traditional bus based Systems-On-Chip (SOC) limits especially scalability and communication performances.  ...  A NOC includes many applications that can execute concurrently. This situation may show some undesirable behaviors such as deadlock, livelock, starvation, etc.  ...  SDL The Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behavior of reactive and distributed systems, defined by  ... 
doi:10.3991/ijes.v6i4.9416 fatcat:7fljmcayfvdgpd7v3d4vt7lkvu

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems [chapter]

Fatma Jebali, Frédéric Lang, Radu Mateescu
2014 Lecture Notes in Computer Science  
In this paper, we present a new language, called GRL (GALS Representation Language) designed to model GALS systems in an abstract and versatile manner for the purpose of formal verification.  ...  GRL has formal semantics combining the synchronous reactive model underlying dataflow languages and the asynchronous concurrent model underlying process algebras.  ...  In this paper, we propose GRL (GALS Representation Language), a new specification language with textual syntax and formal semantics, targeting systems consisting of a network of distributed synchronous  ... 
doi:10.1007/978-3-319-11737-9_15 fatcat:b3lgksjgk5hzbew6fokf3vcopu

ULM: A Core Programming Model for Global Computing [chapter]

Gérard Boudol
2004 Lecture Notes in Computer Science  
To design the language, we use ideas and programming constructs from the synchronous programming style, that allow us to deal with the suspensive character of some operations, and to program reactive behaviour  ...  We propose a programming model to address the unreliable character of accessing resources in a global computing context, focusing on giving a precise semantics for a small, yet expressive core language  ...  To obtain a "minimal" language, suited for formal reasoning, we have chosen to have only two primitives for reactive programming in ULM, one for introducing suspension, and the other for programming preemption  ... 
doi:10.1007/978-3-540-24725-8_17 fatcat:fn4zjbt3hrfw5gxgztgbs24toe

Ten Years of Analyzing Actors: Rebeca Experience [chapter]

Marjan Sirjani, Mohammad Mahdi Jaghoori
2011 Lecture Notes in Computer Science  
Rebeca is designed as an imperative actor-based language with the goal of providing an easy to use language for modeling concurrent and distributed systems, with formal verification support.  ...  In this paper, we provide a survey of the different analysis techniques that are provided for the modeling language Rebeca.  ...  Acknowledgement We wish to thank all the present and past members of the Rebeca group for their enthusiasm and hard work.  ... 
doi:10.1007/978-3-642-24933-4_3 fatcat:oxdrmkg735evzkmjg7wodytbea

The synchronous languages 12 years later

A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone
2003 Proceedings of the IEEE  
Today, synchronous languages have been established as a technology of choice for modeling, specifying, validating, and implementing real-time embedded applications.  ...  Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages.  ...  But the most advanced proposal for an implementation is the toolset Reactive Programming and the language Sugar Cubes for Java 14 proposed by Frédéric Boussinot.  ... 
doi:10.1109/jproc.2002.805826 fatcat:pdjbogxbovgvnc27ijgbch47aa

Polychronous controller synthesis from MARTE CCSL timing specifications

Huafeng Yu, Jean-Pierre Talpin, Loic Besnard, Thierry Gautier, Herve Marchand, Paul Le Guernic
2011 Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)  
The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a mathematically expressive model of time, the Clock Constraint Specification Language (CCSL), to specify timed  ...  Thanks to its expressive capability, the CCSL allows for the specification of static and dynamic properties, of deterministic and non-deterministic behaviors, or of systems with multiple clock domains.  ...  Thus, SIGNAL enables the globally asynchronous locally synchronous (GALS) design for distributed embedded systems. In SIGNAL, variables are called signals 1 .  ... 
doi:10.1109/memcod.2011.5970507 dblp:conf/memocode/YuTBGMG11 fatcat:xfpfmp4byjgtzpwereufyh2mxm

A Framework for Modeling the Distributed Deployment of Synchronous Designs

Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2006 Formal methods in system design  
We offer a comparative exposition of various design approaches (synchronous, asynchronous, GALS, latency-insensitive, and synchronous programming) and we provide some insight on the role of signal absence  ...  Building on the tagged-signal model, we present a modeling for the distributed deployment of synchronous design.  ...  We gratefully acknowledge their contributions to our on-going discussions on specification and implementation of distributed systems. We gratefully thank Luciano Lavagno for his precious feedback.  ... 
doi:10.1007/s10703-006-7842-x fatcat:livlu7d4bjdzbbo6zrtdumcsoy
« Previous Showing results 1 — 15 out of 1,379 results