Author:
Boniol Frédéric,Lauer Michaël,Pagetti Claire,Ermont Jérôme
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. ARINC 653, Aeronautical Radio Inc.: Avionics Application Software Standard Interface (1997)
2. Boyer, M., Doose, D.: Combining network calculus and scheduling theory to improve delay bounds. In: RTNS 2012, pp. 51–60 (2012)
3. Berkelaar, M., Eikland, K., Notebaert, P.: lp_solve 5.5, open source (mixed-integer) linear programming system. Software, (May 2004),
http://lpsolve.sourceforge.net/5.5/
4. Bauer, H., Scharbarg, J.-L., Fraboul, C.: Applying and optimizing trajectory approach for performance evaluation of afdx avionics network. In: Proceedings of the 14th IEEE International Conference on Emerging Technologies & Factory Automation, ETFA 2009, Piscataway, NJ, USA, pp. 690–697. IEEE Press (2009)
5. Carcenac, F., Boniol, F.: A formal framework for verifying distributed embedded systems based on abstraction methods. International Journal on Software Tools for Technology Transfer 8(6), 471–484 (2006)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Improving Estimations for Latencies of Cause-Effect Chains;Analysis, Estimations, and Applications of Embedded Systems;2023
2. Estimating End-to-End Latencies in Automotive Cyber-physical Systems;Electronic Proceedings in Theoretical Computer Science;2020-04-26