Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns

Author:

Plantec Alain,Singhoff Frank,Dissaux Pierre,Legrand Jérôme

Publisher

Springer Berlin Heidelberg

Reference28 articles.

1. Arinc: Avionics Application Software Standard Interface. The Arinc Committee (January 1997)

2. Burns, A., Wellings, A.: HRT-HOOD: A Design Method for Hard Real-time Systems. Real Time Systems Journal 6(1), 73–114 (1994)

3. Dissaux, P.: Using the AADL for mission critical software development. In: 2nd European Congress Erts, Embedded Real Time Software Toulouse (January 2004)

4. Dissaux, P., Singhoff, F.: Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures. In: Proceedings of the European Real Time System Conference, Toulouse, France (January 2008)

5. Farail, P., Gaufillet, P., Canals, A., Camus, C.L., Sciamma, D., Michel, P., Crégut, X., Pantel, M.: From MDD Concepts to Experiments and Illustrations. In: ISTE (ed.) TOPCASED: An Open Source Development Environment for Embedded Systems, ch. 11, pp. 195–207 (September 2006)

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

1. Specification of schedulability assumptions to leverage multiprocessor Analysis;Journal of Systems Architecture;2022-12

2. Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems;Science of Computer Programming;2018-05

3. Analysis as a First-Class Citizen: An Application to Architecture Description Languages;2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing;2014-06

4. Model Driven Timing Analysis for Real-Time Systems;2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems;2012-06

5. An Ada design pattern recognition tool for AADL performance analysis;ACM SIGAda Ada Letters;2011-11-15

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3