libDGALS: A Library-based Approach to Design Dynamic GALS Systems

Wei-Tsun Sun 1 Alain Girault 1, * Zoran Salcic 2, * Avinash Malik 2
* Corresponding author
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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, and tolerating failures. The challenge lies in the fact that good formal models with very high level of abstraction generally result in non-efficient implementations. We propose a 'C' based library approach following the formal Dynamic Globally Asynchronous Locally Synchronous (DGALS) model of computation. We show how a DGALS system can be dynamically constructed from concurrent behaviors on distributed platforms thanks to the DGALS paradigm. Finally, our experimental results clearly indicate the large execution time and memory footprint gains compared to the current state of the art approaches.
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-00996978
Contributor : Wei-Tsun Sun <>
Submitted on : Friday, June 27, 2014 - 7:00:04 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Document(s) archivé(s) le : Tuesday, April 11, 2017 - 1:57:35 AM

File

SIES_2014_v4-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00996978, version 1

Collections

Citation

Wei-Tsun Sun, Alain Girault, Zoran Salcic, Avinash Malik. libDGALS: A Library-based Approach to Design Dynamic GALS Systems. 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy. ⟨hal-00996978⟩

Share

Metrics

Record views

793

Files downloads

422