SpaceWire: a spacecraft onboard network for real-time communications, 14th IEEE-NPSS Real Time Conference, 2005., pp.6-10, 2005. ,
DOI : 10.1109/RTC.2005.1547397
Methods for bounding end-to-end delays on an AFDX network, 18th Euromicro Conference on Real-Time Systems (ECRTS'06), pp.193-202, 2006. ,
DOI : 10.1109/ECRTS.2006.15
Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, p.167, 2006. ,
DOI : 10.1109/IPDPS.2006.1639424
Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.521-533, 2010. ,
DOI : 10.1109/TII.2010.2055877
Analyzing End-to-End Functional Delays on an IMA Platform, ISoLA, ser. LNCS, pp.243-257, 2010. ,
DOI : 10.1007/s100090050010
An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012. ,
DOI : 10.1109/ETFA.2012.6489576
A Sensitivity Analysis of Two Worst-Case Delay Computation Methods for SpaceWire Networks, 2012 24th Euromicro Conference on Real-Time Systems, 2012. ,
DOI : 10.1109/ECRTS.2012.35
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010