@inproceedings{fernandespires:hal-02272049, TITLE = {{Use of formal methods in embedded software development: stakes, constraints and proposal}}, AUTHOR = {Fernandes Pires, Anthony and Polacsek, Thomas and Wiels, Virginie and Duprat, St{\'e}phane}, URL = {https://onera.hal.science/hal-02272049}, BOOKTITLE = {{Embedded real-time software and systems (ERTS${}^2$ 2014)}}, ADDRESS = {TOULOUSE, France}, YEAR = {2014}, MONTH = Feb, KEYWORDS = {verification and validation ; Certification ; aeronautics ; formal methods ; model driven engineering}, PDF = {https://onera.hal.science/hal-02272049/file/ERTS_2014_submission_35.pdf}, HAL_ID = {hal-02272049}, HAL_VERSION = {v1}, }