Author:
Mzid Rania,Mraidha Chokri,Mehiaoui Asma,Tucci-Piergiovanni Sara,Babau Jean-Philippe,Abid Mohamed
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: A MARTE-based methodology for Schedulability Analysis at Early Design Stages. In: Proceeding of the Third IEEE International Workshop UML and Formal Methods (UML&FM 2010), Shanghai, China (2010)
2. Singhoff, F., Legrand, J., Nana, L., Marc, L.: Cheddar: a Flexible Real Time Scheduling Framework. In: International ACM SIGADA Conference, Atlanta (November 2004)
3. Mzid, R., Mraidha, C., Babau, J.-P., Abid, M.: A MDD Approach for RTOS Integration on Valid Real-Time Design Model. In: The 38th Euromicro Conference On software Engineering and Advanced Applications (SEAA 2012), Cesme, Izmir, Turkey (September 2012)
4. Mzid, R., Mraidha, C., Babau, J.-P., Abid, M.: Real-Time Design Models to RTOS-Specific Models Refinement Verification. In: The 5th International Workshop on Model Based Architecting and construction of Embedded Systems ACES-MB 2012 in Conjunction with the 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Innsbruck, Austria (September 2012)
5. Object Management Group, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Object Management Group, Inc. (September 2010) OMG document number: ptc/2010-08-32
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献