GALS System Design
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.
KeywordsEmbed System Signal Language Clock Tree Automatic Code Generation Synchronous Model
Unable to display preview. Download preview PDF.
- 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.Benveniste A, Caillaud B, Le Guernic P (1999) From synchrony to asynchrony. In: International Conference on Concurrency Theory, pp 162–177Google Scholar
- 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.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
- 7.Gautier T, Le Guernic P (1999) Code generation in the Sacres project. In: Safety-critical Systems Symposium, SSS’99, Springer, Huntingdon, UKGoogle Scholar