Formal Specification of the HILECOP Model-to-text Transformation

Spécification formelle de la transformation modèle-vers-texte de la méthodologie HILECOP

Vincent Iampietro (1)

1 LIRMM | MAREL - Models And Reuse Engineering, Languages

This document serves as a reference for the formal specification of the HILECOP model-to-text transformation. HILECOP is a methodology for the design and synthesis of safety-critical digital systems. Here, we specify how an input Petri net model is transformed into a VHDL design.

Mots clés: formal specification; petri nets; VHDL; transformation; compilation; model-to-text

Domaines: Génie logiciel [cs.SE]; Micro et nanotechnologies/Microélectronique; Logique en informatique [cs.LO]

Vincent Iampietro. Formal Specification of the HILECOP Model-to-text Transformation. 2022. ⟨hal-03661152⟩