Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays

Jérôme Ermont, Christian Fraboul. Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-4, IEEE, 2013. [doi]

Authors

Jérôme Ermont

This author has not been identified. Look up 'Jérôme Ermont' in Google

Christian Fraboul

This author has not been identified. Look up 'Christian Fraboul' in Google