Un système GALS (Globalement Asynchrone, Localement Synchrone) est composé d'un ensemble de sous-systèmes synchrones qui s'exécutent de manière concurrente suivant un schéma de communication asynchrone. De tels systèmes impliquent un haut degr'de concurrence synchrone et asynchrone, ce qui rend difficile la conception et le débogage des applications à cause du non-déterminisme des communications. L'intégration des méthodes formelles dans la procédure de conception aide les concepteurs à maîtriser cette complexité et à garantir la sûreté de ces systèmes, souvent critiques. Ce rapport présente GRL(GALS Representation Language), un nouveau langage formel pour la spécification des systèmes GALS afin de les vérifier formellement, pour rendre le processus de conception sûr et efficace. GRL possède une syntaxe conviviale, proche des langages de programmation classiques, et une sémantique opérationnelle qui combine le modèle synchrone inspiré de la programmation par flot de données et le modèle asynchrone inspiré des algèbres de processus.