The SIGNAL Approach to the Design of System Architectures - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

The SIGNAL Approach to the Design of System Architectures

Résumé

Modeling plays a central role in system engineering. It significantly reduces costs and efforts in the design by providing developers with means for cheaper and more relevant experimentations. So, design choices can be assessed earlier. The use of a formalism, such as the synchronous language SIGNAL which relies on solid mathematical foundations for the modeling, allows validation. This is the aim of the methodology defined for the design of embedded systems where emphasis is put on formal techniques for verification, analysis, and code generation. This paper mainly focuses on the modeling of architecture components using SIGNAL. For illustration, we consider the modeling of a bounded FIFO queue, which is intended to be used for communication protocols. We bring out the capabilities of SIGNAL to allow specifications in an elegant way, and we check few elementary properties on the resulting model for correctness.
Fichier principal
Vignette du fichier
ecbs-03.pdf (117.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00541913 , version 1 (01-12-2010)

Identifiants

Citer

Abdoulaye Gamatié, Thierry Gautier. The SIGNAL Approach to the Design of System Architectures. 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Apr 2003, Huntsville, Alabama, United States. pp.80-88, ⟨10.1109/ECBS.2003.1194786⟩. ⟨hal-00541913⟩
320 Consultations
432 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More