The GENCOD project : Automated generation of Hardware code for safety critical applications on FPGA targets

Abstract : GENCOD is a research project for solutions to automated generation of safe code for Field Programmable Gate Arrays (FPGA) targets. The paper will describe typical ASIC/FPGA workflow, and current implementation for airborne electronic hardware design. Major stakes in certification for airborne electronic hardware will be discussed. The next part will detail the project, the proposed workflow and the associated tools. We will present the current experimentations. Finally, the conclusion will expose advantages and drawbacks of such approach.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02264384
Contributor : Axelle Pagnier <>
Submitted on : Tuesday, August 6, 2019 - 8:25:56 PM
Last modification on : Thursday, August 8, 2019 - 1:22:19 AM

File

2B-3.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02264384, version 1

Collections

Citation

Pascal Pampagnin, Ludovic Letellier. The GENCOD project : Automated generation of Hardware code for safety critical applications on FPGA targets. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02264384⟩

Share

Metrics

Record views

4

Files downloads

1