Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study

Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou. Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study. In Osman Hasan, Frédéric Mallet, editors, Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. Volume 1165 of Communications in Computer and Information Science, pages 57-73, Springer, 2019. [doi]

Authors

Shenghao Yuan

This author has not been identified. Look up 'Shenghao Yuan' in Google

Zhibin Yang

This author has not been identified. Look up 'Zhibin Yang' in Google

Jean-Paul Bodeveix

This author has not been identified. It may be one of the following persons: Look up 'Jean-Paul Bodeveix' in Google

Mamoun Filali

This author has not been identified. It may be one of the following persons: Look up 'Mamoun Filali' in Google

Tiexin Wang

This author has not been identified. Look up 'Tiexin Wang' in Google

Yong Zhou

This author has not been identified. Look up 'Yong Zhou' in Google