Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems

Johannes Geismann, Robert Höttger, Lukas Krawczyk, Uwe Pohlmann, David Schmelter. Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Model-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers. Volume 880 of Communications in Computer and Information Science, pages 72-93, Springer, 2017. [doi]

Authors

Johannes Geismann

This author has not been identified. Look up 'Johannes Geismann' in Google

Robert Höttger

This author has not been identified. Look up 'Robert Höttger' in Google

Lukas Krawczyk

This author has not been identified. Look up 'Lukas Krawczyk' in Google

Uwe Pohlmann

This author has not been identified. Look up 'Uwe Pohlmann' in Google

David Schmelter

This author has not been identified. Look up 'David Schmelter' in Google