Credible autocoding and verification of a gas turbine engine FADEC

Timothy Wang; Romain Jobredeaux; Mehrdad Pakmher; Martin Vivies; Eric Feron; Emmanuel Boidot

doi:10.1109/DASC.2014.6979581

Credible autocoding and verification of a gas turbine engine FADEC

Timothy Wang, Romain Jobredeaux, Mehrdad Pakmher, Martin Vivies, Eric Feron, Emmanuel Boidot

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Motivation 1. High software certification Cost! APPROACHING 50% OF TOTAL PROJECT development COSTS ∼ BILLIONS!) 2. MAY NOT BE practical for Certifying UNMANNED autonomous vehicles or Unmanned aerial systems

Original language	English (US)
Title of host publication	AIAA/IEEE Digital Avionics Systems Conference - Proceedings
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Print)	9781479950010
DOIs	https://doi.org/10.1109/DASC.2014.6979581
State	Published - Jan 1 2014
Externally published	Yes

Bibliographical note

Generated from Scopus record by KAUST IRTS on 2021-02-18

Access to Document

10.1109/DASC.2014.6979581

Cite this

@inproceedings{930a38ca26bb44b3ab9df0a71f2f6d02,

title = "Credible autocoding and verification of a gas turbine engine FADEC",

abstract = "Motivation 1. High software certification Cost! APPROACHING 50% OF TOTAL PROJECT development COSTS ∼ BILLIONS!) 2. MAY NOT BE practical for Certifying UNMANNED autonomous vehicles or Unmanned aerial systems",

author = "Timothy Wang and Romain Jobredeaux and Mehrdad Pakmher and Martin Vivies and Eric Feron and Emmanuel Boidot",

note = "Generated from Scopus record by KAUST IRTS on 2021-02-18",

year = "2014",

month = jan,

day = "1",

doi = "10.1109/DASC.2014.6979581",

language = "English (US)",

isbn = "9781479950010",

booktitle = "AIAA/IEEE Digital Avionics Systems Conference - Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

}

TY - GEN

T1 - Credible autocoding and verification of a gas turbine engine FADEC

AU - Wang, Timothy

AU - Jobredeaux, Romain

AU - Pakmher, Mehrdad

AU - Vivies, Martin

AU - Feron, Eric

AU - Boidot, Emmanuel

N1 - Generated from Scopus record by KAUST IRTS on 2021-02-18

PY - 2014/1/1

Y1 - 2014/1/1

N2 - Motivation 1. High software certification Cost! APPROACHING 50% OF TOTAL PROJECT development COSTS ∼ BILLIONS!) 2. MAY NOT BE practical for Certifying UNMANNED autonomous vehicles or Unmanned aerial systems

AB - Motivation 1. High software certification Cost! APPROACHING 50% OF TOTAL PROJECT development COSTS ∼ BILLIONS!) 2. MAY NOT BE practical for Certifying UNMANNED autonomous vehicles or Unmanned aerial systems

UR - https://ieeexplore.ieee.org/document/6979581

UR - http://www.scopus.com/inward/record.url?scp=84919819736&partnerID=8YFLogxK

U2 - 10.1109/DASC.2014.6979581

DO - 10.1109/DASC.2014.6979581

M3 - Conference contribution

SN - 9781479950010

BT - AIAA/IEEE Digital Avionics Systems Conference - Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Credible autocoding and verification of a gas turbine engine FADEC

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this