Bridging the gap between practical cases and temporal performance analysis-Reference-Cited by-同舟云学术

Bridging the gap between practical cases and temporal performance analysis

Published:2017-10-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Real-Time Networks and Systems
language:
Short-container-title:

Author:

Long Anh-Toan Bui¹,Ouhammou Yassine¹,Grolleau Emmanuel¹,Fejoz Loïc²,Rioux Laurent³

Affiliation:

1. LIAS / ISAE - ENSMA, Futuroscope, France

2. RealTime-at-Work, Nancy, France

3. Thales Research & Technology, Palaiseau, France

Funder

French Ministry of the Economy, Finances and Industry

European Union

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3139258.3139286

Reference23 articles.

1. RealTime at Work. 2017. RTaW-Pegase. http://www.realtimeatwork.com/softtware/rtaw-pegase/. (2017). Accessed: 2017-07-17. RealTime at Work. 2017. RTaW-Pegase. http://www.realtimeatwork.com/softtware/rtaw-pegase/. (2017). Accessed: 2017-07-17.

2. S. K. Baruah A. K. Mok and L. E. Rosier. 1990. Preemptively scheduling hard-real-time sporadic tasks on one processor. In {1990} Proceedings 11th Real-Time Systems Symposium. 182--190. S. K. Baruah A. K. Mok and L. E. Rosier. 1990. Preemptively scheduling hard-real-time sporadic tasks on one processor. In {1990} Proceedings 11th Real-Time Systems Symposium. 182--190.

3. Modeling and generation of secure component communications in AUTOSAR

4. Peter H. Feiler and David P. Gluch. 2012. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (1st ed.). Addison-Wesley Professional. Peter H. Feiler and David P. Gluch. 2012. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (1st ed.). Addison-Wesley Professional.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Real-time design patterns for the verification of safety-critical embedded systems in model-based approach;The Journal of Supercomputing;2024-01-27

2. Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools;Formal Methods for Industrial Critical Systems;2018