Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software - 科研通

发布文献求助

已完结

文献求助详情

标题	Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software 实时多核软件的经验压力测试与形式化可调度性分析相结合的方法相关领域计算机科学多核处理器敏捷软件开发认证软件软件开发航空电子软件嵌入式软件软件工程形式化方法嵌入式系统软件开发过程可靠性工程操作系统工程类政治学法学
网址	https://doi.org/10.1109/dasc58513.2023.10311104
DOI	10.1109/dasc58513.2023.10311104 doi
其它	期刊：2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) 作者：Björn Andersson; Dionisio de Niz; W. Vance; John Minor Ross; Mark Wotell; et al 出版日期：2023-10-01
求助人	toykk 在 2024-12-16 17:34:53 发布，悬赏 10 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

National Center for Biotechnology Information

上个求助

下个求助

National Center for Biotechnology Information

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通的所有服务均免费，并承诺对个人用户永久免费！

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 乐乐上传了应助文件

2秒前; 蟹黄堡秘方发布了新的文献求助10

3秒前; wwdd发布了新的文献求助10

3秒前; Lucas的应助被玖依采纳，获得10

6秒前; 蓝胖子发布了新的文献求助30

7秒前; 海天一线完成签到，获得积分10

7秒前; CodeCraft的应助被yuki采纳，获得10

10秒前; 李健上传了应助文件

11秒前; Lucas上传了应助文件

11秒前; 赘婿上传了应助文件

11秒前; NexusExplorer上传了应助文件

12秒前; 子车茗的应助被淡然冰之采纳，获得10

14秒前; 完美世界的应助被Ch_7采纳，获得10

14秒前; 小柒上传了应助文件

14秒前; Y哦莫哦莫发布了新的文献求助10

15秒前; 蓝胖子发布了新的文献求助10

16秒前; 玖依发布了新的文献求助10

16秒前; 程平发布了新的文献求助10

18秒前; 阿白发布了新的文献求助10

18秒前; 赘婿上传了应助文件

20秒前; 佳期如梦发布了新的文献求助80

20秒前; 汉堡包上传了应助文件

20秒前; JamesPei上传了应助文件

21秒前; 研友_VZG7GZ的应助被伏线采纳，获得10

22秒前; 善学以致用的应助被科研达人采纳，获得10

22秒前; CipherSage的应助被程平采纳，获得10

22秒前; 研友_LJp0xZ发布了新的文献求助10

25秒前; 仁爱芷波发布了新的文献求助10

25秒前; memory发布了新的文献求助10

25秒前; 蟹黄堡秘方完成签到，获得积分10

26秒前; 大个上传了应助文件

27秒前; 天真的不凡完成签到，获得积分10

27秒前; 程平完成签到，获得积分10

27秒前; lipfeii发布了新的文献求助10

28秒前; 英姑的应助被yeyeye采纳，获得10

30秒前; 自渡发布了新的文献求助10

30秒前; 阿白关闭了阿白的文献求助

30秒前; 大个上传了应助文件

31秒前; 星辰大海上传了应助文件

31秒前; 研友_LJp0xZ完成签到，获得积分10

31秒前

高分求助中: 歯科矯正学第7版（或第5版） 1004; The diagnosis of sex before birth using cells from the amniotic fluid (a preliminary report) 1000; Smart but Scattered: The Revolutionary Executive Skills Approach to Helping Kids Reach Their Potential (第二版) 1000; Semiconductor Process Reliability in Practice 720; GROUP-THEORY AND POLARIZATION ALGEBRA 500; Mesopotamian divination texts : conversing with the gods : sources from the first millennium BCE 500; Days of Transition. The Parsi Death Rituals(2011) 500

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 3229292; 求助须知：如何正确求助？哪些是违规求助？ 2877036; 关于积分的说明 8197538; 捐赠科研通 2544353; 什么是DOI，文献DOI怎么找？ 1374356; 科研通“疑难数据库（出版商）”最低求助积分说明 646935; 邀请新用户注册赠送积分活动 621742

今日热心研友

乐乐乐乐乐乐

完美的天空

精明的迎松

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通