A Design Method for Synthesizing Control-Command Systems out of Reusable Components - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Design Method for Synthesizing Control-Command Systems out of Reusable Components

Résumé

This paper investigates an industrial design issue related to code reusability: building control-command systems out of Commercial off the shelf (COTS) components. The design method proposed uses in synergy the formal verification (FV) and the discrete controller synthesis (DCS) techniques. COTS are formally specified using temporal logic and/or executable observers, and coded according to their formal specification. New functions are built by assembling COTS together. The COTS assembly operation is not error free: the resulting assembly may not achieve the desired function it is supposed to. For these reasons, COTS assemblies need to be formally verified and if errors are found, they must be corrected using DCS. The resulting system is ready for hardware (e.g. FPGA) implementation.
Fichier principal
Vignette du fichier
WODES_paper_6pages (2).pdf (614.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01080076 , version 1 (04-11-2014)

Identifiants

Citer

Salam Hajjar, Emil Dumitrescu, Laurent Pietrac, Eric Niel. A Design Method for Synthesizing Control-Command Systems out of Reusable Components. IFAC IWDES, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00111⟩. ⟨hal-01080076⟩
131 Consultations
106 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More