Advertisement

GALS System Design

  • Abdoulaye Gamatié
Chapter

Abstract

This chapter focuses on the design of globally asynchronous, locally synchronous (GALS) systems, which were mentioned in Chap. 3. The polychronous semantic model of the Signal language has very interesting properties that favor a comfortable design of these systems. The implementation generated from a Signal model of a distributed system can be trustworthily guaranteed to be correct by construction regarding the expected message exchanges within the system. This chapter presents some basic elements for the correct design of GALS systems. In Signal, over the past decade, there have been significant studies on program distribution, mainly led by Benveniste and Le Guernic. This chapter is devoted to the results obtained from these studies and their applicability. Section 11.1 first indicates some application domains in which safe system distribution is crucial. Then, Sect. 11.2 presents some key notions that are usable to address system distribution issues. Finally, a methodology based on these notions is proposed in Sect. 11.3.

Keywords

Embed System Signal Language Clock Tree Automatic Code Generation Synchronous Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Benveniste A (1998) Safety critical embedded systems: the Sacres approach. In: Proceedings of Formal techniques in Real-Time and Fault Tolerant Systems, FTRTFT’98 School, Lyngby, DenmarkGoogle Scholar
  2. 2.
    Benveniste A, Caillaud B, Le Guernic P (1999) From synchrony to asynchrony. In: International Conference on Concurrency Theory, pp 162–177Google Scholar
  3. 3.
    Benveniste A, Caillaud B, Le Guernic P (2000) Compositionality in dataflow synchronous languages: specification and distributed code generation. Information and Computation 163: 125–171MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Besnard L, Bournai P, Gautier T, Halbwachs N, Nadjm-Tehrani S, Ressouche A (2000) Design of a multi-formalism application and distribution in a data-flow context: an example. In: Gergatsoulis M, Rondogiannis P (eds) Intensional Programming II, Based on the Papers at the 12th International Symposium on Languages for Intentional programming (ISLIP’99), World Scientific, pp 8–30Google Scholar
  5. 5.
    Besnard L, Gautier T, Talpin J-P (2009) Code generation strategies in the Polychrony environment. Research report number 6894, INRIA. Available at: http://hal.inria.fr/docs/ 00/37/24/12/PDF/RR-6894.pdf
  6. 6.
    Gamatié A, Gautier T, Le Guernic P, Talpin J-P (2007) Polychronous design of embedded real-time applications. ACM Transaction on Software Engineering Methodology 16(2):9CrossRefGoogle Scholar
  7. 7.
    Gautier T, Le Guernic P (1999) Code generation in the Sacres project. In: Safety-critical Systems Symposium, SSS’99, Springer, Huntingdon, UKGoogle Scholar
  8. 8.
    Le Guernic P, Talpin J-P, Le Lann J-C (2003) Polychrony for system design. Journal for Circuits, Systems and Computers 12(3):261–304CrossRefGoogle Scholar

Copyright information

© Springer-Verlag New York 2010

Authors and Affiliations

  1. 1.CNRS - UMR 8022 (LIFL)INRIA Lille - Nord Europe Parc scientifique de la Haute BorneVilleneuve d’AscqFrance

Personalised recommendations