Software product line for semantic specification of block libraries in dataflow languages

Abstract : Dataflow modelling languages such as SCADE or Simulink are the de-facto standard for the Model Driven Development of safety critical embedded control and command systems. Software is mainly being produced by Automated Code Generators whose correctness can only be assessed meaningfully if the input language semantics is well known. These semantics share a common part but are mainly defined through block libraries. The writing of a complete formal specification for the block libraries of the usual languages is highly challenging due to the high variability of the structure and semantics of each block. This contribution relates the use of software product line principles in the design of a domain specific language targeting the formal specification of block libraries. It summarizes the advantages of this DSL regarding the writing, validation and formal verification of such specifications. These experiments have been carried out in the context of the GeneAuto embedded code generator project targeting Simulink and Scicos; and are being extended and applied in its follow ups projects ProjectP and Hi-MoCo.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00996850
Contributeur : Arnaud Dieumegard <>
Soumis le : mardi 27 mai 2014 - 13:14:00
Dernière modification le : samedi 17 septembre 2016 - 01:37:17
Document(s) archivé(s) le : mercredi 27 août 2014 - 11:01:30

Fichier

BlockLibformal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00996850, version 1

Collections

Citation

Arnaud Dieumegard, Andres Toom, Marc Pantel. Software product line for semantic specification of block libraries in dataflow languages. 2014. <hal-00996850>

Partager

Métriques

Consultations de
la notice

144

Téléchargements du document

299